Logika.doc

Zdanie w sensie logicznym – jest to takie zdanie oznajmujące, któremu można przyporządkować jedną wartość logiczną. (0,1)

Logika jest nauka normatywną – obowiązuje na pewnych zasadach.

Klasyczny rachunek zadań

Znaki :

~ - negacja

^  - koniunkcją (i)

v – alternatywa (lub)

®  - implikacja (jeżeli ... to...)

« - równoważność ( wtedy i tylko wtedy gdy)

symbole postaci p,q, r , s, t – zwane zmiennymi zdaniowymi. (reprezentują zdania w sensie logicznym.)

Znaki pomocnicze – (, ), [, ], {,  }

Wyrażenie sensowne:

P,q,r,s,t....itp.

~p, pvq , p®q, p «q ... itp.

(pvq) ®r,  [~pv(p®q)]

Sama negacja stoi przed zdaniem jednym, a nie przed wieloma.

Negacja ~ odnosi się do zdania ale nie tylko do pojedynczego, także i do złożonego.

Dowolne dwa zdania proste połączone spójnikiem dają zdanie sensowne.

Implikacja

p   ®   q 

p-  poprzednik

q – następnik

Zdania równoważne to takie , które mają jednakową wartość logiczną.

Wartościowanie – jest to przyporządkowanie wszystkim zmiennym zdaniowym w danej formule Wartości Logicznych ze zbioru (0,1)