Déduction logique

Carte Commune · n° 231139

La déduction logique est un type de relation que l'on rencontre en logique mathématique. Elle relie des propositions dites prémisses à une proposition dite conclusion et préserve la vérité. Prémisses et conclusion qui sont ainsi reliées par une règle de déduction, assurent que si la règle est valide et si les prémisses sont vraies, la conclusion est elle aussi vraie. On dit alors que la conclusion est une conséquence des prémisses, ou parfois que la conclusion vient des prémisses. L'analyse philosophique pose des questions comme « Dans quel sens une conclusion vient-elle des prémisses? » ou « Que signifie pour une conclusion d'être une conséquence de certaines prémisses ? ». La logique philosophique peut donc être définie comme la compréhension et l'analyse de la nature des conséquences logiques et de la vérité logique. Une déduction logique est définie de manière à être à la fois nécessaire et formelle et est explicitée dans des domaines comme la théorie des modèles, qui permet de trouver...

Lire sur Wikipédia