logika

 0    16 schede    paulinakopel
Stampa Gioca Testa il tuo livello
 
Domanda Risposta
p=>p
inizia ad imparare
zasada tożsamości/ z. tożsamości
pv(~p)
inizia ad imparare
zasada wyłączonego środka
~ (p∆~p)
inizia ad imparare
zasada sprzeczności
~(~p) <=> p
inizia ad imparare
zasada podwójnego przeczenia
~(p∆q) => (~p v ~q)
inizia ad imparare
1 zasada de Morgana
~ (p v q) => (~p ∆ ~q)
inizia ad imparare
2 prawo de Morgana
~ (p=>q) => (p => ~q)
inizia ad imparare
prawo negowania implikacji
(p => q) <=> (~q => ~p)
inizia ad imparare
prawo transpozycji
[(p =>q) ∆ p] => q
inizia ad imparare
tryb przez stwierdzenie stwierdzający / ponendo ponens
[(p=>q) ∆ ~q ] => ~p
inizia ad imparare
tryb przez zaprzeczenie zaprzeczający/ tollendo tollens
[(p/q)∆ p] => ~q
inizia ad imparare
tryb przez stwierdzenie zaprzeczający / ponendo tollens
[(p v q) ∆ ~p] => q
inizia ad imparare
tryb przez zaprzeczenie stwierdzający / tonendo ponens
[(p => q) ∆ (q=>r)] => (p=>r)
inizia ad imparare
sylogizm hipotetyczny
[(p∆q) =>r] => [p => (q =>r) ]
inizia ad imparare
prawo eksportacji
[p => (q=>r) ] => [(p∆q) =>r]
inizia ad imparare
prawo importacji
[(p=>q) ∆(r => q) ∆ (p v r)] => q
inizia ad imparare
dylemat konstrukcyjny prosty

Devi essere accedere per pubblicare un commento.