Prawa rachunku zdań cd..
Prawo zaprzeczenia koniunkcji (prawo de Morgana)~(p
^ q) <=> [~p
v (~q)]
Prawo zaprzeczenia alternatywy (prawo de Morgana)
~(p
v q) <=> [~p
^ (~q)]
Prawo przechodniości implikacji
[(p => q)
^(q => r)] => (p => r)
Funkcja zdaniowaDef.
Funkcja zdaniowa (forma zdaniowa) z jedną zmienną określona na dziedzinie D, jest to takie wyrażenie zawierające tę zmienną, które staje sie zdaniem, gdy w miejsce zmiennej podstawimy nazwę dowolnego elementu zbioru D.
Def.
Element dziedziny funkcji zdaniowej spełnia te funkcję wtedy i tylko wtedy, gdy po podstawieniu go do tej funkcji zdaniowej w miejsce zmiennej otrzymamy zdanie prawdziwe.
p(x), q(x), f(x) - symbole funkcji zdaniowych ze zmienną x
