Podstawowe Pojęcia Logiki
ZDANIEM w sensie logiki nazywamy wyrażenie, któemu można w sposób jednoznaczny przyporządkować jedną z dwóch ocen- prawdę lub fałsz.
ZDANIE PRAWDZIWE ma wartość logiczną 1
ZDANIE FAłSZYWE ma wartość logiczną 0
SPóJNIKI LOGICZNE:
* i ^
* lub v
* nie, nieprawda, że ~
* jeżeli.., to =>
* wtedy i tylko wtedy <=>
Zdanie złożone z dwóch zdań prostych połączonych spójnikiem "i" nazywamy KONIUNKCJą tych zdań
p^q
Zdanie złożone z dwóch zdań prostych połączonych spójnikiem "lub" nazywamy ALTERNATYWą zdań
p v q
Zdanie utworzone za pomocą spónika "nie, nieprawda, że" nazywamy NEGACJą lub ZAPRZECZENIEM
~p
Zdanie złożone utworzone z dwóch zdań prostych oraz spójnika "jeżeli, to" nazywamy IMPLIKACJą
p=>q
Zdanie złożone z dwóch zdań prostych oraz spójnika "wtedy i tylko wtedy" nazywamy RóWNOWAżNOśCIą ZDAń
p<=>