Accions

Contrapositiva

De Wikisofia

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 tots dos condicionals hi ha relació d'equivalència

veg. exemple ↓
[math]\displaystyle{ (P\rightarrow{Q}) \equiv (¬Q \rightarrow{¬P}) }[/math]

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

Veg. exemple ↓