Vérifonctionnel
- Adjectif masculin singulier
Définition
- en logique, qui obéit à une table de vérité
"vérifonctionnel" dans l'encyclopédie
-
VALIDITÉ, logique
- Écrit par Françoise ARMENGAUD
- 3 327 mots
Quine fait remarquer que l'implication est la validité de l'énoncé conditionnel (Méthodes de logique, Paris, 1973) : « On dit qu'un schéma vérifonctionnel en implique un autre s'il est impossible d'interpréter les lettres de façon à rendre le premier schéma vrai et le second faux. » De même, l'équivalence est la validité de l'énoncé bi-conditionnel.
-
LOI, épistémologie
- Écrit par Pierre JACOB
- 37 507 mots
- 1 média
Étant toujours formé d'un antécédent faux exprimant la possibilité d'une condition non réalisée, une proposition contrefactuelle n'est pas équivalente à un conditionnel vérifonctionnel (qui est vrai si son antécédent est faux) : sinon on ne pourrait jamais faire la différence entre un contrefactuel vrai (3) et un contrefactuel faux (4) formé du même antécédent et du conséquent contradictoire : (3) Si ce morceau de beurre avait été chauffé à 1500 centigrades, il aurait fondu.
