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

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

• La 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 c’hondisionel a zo ul liammadur etre div furm bropozadennel P ha Q, notet « P → Q » ha lennet « ma P neuze Q » ; faos eo hepken mac’h eo gwir an diagent P ha faos ar c’hoñsekant Q.