→ Prawa Logiczne → Comece a aprender / Download de MP3 Flashcards

questão		resposta
zasada tożsamości começar a aprender		p -> p
prawo zwrotności równoważności começar a aprender		p<->p
zasada niesprzeczności começar a aprender		~(p ^ ~p)
prawo wyłączonego środka começar a aprender		p v ~p
prawo podwójnej negacji começar a aprender		p<->~(~p)
prawa pochłaniania dla koniunkcji começar a aprender		(p^q)->p; (p^q)->q
prawo pochłaniania dla alternatywy começar a aprender		p->(p v q); q->(p v q)
prawo transpozycji começar a aprender		(p->q) -> (~q->~p)
prawo Dunsa Szkota começar a aprender		(p ^ ~p) ->q
I Prawo De Morgana começar a aprender		~(p ^ q) <-> (~p v ~q)
II Prawo De Morgana começar a aprender		~(p v q) <-> (~p ^ ~q)
prawo negacji implikacji começar a aprender		~(p->q) <-> (p^ ~q)
prawo sylogizmu hipotetycznego koniunkcyjnego começar a aprender		[(p->q) ^ (q->r)] -> (p->r)
prawo sylogizmu hipotetycznego bezkoniunkcyjnego começar a aprender		(p->q) -> [(q->r) -> (p->r)]
prawo eksportacji começar a aprender		[(p ^ q)-> r] -> [p->(q->r)]
prawo importacji começar a aprender		[p->(q->r)] -> [(p ^q) -> r]
prawo eksportacji i importacji começar a aprender		[(p ^q)->r)] <-> [p-> (q->r)]
prawa bez nazwy começar a aprender		1. ~(p <-> q) <-> (p <-> ~q) 2.~(p <->q) <-> (~p <-> q)

Prawa Logiczne