Prawa Logiczne

 0    18 flashcards    prawofiszki
download mp3 print play test yourself
 
Question język polski Answer język polski
zasada tożsamości
start learning
p -> p
prawo zwrotności równoważności
start learning
p<->p
zasada niesprzeczności
start learning
~(p ^ ~p)
prawo wyłączonego środka
start learning
p v ~p
prawo podwójnej negacji
start learning
p<->~(~p)
prawa pochłaniania dla koniunkcji
start learning
(p^q)->p; (p^q)->q
prawo pochłaniania dla alternatywy
start learning
p->(p v q); q->(p v q)
prawo transpozycji
start learning
(p->q) -> (~q->~p)
prawo Dunsa Szkota
start learning
(p ^ ~p) ->q
I Prawo De Morgana
start learning
~(p ^ q) <-> (~p v ~q)
II Prawo De Morgana
start learning
~(p v q) <-> (~p ^ ~q)
prawo negacji implikacji
start learning
~(p->q) <-> (p^ ~q)
prawo sylogizmu hipotetycznego koniunkcyjnego
start learning
[(p->q) ^ (q->r)] -> (p->r)
prawo sylogizmu hipotetycznego bezkoniunkcyjnego
start learning
(p->q) -> [(q->r) -> (p->r)]
prawo eksportacji
start learning
[(p ^ q)-> r] -> [p->(q->r)]
prawo importacji
start learning
[p->(q->r)] -> [(p ^q) -> r]
prawo eksportacji i importacji
start learning
[(p ^q)->r)] <-> [p-> (q->r)]
prawa bez nazwy
start learning
1. ~(p <-> q) <-> (p <-> ~q) 2.~(p <->q) <-> (~p <-> q)

You must sign in to write a comment