→ Prawa Logiczne → Börja lära dig / Ladda ner MP3 Flashcards

Fråga		Svar
zasada tożsamości börja lära sig		p -> p
prawo zwrotności równoważności börja lära sig		p<->p
zasada niesprzeczności börja lära sig		~(p ^ ~p)
prawo wyłączonego środka börja lära sig		p v ~p
prawo podwójnej negacji börja lära sig		p<->~(~p)
prawa pochłaniania dla koniunkcji börja lära sig		(p^q)->p; (p^q)->q
prawo pochłaniania dla alternatywy börja lära sig		p->(p v q); q->(p v q)
prawo transpozycji börja lära sig		(p->q) -> (~q->~p)
prawo Dunsa Szkota börja lära sig		(p ^ ~p) ->q
I Prawo De Morgana börja lära sig		~(p ^ q) <-> (~p v ~q)
II Prawo De Morgana börja lära sig		~(p v q) <-> (~p ^ ~q)
prawo negacji implikacji börja lära sig		~(p->q) <-> (p^ ~q)
prawo sylogizmu hipotetycznego koniunkcyjnego börja lära sig		[(p->q) ^ (q->r)] -> (p->r)
prawo sylogizmu hipotetycznego bezkoniunkcyjnego börja lära sig		(p->q) -> [(q->r) -> (p->r)]
prawo eksportacji börja lära sig		[(p ^ q)-> r] -> [p->(q->r)]
prawo importacji börja lära sig		[p->(q->r)] -> [(p ^q) -> r]
prawo eksportacji i importacji börja lära sig		[(p ^q)->r)] <-> [p-> (q->r)]
prawa bez nazwy börja lära sig		1. ~(p <-> q) <-> (p <-> ~q) 2.~(p <->q) <-> (~p <-> q)

Prawa Logiczne