Question

Poprosze 5 przykładów tautologii na poziomie maturalnym lub studenckim do policzenia :)

Answer 1

1)     p  v  ~ p          - prawo wyłączonego środka
2)     ~ ( p  ^  ~ p )      -  prawo  sprzeczności
3)     ~ ( p ^  q )  <=>  ( ~p  v  ~ q )    -  prawo de Morgana
        ~ ( p v  q )  <=>  ( ~ p  ^  ~ q )    -  prawo de Morgana
4)     ( p => q )  <=> ( ~q  => ~p )      - prawo transpozycji
5)     [ ( p => q )  => p ] => p             -  prawo Pierce' a
6)    ( ~p  => p )  => p                      -  prawo Claviusa
7 )    ~ p  => ( p = > q )                  -   prawo Dunsa _ Scotusa
8)  [ p ^ ( q v r ) ]  <=>  [ ( p ^ q )  v  ( p ^ r ) ]
     [ p v ( q ^ r) ]  <=>  [ ( p v q )   ^ ( p v  r ) ]