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

开始学习

问题		答案
zasada tożsamości 开始学习		p -> p
prawo zwrotności równoważności 开始学习		p<->p
zasada niesprzeczności 开始学习		~(p ^ ~p)
prawo wyłączonego środka 开始学习		p v ~p
prawo podwójnej negacji 开始学习		p<->~(~p)
prawa pochłaniania dla koniunkcji 开始学习		(p^q)->p; (p^q)->q
prawo pochłaniania dla alternatywy 开始学习		p->(p v q); q->(p v q)
prawo transpozycji 开始学习		(p->q) -> (~q->~p)
prawo Dunsa Szkota 开始学习		(p ^ ~p) ->q
I Prawo De Morgana 开始学习		~(p ^ q) <-> (~p v ~q)
II Prawo De Morgana 开始学习		~(p v q) <-> (~p ^ ~q)
prawo negacji implikacji 开始学习		~(p->q) <-> (p^ ~q)
prawo sylogizmu hipotetycznego koniunkcyjnego 开始学习		[(p->q) ^ (q->r)] -> (p->r)
prawo sylogizmu hipotetycznego bezkoniunkcyjnego 开始学习		(p->q) -> [(q->r) -> (p->r)]
prawo eksportacji 开始学习		[(p ^ q)-> r] -> [p->(q->r)]
prawo importacji 开始学习		[p->(q->r)] -> [(p ^q) -> r]
prawo eksportacji i importacji 开始学习		[(p ^q)->r)] <-> [p-> (q->r)]
prawa bez nazwy 开始学习		1. ~(p <-> q) <-> (p <-> ~q) 2.~(p <->q) <-> (~p <-> q)

Prawa Logiczne