Fr.: proposition atomique
Fr.: proposition catégorique
In a → syllogism, a → proposition or statement that deals with inclusion or exclusion of members of → subject classes in → predicate classes. Categorical propositions are of four basic forms, see → Aristotelian form.
Fr.: proposition composée
A statement formed from simple statements by the use of words such as "and," "or," "not," "implies," or their corresponding symbols.
Fr.: proposition conditionelle
A compound → proposition in which one → clause asserts something as true provided that the other clause is true. A conditional statement consists of two parts, a hypothesis in the "if" clause and a conclusion in the "then"clause. For instance, "If it rains, then they cancel school." It rains is the hypothesis. "They cancel school" is the conclusion. The clause following if is traditionally called the → antecedent, whereas the clause following then is called the → consequent.
Fr.: proposition moléculaire
farâhel, gozâré (#)
1) The act of offering or suggesting something to be considered,
accepted, adopted, or done.
Verbal noun of → propose.
Logic: Of, relating to, or in the form of a → proposition.
Fr.: constante propositionnelle
guyik-e gozâre-yi, ~ gozaarehâ
Fr.: logique propositionnelle
A branch of logic that deals with the → truth values of logical statements (→ sentences, → propositions) and uses → logical connectives to build more complex → expressions. The distinctive feature of propositional logic is that it does not deal with logical relationships and properties that involve the parts of a statement smaller than the simple statements making it up. The propositions are evaluated as → true or → false. A more expressive system is provided by the → first-order logic.
Fr.: symbole propositionnel
Fr.: variable propositionnel