- équivalence logique kendalvoudegezh lojikel gw.
-
informatique , mathématiques , logique ◊ ou identité logique - relation entre deux propositions P et Q, notée « P ⇔ Q » ou « P si et seulement si Q »anglais : logical equivalence / logical identity
- équivalence logique kendalvoud lojikel g.
-
informatique , mathématiques , logique ◊ ou identité logique - relation entre deux propositions P et Q, notée « P ⇔ Q » ou « P si et seulement si Q »anglais : logical equivalence / logical identity
-
étant 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 (pe kendalvoudegezh) 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 ar bikondisionel P ↔ Q un daotologiezh
-
étant 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