logika

 0    16 fiche    paulinakopel
Imprimir jogar verifique-se
 
questão resposta
p=>p
começar a aprender
zasada tożsamości/ z. tożsamości
pv(~p)
começar a aprender
zasada wyłączonego środka
~ (p∆~p)
começar a aprender
zasada sprzeczności
~(~p) <=> p
começar a aprender
zasada podwójnego przeczenia
~(p∆q) => (~p v ~q)
começar a aprender
1 zasada de Morgana
~ (p v q) => (~p ∆ ~q)
começar a aprender
2 prawo de Morgana
~ (p=>q) => (p => ~q)
começar a aprender
prawo negowania implikacji
(p => q) <=> (~q => ~p)
começar a aprender
prawo transpozycji
[(p =>q) ∆ p] => q
começar a aprender
tryb przez stwierdzenie stwierdzający / ponendo ponens
[(p=>q) ∆ ~q ] => ~p
começar a aprender
tryb przez zaprzeczenie zaprzeczający/ tollendo tollens
[(p/q)∆ p] => ~q
começar a aprender
tryb przez stwierdzenie zaprzeczający / ponendo tollens
[(p v q) ∆ ~p] => q
começar a aprender
tryb przez zaprzeczenie stwierdzający / tonendo ponens
[(p => q) ∆ (q=>r)] => (p=>r)
começar a aprender
sylogizm hipotetyczny
[(p∆q) =>r] => [p => (q =>r) ]
começar a aprender
prawo eksportacji
[p => (q=>r) ] => [(p∆q) =>r]
começar a aprender
prawo importacji
[(p=>q) ∆(r => q) ∆ (p v r)] => q
começar a aprender
dylemat konstrukcyjny prosty

Você deve entrar para postar um comentário.