Exercices de logique propositionnelles

Thèmes abordés

Logique propositionnelle, mathématiques, satisfaction dans une structure, paraphrase, schématisation, langage logique du premier ordre, prédicat, relation, assignation, lois de la pensée

Résumé du document

Ce document contient 5 exercices résolus de logique propositionnelles.

Extraits

[...] Exemple : Tous les hommes sont mortels Or Socrate est un homme Donc Socrate est mortel Un syllogisme est un raisonnement déductif car la conclusion provient nécessairement des deux propositions précédentes. En revanche, un sophisme est un raisonnement faux. Par exemple : Tout philosophe est désintéressé Or Socrate est désintéressé Donc Socrate est philosophe La déduction est le seul raisonnement rigoureux. Mais il est vrai qu'on utilise aussi parfois l'induction qui généralise de nombreuses observations. Par exemple le fait que le soleil se lève tous les jours nous fait dire qu'il va se lever demain. [...]

[...] Et comme toute science, elle est en permanente évolution, tendant vers un modèle commun adopté par tous du fait de sa "vérité. Le logique ne laisse pas de place à l'interprétation, à l'émotion et en cela on peut affirmer que c'est une véritable science de la pensée, une véritable science du langage. Et c'est finalement tout ce qu'on attend d'elle : nous donner des réponses au-delà de nos intuitions et de nos ressentis. Bref, une manière de penser rigoureuse qui ne permet pas la contestation et qui n'empêche finalement pas l'imagination . [...]

[...] en effet les nombres n'appartenant pas à Q (donc les nombres paires plus petits que 10) sont alors TOUS multiples de 1 et 2 L'énoncé est vrai. En effet, le x existe, il vaut 1. Tous les autres nombres sont multiples de y compris 0. Exercice 4 Enoncé vrai dans M mais faux dans N : Il existe x tek que xRx Exercice 5 Un des principes de tout raisonnement correct est le principe de non-contradiction. On ne peut affirmer en même temps une chose et son contraire. [...]