→ Prawa Logiczne →开始学习 /下载MP3 Flashcards

开始学习

问题		答案
zasada tożsamości (principium indetitatis) 开始学习		(p ≡ p)
zasada niesprzeczności (principium non contradictionis) 开始学习		~ (p ^ ~p)
zasada wyłączonego środka (principium tertii exclusi) 开始学习		(p v ~p)
zasada podwójnego przeczenia 开始学习		~(~p) ≡ p
prawo redukcji do absurdu 开始学习		(p -> ~p) -> ~p
sylogizm konstrukcyjny 开始学习		[(p -> q) ^ p] -> q
sylogizm destrukcyjny 开始学习		[(p -> q) ^ ~q] -> ~p
sylogim alternatywny 开始学习		a) [(p v q) ^ ~p] -> q b) [(p v q) ^ ~q] -> p
prawo transpozycji prostej 开始学习		(p -> q) -> (~q -> ~p)
pierwsze prawo de Morgana 开始学习		~(p ^ q) ≡ (~p v ~q)
drugie prawo de Morgana 开始学习		~(p v q) ≡ (~p ^ ~q)
charakterystyka prawdy / prawo symplifikacji 开始学习		q -> (p -> q)
charakterystyka fałszu 开始学习		~p -> (p -> q)
prawo Dunsa Szkota 开始学习		(p ^ ~p) -> q
prawo negowania implikacji 开始学习		~(p -> q) ≡ (p ^ ~q)

Prawa logiczne