Prawa logiczne

 0    15 flashcards    guest2914534
download mp3 print play test yourself
 
Question język polski Answer język polski
Zasada tożsamości
start learning
p=p
Zasada niesprzeczności
start learning
~(p/\~p)
Zasada wyłączonego środka
start learning
(pv~p)
Zasada podwójnego przeczenia
start learning
~(~p)=p
Prawo redukcji do absurdu
start learning
(p->~p)->~p
Sylogizm konstrukcyjny
start learning
[(p->q)/\p] -> q
Sylogizm destrukcyjny 1
start learning
[(pvq)/\~p] -> q
Prawo transpozycji prostej
start learning
(p->q) -> (~q->~p)
I prawo de Morgana
start learning
~(p /\ q) = (~p v ~q)
II prawo de Morgana
start learning
~(p v q)≡(~p∧~q)
Charakterystyka prawdy
start learning
q -> (p -> q)
Charakterystyka fałszu
start learning
~p -> (p -> q)
Prawo Dunsa Szkota
start learning
(p /\ ~p) -> q
Prawo negowania implikacji
start learning
~(p->q) = (p /\ ~q)
Prawo sylogizmu hipotetycznego koniunkcyjnego
start learning
[(p -> q) /\ (q -> r)] -> (p -> r)

You must sign in to write a comment