La vérité logique est l'un des concepts les plus fondamentaux de la logique. D'une manière générale, une vérité logique est une proposition qui est vraie indépendamment de la vérité ou la fausseté de ses propositions constitutives. En d'autres termes, une vérité logique est une affirmation qui n'est pas seulement vraie, mais qui est vraie sous toutes les interprétations de ses composants logiques (autres que ses constantes logiques). Ainsi, des vérités logiques telles que "si p, alors p" peuvent être considérées comme des tautologies. On pense que les vérités logiques sont le cas le plus simple d'énoncés qui sont analytiquement vrais (ou en d'autres termes, vrais par définition). Toute la logique philosophique peut être considérée comme fournissant des comptes rendus de la nature de la vérité logique, ainsi que des conséquences logiques.
Les vérités logiques sont généralement considérées comme nécessairement vraies. C'est dire qu'elles sont telles qu'aucune situation ne les rendent vraies. Leur vérité est non contingente. L'opinion selon laquelle les déclarations logiques sont nécessairement vraies est parfois traitée comme l'équivalent de dire que les vérités logiques sont vraies dans tous les mondes possibles . Cependant, la question de savoir si des déclarations sont nécessairement vraies reste l’objet d’un débat continu.
En traitant les vérités logiques, les vérités analytiques et les vérités nécessaires comme équivalentes, les vérités logiques peuvent être mises en contraste avec les faits (qui peuvent également être appelés affirmations contingentes ou affirmations synthétiques). Les vérités contingentes sont vraies dans ce monde, mais auraient pu en être autrement (en d'autres termes, elles sont fausses dans au moins un monde possible). Des propositions logiquement vraies telles que "Si p et q, alors p" et "Toutes les personnes mariées sont mariées" sont des vérités logiques parce qu'elles sont vraies en raison de leur structure interne et non en raison de faits du monde (alors que "Toutes les personnes mariées sont heureuses", même si elle était vrai dans notre monde, elle ne serait pas vrai simplement en vertu de sa structure logique).
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
In propositional calculus, a propositional function or a predicate is a sentence expressed in a way that would assume the value of true or false, except that within the sentence there is a variable (x) that is not defined or specified (thus being a free variable), which leaves the statement undetermined. The sentence may contain several such variables (e.g. n variables, in which case the function takes n arguments). As a mathematical function, A(x) or A(x_1, x_2, ...
La vérité logique est l'un des concepts les plus fondamentaux de la logique. D'une manière générale, une vérité logique est une proposition qui est vraie indépendamment de la vérité ou la fausseté de ses propositions constitutives. En d'autres termes, une vérité logique est une affirmation qui n'est pas seulement vraie, mais qui est vraie sous toutes les interprétations de ses composants logiques (autres que ses constantes logiques). Ainsi, des vérités logiques telles que "si p, alors p" peuvent être considérées comme des tautologies.
La logique — du grec , qui est un terme dérivé de signifiant à la fois « raison », « langage » et « raisonnement » — est, dans une première approche, l'étude de l'inférence, c'est-à-dire des règles formelles que doit respecter toute argumentation correcte. Le terme aurait été utilisé pour la première fois par Xénocrate. La logique antique se décompose d'abord en dialectique et rhétorique. Elle est depuis l'Antiquité l'une des grandes disciplines de la philosophie, avec l'éthique (philosophie morale) et la physique (science de la nature).
Discrete mathematics is a discipline with applications to almost all areas of study. It provides a set of indispensable tools to computer science in particular. This course reviews (familiar) topics a
Ce cours couvre les fondements des systèmes numériques. Sur la base d'algèbre Booléenne et de circuits combinatoires et séquentiels incluant les machines d'états finis, les methodes d'analyse et de sy
Ce cours couvre les fondements des systèmes numériques. Sur la base d'algèbre Booléenne et de circuitscombinatoires et séquentiels incluant les machines d'états finis, les methodes d'analyse et de syn
Explore les systèmes séquentiels, les machines d'état, les solutions de microcontrôleur, les systèmes logiques et les applications pratiques dans les projets du monde réel.