Si les propositions p et q sont équivalentes, elles sont toutes les deux vraies ou toutes les deux fausses, c'est-à-dire qu'elles ont toutes les deux la même valeur de vérité. Une tautologie est une affirmation qui est toujours vraie. Une contradiction est une affirmation qui est toujours fausse.
Que signifie P -> Q ?
p → q (p implique q) (si p alors q) est la proposition qui est fausse quand p est vrai et q est faux et vrai sinon.
Qu'est-ce qui est logiquement équivalent à P → Q ?
P→Q est logiquement équivalent à ¬P∨Q. … Exemple: « Si un nombre est un multiple de 4, alors il est pair » équivaut à « un nombre n'est pas un multiple de 4 ou (sinon) il est pair. »
Qu'est-ce que P seulement si Q ?
Seulement si introduit une condition nécessaire: P seulement si Q signifie que la vérité de Q est nécessaire, ou requise, pour que P soit vraie. C'est-à-dire, P seulement si Q exclut une seule possibilité: que P est vrai et Q est faux.
Quand le conditionnel p → q est faux ?
Soit p et q sont deux déclarations alors "si p alors q" est une déclaration composée, notée p→ q et référencée comme déclaration conditionnelle, ou implication. L'implication p→ q est fausse seulement quand p est vrai, et q est faux; sinon, c'est toujours vrai.
