- équivalence logique kendalvoudegezh lojikel gw.
-
mathématiques, informatique, logique ◊ ou identité logique - relation entre deux propositions P et Q, notée « P ⇔ Q » ou « P si et seulement si Q »en logical equivalence, logical identity
- équivalence logique kendalvoud lojikel g.
-
mathématiques, informatique, logique ◊ ou identité logique - relation entre deux propositions P et Q, notée « P ⇔ Q » ou « P si et seulement si Q »en logical equivalence, logical identity
-
Etant donné deux propositions P et Q, l’équivalence logique de P et Q, notée « P ⇔ Q » lue « P si et seulement si Q », est la nouvelle proposition qui est vraie si et seulement si la biconditionnelle P ↔ Q est une tautologie.
Roet div bropozadenn P ha Q, kendalvoud lojikel P ha Q, notet « P ⇔ Q » ha lennet « P ma hag hepken ma Q », eo ar bropozadenn nevez gwir ma hag hepken mac’h eo un daotologiezh ar bikondisionel P ↔ Q
-
Etant donné deux propositions P et Q, l’équivalence logique de P et Q, notée « P ⇔ Q » lue « P si et seulement si Q », est la nouvelle proposition qui est vraie si et seulement si la biconditionnelle P ↔ Q est une tautologie.