- propozadenn gw. -où proposition
-
logique ◊ élément de raisonnement non décomposable pouvant être évalué comme vrai ou faux ; résultat démontré, moins important qu’un théorèmeen proposition
-
Al lojik a redi kement propozadenn (enoñsad hep varienn) da gaout un talvoud gwirionez hepken : gwir pe faos eo an enoñsad ; ne c’hall ket bezañ gwir ha faos war un dro (pennreolenn nann dislavar) ha ne c’hall ket bezañ na gwir na faos war un dro (pennreolenn an trede eskluet).
La logique impose que toute proposition (énoncé qui ne comprend pas de variable) ne peut avoir qu’une seule valeur de vérité : l’énoncé est vrai ou bien il est faux ; il ne peut pas être à la fois vrai et faux (principe de non contradiction) et ne peut être ni vrai ni faux (principe du tiers exclu).
-
Al lojik a redi kement propozadenn (enoñsad hep varienn) da gaout un talvoud gwirionez hepken : gwir pe faos eo an enoñsad ; ne c’hall ket bezañ gwir ha faos war un dro (pennreolenn nann dislavar) ha ne c’hall ket bezañ na gwir na faos war un dro (pennreolenn an trede eskluet).
- propozadenn deberzh gw. propozadennoù deberzh proposition contingente
-
logique ◊ proposition qui n'est ni nécessairement vraie, ni nécessairement fausseen contingent proposition
- propozadenn difin gw. proposition conclusive
-
logique ◊ proposition qui termine un raisonnementen conclusive proposition
- propozadenn faos gw. proposition fausse
-
logique ◊ proposition qui n'est jamais vraieen false proposition
- propozadenn glozañ gw. proposition conclusive
-
logique ◊ proposition qui termine un raisonnementen conclusive proposition
- propozadenn glozus gw. proposition conclusive
-
logique ◊ proposition qui termine un raisonnementen conclusive proposition
- propozadenn gontrel gw. proposition contraire
-
logique ◊ proposition qui s'oppose à une autre propositionen opposite proposition
-
faos war un dro a c’hell bezañ div bropozadenn gontrel, met ne c’hellont ket bezañ gwir o div
deux propositions contraires peuvent être fausses en même temps, mais pas vraies en même temps
-
faos war un dro a c’hell bezañ div bropozadenn gontrel, met ne c’hellont ket bezañ gwir o div
- propozadenn hipotetek gw. proposition hypothétique
-
logique ◊ proposition qui repose sur une hypothèseen hypothetical proposition
- propozadenn lojikel gw. proposition logique
-
logique ◊ proposition qui donne une information sur un état de chose, et qui peut prendre uniquement les valeurs vrai ou fauxen logical proposition
- propozadenn resiprokel gw. proposition réciproque
-
logique ◊ deux propositions sont réciproques si le sujet de l'une peut devenir l'attribut de l'autre et inversementen inverse proposition, reciprocal