[dzikiczytelnik]

Mirki - jest tu ktoś ogarniający #logika ? Potrzebowałbym pomocy czy poprawnie przetłumaczyłem zdanie na język predykatów.
Zdanie to: Każde dwie liczby dodatnie mają wspólną wielokrotność.
Który zapis będzie poprawny:
a) Ei Ej ~i=0 ^ ~j=0 ^n|i ^ n|j
b) Vi Vj ~i=0 ^~j=0 : Ek ^ Em ^ Ec => c=k*i ^ c=m*j ?
#logika #matematyka #studbaza

[prusi]

@dzikiczytelnik: żaden, ale drugi jest blisko.

[dzikiczytelnik]

@prusi: a co w takim razie jest źle? albo jak powinien wyglądać dobry zapis? Bo męczę to już cały dzień i średnio rozkminiam...

[prusi]

@dzikiczytelnik: dodatnie to dodatnie, a nie różne od 0. te znaki koniunkcji pomiędzy k, m i c oraz znak implikacji są niepotrzebne - wystarczy że istnieją takie k, m, c. no i nie wiem co oznacza dwukropek. jeden kwantyfikator duży, jeden mały - tyle ci wystarczy.

[dzikiczytelnik]

Vi Vj ~i=0 ^~j=0 : Ek ^ Em ^ Ec => c=ki ^ c=mj

@prusi: Vi Vj ~i=<0 ^~j=<0 E(k,m,c) => c=k*i ^ c=m*j czy tak zatem będzie lepiej?

[prusi]

@dzikiczytelnik: trochę się zbryliło, ale wydaje mi się, że coś w ten deseń.

[prusi]

@dzikiczytelnik: albo prościej:

[dzikiczytelnik]

@prusi: ok, dzięki serdeczne :)