Prawa logiczne

 0    15 flashcards    pawellubanski
download mp3 print play test yourself
 
Question język polski Answer język polski
zasada tożsamości (principium indetitatis)
start learning
(p ≡ p)
zasada niesprzeczności (principium non contradictionis)
start learning
~ (p ^ ~p)
zasada wyłączonego środka (principium tertii exclusi)
start learning
(p v ~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
start learning
[(p -> q) ^ ~q] -> ~p
sylogim alternatywny
start learning
a) [(p v q) ^ ~p] -> q b) [(p v q) ^ ~q] -> p
prawo transpozycji prostej
start learning
(p -> q) -> (~q -> ~p)
pierwsze prawo de Morgana
start learning
~(p ^ q) ≡ (~p v ~q)
drugie prawo de Morgana
start learning
~(p v q) ≡ (~p ^ ~q)
charakterystyka prawdy / prawo symplifikacji
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)

You must sign in to write a comment