Capçalera
 FiloXarxa Diccionari enciclopèdic de filosofia: autors, conceptes, textos

Temes  -

El saber filosòfic El coneixement La realitat L'ésser humà L'acció humana La societat

Història -

Filosofia antiga i medieval Filosofia moderna Filosofia contemporània Mapa del web Ajuda i altres Descarregar "font grega"
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

___________________________________________________________

A. Deaño, Introducción a la lógica formal, Alianza, Madrid 1978, p.107-112.

 


Licencia de Creative Commons
Aquesta obra està sota una llicència de Creative Commons.