Aller au contenu principal
Menu
Accueil  
Mon panier
0
X
Mon panier est vide.
Mon compte
C'est ma première visite
  • Bénéficiez d'un compte unique sur web, mobile ou tablette
  • Simplifiez-vous la commande
  • Accédez plus rapidement aux "+ en ligne"
  • Recevez des invitations à de nombreux événements
  • Soyez informé des nouveautés et de l'actu des auteurs et recevez les communications de Dunod
  • Livraison en France métropolitaine uniquement
Je crée mon compte
Enseignant ?
  • Découvrez l'Espace Enseignants du Supérieur et les offres qui vous sont réservées
Je découvre
X
On se connait déjà ? Bienvenue !
Mot de passe oublié ?
ou
FB connect
Enseignants
Liens rapides
  • Sciences & Techniques
  • Entreprise et économie
  • Sciences humaines et sociales
  • Histoire, Géographie et Sciences politiques
  • Prépas & Concours
  • Lettres et Arts
  • Vie pratique
Accueil
  • Sciences & Techniques
  • Entreprise et économie
  • Sciences humaines et sociales
  • Histoire, Géographie et Sciences politiques
  • Prépas & Concours
  • Lettres et Arts
  • Vie pratique
  • Dernières parutions
  • Meilleures ventes
  • Actualités
  • Espace enseignants
  • Espace presse
  • Dunod Formation
  • L'Atelier Dunod
  • Droits dérivés / Subsidiary rights
  • Newsletters
  • Librairies
  • Contactez-nous
  • Aide
Voir tout Sciences & TechniquesX
Sujet
  • Sciences fondamentales
  • Technique et sciences appliquées
  • Informatique
A la une
  • Construisons aujourd’hui l’informatique de demain
  • Les petits experts SCIENCES L’essentiel en fiches illustrées !
  • TousMakers
Physique statistique en pratique
Physique statistique en pratique
Scrum
Scrum
Astronomix
Astronomix
Voir tout Entreprise et économieX
Sujet
  • Economie
  • Gestion et administration
  • Stratégie et entrepreneuriat
  • Management et RH
  • Marketing - Communication - Vente
  • Vie professionnelle
A la une
  • Les Petits Experts : les points clés en fiches pratiques
Management des organisations de santé
Management des organisations de santé
La bible des indépendants
La bible des indépendants
50 prompts pour trouver l'emploi de vos rêves
50 prompts pour trouver l'emploi de vos rêves
Voir tout Sciences humaines et socialesX
Sujet
  • Psychologie
  • Soin et santé
  • Accompagnement et coaching
  • Action sociale
  • Sociologie
  • Education. Pédagogie
Psychothérapie du cerveau droit
Psychothérapie du cerveau droit
Manuel de psychopathologie
Manuel de psychopathologie
Corps, apparence et image
Corps, apparence et image
Voir tout Histoire, Géographie et Sciences politiquesX
Sujet
  • Histoire
  • Géographie
  • Science politique et société
A la une
  • Avec PORTAIL, les études supérieures s’ouvrent à vous !
  • MNÉMOSYA - les grandes thématiques de la pensée historienne contemporaine
Histoire des Gaules
Histoire des Gaules
Géopolitique des espaces maritimes
Géopolitique des espaces maritimes
Flamboyant Second Empire !
Flamboyant Second Empire !
Voir tout Prépas & ConcoursX
Sujet
  • Ecoles d'ingénieurs
  • Ecoles de management
  • Expertise comptable
  • Fonction publique
  • Education nationale
  • Santé - Social - Paramédical
  • Concours IEP
  • Tous concours
A la une
  • Enseignez sereinement toute l'année !
  • Réussir les CAPES-Agrégation d’histoire-géographie 2024
DCG 2 - Droit des sociétés et des groupements d'affaires - Corrigés 2025-2026
DCG 2 - Droit des sociétés et des groupements d'affaires - Corrigés 2025-2026
DCG 3 - Droit social - corrigés 2025-2026
DCG 3 - Droit social - corrigés 2025-2026
DCG 12 - Anglais des affaires - Corrigés
DCG 12 - Anglais des affaires - Corrigés
Voir tout Lettres et ArtsX
Sujet
  • Lettres
  • Langues vivantes et civilisations
  • Philosophie
  • Arts
Argumentation
Argumentation
La conception d'un film d'animation
La conception d'un film d'animation
Hôjôki - Notes de ma cabane de moine
Hôjôki - Notes de ma cabane de moine
Voir tout Vie pratiqueX
Sujet
  • Santé et bien-être
  • Cuisine et boisson
  • Bricolage et habitat
  • Nature et tourisme
  • Vie quotidienne
A la une
  • Construisons aujourd’hui l’informatique de demain
  • Du temps pour soi ? 20 livres pour retrouver l’équilibre, créer, s’évader…
Surperformez en bourse avec les small caps
Surperformez en bourse avec les small caps
Salariés, investissez pour booster vos revenus
Salariés, investissez pour booster vos revenus
Vous êtes ici
Accueil>Sciences & Techniques>Sciences fondamentales>Mathématiques
  • Introduction à la logique

Introduction à la logique - 3e édition

Théorie de la démonstration
René David, Karim Nour, Christophe Raffalli
Cet ouvrage, actualisé et augmenté pour cette troisième  édition, présente la théorie de la démonstration en tant que discipline et en tant qu'outil. Les premiers chapitres présentent les bases du raisonnement mathématique et la...
En savoir plus
Parution : 
septembre 2025
Collection : 
Sciences Sup
Marque : 
Dunod
Logo dunod Fiche
Les + en ligne : 
1 contenu complémentaire avec ce livre
À paraître
Parution : septembre 2025
M'alerter
lorsque cet ouvrage sera disponible
Accès rapide
  • Présentation
  • Sommaire
  • Les + en ligne
  • Auteur(s)
  • Caractéristiques

Présentation du livre

Cet ouvrage, actualisé et augmenté pour cette troisième  édition, présente la théorie de la démonstration en tant que discipline et en tant qu'outil. Les premiers chapitres présentent les bases du raisonnement mathématique et la syntaxe associée au calcul des énoncés. La deuxième partie traite plus particulièrement de la théorie de la démonstration, discipline à part entière des mathématiques. Des énoncés d'exercices avec leurs corrigés sont proposés en fin de chapitres. Une annexe présente un assistant de démonstration, le logiciel PhoX, réalisé par l'un des auteurs. Ce logiciel ainsi que des compléments aux corrigés sont disponibles sur le site dunod.com.

Sommaire de l'ouvrage

Formules et démonstrations de la Logique du premier ordre. Complétude de la logique du premier ordre. Exemples de théories. Logique intuitionniste et modèle de Kripke. Calcul des sécants. Logiques d'ordre supérieur. Démonstration automatique. Le logiciel PhoX. Solutions des exercices. Index

Les + en ligne

1_Site sur le livre et ses corrigés.

Auteur(s) de l'ouvrage

  • René David
    René David
    Ancien professeur à l'université de Savoie (Chambéry).
  • Karim Nour
    Karim Nour
    Maître de conférences (HDR) à l'université de Savoie (Chambéry)
  • Christophe Raffalli
    Christophe Raffalli
    Ancien maître de conférences à l'université de Savoie (Chambé

Caractéristiques du livre

Pages
400 pages
Format
170 x 240 mm
Collection
Sciences Sup
Parution
septembre 2025
Marque
Dunod
Public
De Bac à Bac +3
EAN
9782100840601

EAN Ebook : Pdf

9782100890422

Suggestions personnalisées

Du même auteur
Introduction à la logique
Introduction à la logique
Sur le même sujet
Le livre qui rend fou
Mathématiques
Mathématiques
Topologie
Topologie
Pythagore à la plage
Pythagore à la plage
Aux frontières des mathématiques - Kurt Gödel et l'incomplétude
Aux frontières des mathématiques - Kurt Gödel et l'incomplétude
Analyse - Licence 1re année
Analyse - Licence 1re année
Dans la collection
Pharmacologie
Pharmacologie
Systèmes d'information géographique
Systèmes d'information géographique
Biochimie fonctionnelle
Biochimie fonctionnelle
Physique pour les sciences médicales
Physique pour les sciences médicales
Climatologie et paléoclimatologie
Climatologie et paléoclimatologie
Analyse chimique
Analyse chimique
Retour vers le haut de page
Newsletters
Nos communautés
  • Facebook DUNOD
  • X Dunod
  • Instagram Dunod
  • TikTok Dunod
Suivez-nous
  • Facebook
  • Twitter
  • Youtube
  • Linkedin
  • Aide
  • Contactez-nous
  • Paiement sécurisé
  • Livraison
  • Echange et remboursement
  • Dunod
    • Qui sommes-nous ?
    • Actualités
    • À paraître
    • Espace Enseignants du Supérieur
    • Droits dérivés / Subsidiary rights
    • Presse
    • Satisfaction client
  • Thèmes
    • Sciences & Techniques
    • Entreprise & Economie
    • Sciences humaines et sociales
    • Histoire, Géographie et Sciences politiques
    • Prépas & Concours
    • Lettres et Arts
    • Vie pratique
  • Services
    • Librairies
    • L'Atelier Dunod : édition sur mesure
    • Formations pour les pros de la petite enfance
    • Le Journal de l'hypnose et de la santé intégrative
    • Préparez-vous à réussir le DCG !
    • Préparer et réussir le DSCG
    • Aide ebook
  • Autres Sites
    • Revues Armand Colin
    • Dunod Formation Petite Enfance
    • Mercator
    • Expert Sup
  • Dunod © 2024
  • Mentions légales
  • CGVU
  • Données personnelles
  • Cookies
  • Plan du site