→ Prawa Logiczne → Empezar lección / Descargar tarjetas en MP3

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

Prawa Logiczne