Livre Logique avec Exercices corrigés et cours

[HighSchool2005]

Bonjour,

j'ai commencé le premier cours de logique de ma vie (je veux dire de la vraie logique sans table de vérité...) et je n'y comprends rien. J'ai beau y mettre toute la volonté et la motivation possible, le moindre semblant de preuve que je produis est faux. Je voudrais savoir si vous auriez un livre à me recommander avec un cours clair et surtout les preuves rédigées et des exercices corrigés. Car j'ai horreur de faire des exos sans jamais pouvoir vérifier si c'est juste !
Merci pour votre contribution.

[Seirios]

Bonjour,

Je ne l'ai pas lu, mais je pense que ce livre devrait répondre à tes questions (à moins que tu ne sois à un niveau supérieur ) : Introduction à la logique.

Et bonne continuation dans le monde de la logique

[HighSchool2005]

Merci pour ta suggestion. En effet, je commence en logique. Je dois apprendre la logique propositionnelle, des prédicats et un tout petit peu de la théorie des ensembles.
C'est très étrange car j'ai l'impression de comprendre mais quand je fais les exercices, c'est faux et je n'obtiens pas de correction juste du prof alors c'est un peu comme travailler sans aboutir à rien.
Quelqu'un a-t-il un avis sur ce livre ? Quelqu'un l'a-t-il déjà lu et utilisé ?
On m'avait aussi proposé Introduction à la Logique de François Rivenc : qu'en pensez-vous ?

[benjy_star]

Salut !

Question très bête : c'est plutôt un livre pour matheux ou pour physiciens ? On peut le conseiller à des lycéens ?

Non, parce que la "logique", j'avais jamais connu ça en tant que matière...

[HighSchool2005]

Je suis à la fac (de maths) et c'est une matière à part entière, comme l'arithmétique ou l'analyse. A ma connaissance, au lycée, on fait surtout de la logique avec des tables de vérités et encore, ça dépend des filières. D'après ce que je sais, ça s'applique bien à l'informatique une fois qu'on maitrise mais je n'en suis pas encore là...

[spi100]

Dans la même collection, j'ai lu
http://www.dunod.com/pages/ouvrages/...e.asp?id=45452

Cours d'introduction, très complet, mais il faut s'accrocher. En tout cas, il y des exos corrigés.

[HighSchool2005]

J'ai déjà un cours plutôt complet mais malheureusement, je n'y comprends pas grand chose. Je comprends les définitions et les théorèmes mais dès qu'il s'agit de les prouver, c'est galère. Je cherche donc un livre assez accessible, avec si possible, des exercices simples d'illustrations du cours et des exercices un peu plus compliqués pour approfondir. Par exemple, je déteste lorsque dans les preuves données, c'est marqué "trivial" parce que les 3/4 du temps, ça ne l'est pas pour moi au premier abord !