22951

6. Tautologia - formuła zawsze prawdziwa niezależnie od wartości logicznej zdań składowych Prawa logiczne:

>    Prawo podwójnego przeczenia

p <=>— p

>    Prawo wyłączonego środka pv ~ p

>    Prawo sprzeczności : ( pa ~ p)

>    Prawo łączności alternatywy [(P v q) v r] <=> [p v (q v r)]

>    Prawo łączności koniunkcji [(p a q) a r] <=> [p a (<7 a r)]

>    Prawo przemienności alternatywy (pvq)<=>(qvp)

>    Prawo przemienności koniunkcji (P a (/)«(<? a p)

>    Prawo rozdzielności koniunkcji względem alternatywy [p a(q v r)] $=> [(p aq) v(p ar)]

>    Prawo rozdzielności alternatywy względem koniunkcji [pv(qAr)]«[(pvq)A(pvr)j

Prawa de Morgana : (pAq)«(: pv : q)

: (pvq)o(: pa: q)

>    Prawo kontra pozycji (P=><?)=>(: <7=*: P)

>    Prawo zaprzeczenia implikacji : (p=*q)<=>(pA: q)

>    Prawo eliminacji implikacji (P=»<?)<=>(: pv<7)

>    Prawa sylogizmu warunkowego

( P => Q) =>[(<7=>r)=>(p=>r)]

[(P => <7) a(<? =» r)] => (p => r)

(<7 => r) => [(p =* q) => (p => r)|

>    Prawo eliminacji równoważności

(p<=><7) <=>[(p=>q)^(q=>p)]

>    Prawo eksportacji i importacji (p_Aq=>r) <=>( P=>(Q => r))

7. Dowód wprosi i niewprost