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<=>

---