Inverse (logique)

Dans la logique , le inverse est un rapport constitué en renversant l'expression. Dans la logique traditionnelle, l'inverse peut prendre deux formes possibles. L'inverse d'un " de rapport ; Tout le P sont Q" ; a pu être le " ; Tout pas P est Q" ; ou " ; Tout pas P n'est pas Q" ;. Le premier de ces derniers est la disjonction des rapports P et Q, traditionnellement écrite P v Q. La seconde de ces derniers est l'inverse de (logique) du Contrapositive , ou la contrapositive de l'inverse, du " original de rapport ; Tout le P sont Q." ; Le démenti d'un rapport n'implique pas la vérité de l'inverse. Pour voir ceci, noter que ce n'est pas le cas qui " ; toutes les femmes sont " de la Virginie Woolf ; (cf. Bell accroche ) mais ce n'est également pas le cas qui le premier inverse du rapport, " ; toutes les non-femmes sont la Virginie Woolf, " ; prises (cf. (Comparer ceci au contrapositive, " ; Si quelque chose n'est pas un femme, alors ce n'est pas la Virginie Woolf." ;)

Voir également

Conversion de (logique)
Obversion
niant le antécédent
Transposition de (logique)
Contraposition

ogic-moignon

Random links: