Les connecteurs propositionnels
Texte intégral
Documents relatifs
La logique propositionnelle étudie les connecteurs propositionnels qui relient des phrases ; la logique des prédicats étudie en plus la quantification, les relations et les
Si les États-Unis n’attaquent pas l’Iran et que le prix de l’essence augmente, la Syrie attaque Israël.. Si la Syrie n’attaque pas Israël, le Liban
La forme logique d’un énoncé exhibe ses conditions de vérité : elle ne concerne que ce qui, pour Frege, est crucial à l’interpréta- tion de n’importe quel
(b) ils ne font pas de distinction entre termes singuliers et prédicats ; par conséquent, elles ne traitent de phrases existentielles que si on introduit des prédicats qui ne sont
La logique propositionnelle étudie les connecteurs propositionnels qui relient des propositions ; la logique des prédicats étudie en plus la quantification, les relations et
Une formule propositionnelle est une conséquence (sémantique) ďun ensemble de propositions (écrit : “ Th | = φ ”) si et seulement si toute interprétation qui rend vraies toutes
(b) elles ne distinguent pas entre termes singuliers et prédicats ; par conséquent, elles ne traitent de propositions existentielles que si on introduit des prédicats qui ne
5 Une autre provision est nécessaire : les connecteurs propositionnels, définis dans le langage de la logique propositionnelle comme reliant des propositions, relient dans la logique
