^{PDFprof.com Search Engine}

Logique propositionnelle

C'est quoi une proposition logique ?
\\ Une "proposition (logique)" est un énoncé qui peut être vrai ou faux, mais non les deux à la fois.
Un énoncé dans la vraie vie peut être vrai et faux au même temps : dans ce cas ce n'est pas considéré comme une proposition logique.
C'est quoi une forme propositionnelle ?
En logique propositionnelle classique, une formule propositionnelle, ou expression propositionnelle, est une formule bien formée qui possède une valeur de vérité.
Si les valeurs de toutes les variables propositionnelles dans une formule propositionnelle sont données, une unique valeur de vérité peut être déterminée.
Ou logique propositionnel ?
La logique propositionnelle est la logique sans quantificateurs qui s'intéresse uniquement aux lois gouvernant les opérations logiques suivantes : la négation (¬) , la conjonction, autrement dit le «et » (∧), la disjonction, autrement dit le «ou » (∨), l'implication ( ⇒) et l'équivalence ( ⇔).
Fonction propositionnelle,
expression contenant une ou plusieurs variables libres et qui est susceptible de devenir une proposition vraie ou fausse si l'on attribue à ces variables certaines valeurs particulières ou si on lie ces variables par des quantificateurs.

Logique propositionnelle : langage (suite) A est une sous-formule de A. Si (~B) est une sous-formule de A alors B est une sous-formule de A. Si (B ∧ C) est une sous-formule de A alors B et C sont des sous-formules de A. Si (B ∨ C) est une sous-formule de A alors B et C sont des sous-formules de A.

Logique propositionnelle

C'est quoi une proposition logique ?

C'est quoi une forme propositionnelle ?

Ou logique propositionnel ?