FiloXarxa Diccionari enciclopèdic de filosofia: autors, conceptes, textos |
Cerca continguts al web Pensament: autors, conceptes, textos, obres ... |
Loading
|
Algunes lleis de la lògica d'enunciats
Llei de la doble negació: |
¬¬p ® p |
Lleis de simplificació: |
(pÙq)®p |
p® (pÚq) |
Llei de contraposició: |
(p®q)®(¬q®¬p) |
Llei de transitivitat del condicional: |
[(p®q)Ù(q®r)]®[(p®r)] |
Llei d'exportació: |
[(pÙq)®r]®[p®(q®r)] |
Llei d'importació: |
[p®(q®r)]®[(pÙq)®r] |
Lleis del dilema constructiu: |
[(pÚq)Ù(p®r)(q®r)]®r |
[(pÚq)Ù(p®r)(q®s)]®(rÚs) |
Llei de Clavius: |
(¬p®p)®p |
Lleis de De Morgan: |
¬(pÙq)®(¬pÚ¬q) |
¬(pÚq)®(¬pÙ¬q) |
Modus ponendo ponens: |
[(p®q)Ùp]®q |
Modus (tollendo) tolens: |
[(p®q)Ù¬q]®¬p |
___________________________________________________________
Aquesta obra està sota una llicència de Creative Commons.