→ Prawa Logiczne → Bắt đầu học / Tải xuống MP3 Flashcards

câu hỏi		câu trả lời
zasada tożsamości (principium indetitatis) bắt đầu học		(p ≡ p)
zasada niesprzeczności (principium non contradictionis) bắt đầu học		~ (p ^ ~p)
zasada wyłączonego środka (principium tertii exclusi) bắt đầu học		(p v ~p)
zasada podwójnego przeczenia bắt đầu học		~(~p) ≡ p
prawo redukcji do absurdu bắt đầu học		(p -> ~p) -> ~p
sylogizm konstrukcyjny bắt đầu học		[(p -> q) ^ p] -> q
sylogizm destrukcyjny bắt đầu học		[(p -> q) ^ ~q] -> ~p
sylogim alternatywny bắt đầu học		a) [(p v q) ^ ~p] -> q b) [(p v q) ^ ~q] -> p
prawo transpozycji prostej bắt đầu học		(p -> q) -> (~q -> ~p)
pierwsze prawo de Morgana bắt đầu học		~(p ^ q) ≡ (~p v ~q)
drugie prawo de Morgana bắt đầu học		~(p v q) ≡ (~p ^ ~q)
charakterystyka prawdy / prawo symplifikacji bắt đầu học		q -> (p -> q)
charakterystyka fałszu bắt đầu học		~p -> (p -> q)
prawo Dunsa Szkota bắt đầu học		(p ^ ~p) -> q
prawo negowania implikacji bắt đầu học		~(p -> q) ≡ (p ^ ~q)

Prawa logiczne