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

contrapositiva LÒG.

En lògica d’enunciats, l’enunciat condicional que, respecte d’un altre que podem anomenar directe, té un antecedent que és la negació del conseqüent del directe i un conseqüent que és la negació de l’antecedent del directe. Entre ambdós condicional hi ha relació de equivalència (veure exemple).

(P®Q) és equivalent a (¬Q®¬P)

La contraposició existeix també en lògica de predicats.

Exemple: l’equivalència ( º )

"x(Px®Sx) º "x(¬Sx®¬Px)

pot significar que l’enunciat «Totes les persones són subjectes de dret» és equivalent a la seva contrapositiva : «Allò que no pot ser subjecte de dret no és una persona».

 


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