3582525321

Prawa logiczne

Prawo logiczne (inaczej tautologia) jest p, r,..z którego jest złożone.

prawo przemiennności koniunkcji prawo przemiennności alternatywy prawo łączności koniunkcji prawo łączności alternatywy prawo rozdzielności koniunkcji względem alternatywy prawo rozdzielności alternatywy względem koniunkcji prawo podwójnego przeczenia prawo zaprzeczenia implikacji

prawa De Morgana

zawsze prawdziwe, niezależnie od wartości zdań

p A ą <=> q A p p V q <=> <7 V p (p A q) A r    p A (q A r)

(p V q) V r    p V (q V r)

p A (<7 V r)    (p A </) V (p A r)

p V (g A r)    (p V q) A (p V r)

~ (~p) <=> p

~ (p => g) <ś=> (pA ~<y)

~(pA (/) <=> (~p) V (~r/) ~ (p V f/) <ś=> (~p) A (~r/)

prawa De Morgana dla zdań z kwantyfikatorami

A p(^x)) ^ V ~p(®)

V, x    x

V q(^x)) ^ A

Zadania + Rozwiązania