logika

Rachunek zdań

Zaprzeczenie (negacja) zdania:    ~p

~p czytamy: „ nieprawda, że p "

Koniunkcja zdań:    p A q

p A q czytamy: „ p i q "

Alternatywa zdań:    p V q

p V q czytamy: „ p lub q "

Implikacja (wynikanie) zdań:    p => q

p =$■ q czytamy: „ jeżeli p to q "

Równoważność zdań:    p ś=k q

p q czytamy: „ p wtedy i tylko wtedy, gdy q ”

Zadania + Rozwiązania