Base de logique classique (niveau débutant)

[christian57]

bonjour à tous,

je suis en autodidacte en math et je recherche un cours de base en logique classique, un cours de base de chez base, pas niveau master (j'ai niveau bac s) qui s’appuie bien sur les règles d'inférences et qui introduit le symbole conclusion que j'ai trouvé sur wikipédia mais qui n'apparait jamais sur les cours et les livres que j'ai pu trouver sur internet ou en bibliothèque.

J'ai en plus quelques questions concernant la logique :

1) Comment appelle t on les propositions non traitable par la logique classique car ni vrais ni fausses. Le plus célèbre ex est la proposition : "cette phrase est fausse".

3) Lorsqu'on utilise le raisonnement par l'absurde comment être sûr que justement la proposition traité n'est pas justement une qui s'apparente à un exemple de la première question. (autrement dit il est faux de la considérer fausse, mais il se peut qu'il soit également faux de la considérer vrai !!!)

2)Quelle est la définition du vrai en logique ??

[esteb35]

Salut,

Exo7 propose des cours de logique niveau 1er semestre de fac (donc clairement à la portée d'un bac S), avec des exos plutôt pas mal et corrigé.

[pascal16]

1) :cet exemple souvent cité n'est pas un problème de logique. On définie un chose par elle même, c'est avant tout un problème de définition.
Quand on fait des suites définies par récurrence, avant un recherche de limite, un raisonnement, il faut d'abord vérifier si la suite est définie.

3) oui, il y a une branche des mathématiques qui démontre les choses sur un ensemble E sans utiliser Ebarre, car il n'est mathématiquement non défini.
La démonstration directe d'une propriété est donc à privilégier.

soit E=N
E barre n'est pas défini si on ne se fixe pas de limite (incomplétude)

[LB2]

Bonsoir,

je te conseille les livres de Raymond Smullyan qui a écrit des ouvrages très intéressants en logique mathématique :

- le livre qui rend fou
- ça y est, je suis fou
- quel est le titre de ce livre