Geriadur ar skiantoù hag an teknikoù Dictionnaire des sciences et des techniques

mathématiques, informatique, logique ◊ ou conditionnelle - relation entre deux formes propositionnelles P et Q, notée « P → Q » ou « si P alors Q »

• La forme propositionnelle conditionnelle est une relation entre deux formes propositionnelles P et Q, notée « P → Q » et lue « si P alors Q », qui est fausse seulement si l’antécédent P est vrai et le conséquent Q est faux.
  Ar furm bropozadennel kondisionel a zo ul liammadur etre div furm bropozadennel P ha Q, notet « P → Q » ha lennet « ma P neuze Q » ha faos eo hepken mac’h eo gwir an diagent P ha faos ar c’hoñsekant Q.