106136

Niektóre wyrażenia logiczne używane w wykładzie

~ lub -i negacja ( ~p ; nieprawda że p);

A    koniunkcja (pAq;piq, zarówno p jak q);

V    alternatywa ( pvq ; p lub q, co najmniej jedno z

dwóch p lub q);

—> lub    3 implikacja (p —> q ; jeśli p to q; jeśli p to

wykluczone że nie q)

s    tożsamość (p=q; p zawsze wtedy i tylko

wtedy

gdyą)

P(x) (P od x); x ma własność P (np. „x jest studentem”)

~P(x) nie prawda że x ma własność P

xRx lub R(x,y) relacja R zachodzi między przedmiotami x i

y

(np.: x jest większy od y)

A lubV kwantyfikator duży (ogólny)

A x P(x) - dla każdego \, P od x;

(inaczej: każdy przedmiot x z rozważanej dziedziny

ma własność P; np. każdy człowiek jest rozumny)

V    lub 3 kwantyfikator mały (szczegółowy)