prawa logiczne

 0    14 schede    karolinaryzinska
Scarica mp3 Stampa Gioca Testa il tuo livello
 
Domanda język polski Risposta język polski
prawo wyłączonego środka
inizia ad imparare
p v ~p
prawo podwójnego przeczenia
inizia ad imparare
~(~p) <=>p
prawo przemienności Alternatywy
inizia ad imparare
(pvq) <=>(qvp)
prawo przemienności koniunkcji
inizia ad imparare
(p^q) <=>(q^p)
prawo łączności Alternatywy
inizia ad imparare
[pv(qvr)] <=>[(pvq)vr]
prawo łączności koniunkcji
inizia ad imparare
[p^(q^r)] <=>[(p^q) ^r]
prawo rozdzielności koniunkcji względem Alternatywy
inizia ad imparare
[p^(qvr)] <=>[(p^q) v(p^r)]
prawo rozdzielności alternatywy względem koniunkcji
inizia ad imparare
[pv(q^r)] <=>(pvq) ^(pvr)
I prawo de Morgana
inizia ad imparare
[~(pvq)] <=>[(~p) ^(~q)]
II prawo de Morgana
inizia ad imparare
[~(p^q)] <=>[(~p) v(~q)]
prawo przechodniości implikacji
inizia ad imparare
[(p=>q) ^(q=>r)] =>(p=>r)
zaprzeczenie implikacji
inizia ad imparare
[~(p=>q)] <=>[p^(~q)]
równoważność implikacji prostej i przeciwstawnej
inizia ad imparare
(p=>q) <=>[(~q) =>(~p)]
równoważność implikacji odwrotnej i przeciwnej
inizia ad imparare
(q=>p) <=>[(~p) =>(~q)]

Devi essere accedere per pubblicare un commento.