Sommaire

cours / présentation, autoévaluation, exercice, liste de références

Règles de déduction sur les connecteurs

Ce cours est le deuxième d'une série de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités. Il présente un ensemble de règles de déduction sur les connecteurs logiques permettant de prouver des formules...

Date de création :

10.01.2020

Auteur(s) :

Mathieu JAUME, Isabelle Mounier

Accéder à la ressource :

http://www.unit.eu/cours/logique-SorbonneU/co/sequence_1/co/sequence.html

Présentation

Informations pratiques

Langue du document : Français

Type : cours / présentation, autoévaluation, exercice, liste de références

Niveau : enseignement supérieur, licence

Langues : Français

Contenu : texte, image, son

Public(s) cible(s) : apprenant

Document : Document HTML

Droits d'auteur : libre de droits, gratuit
Attribution - Partage dans les mêmes conditions (CC BY-SA)

Description de la ressource

Résumé

Granularité : cours
Structure : linéaire

"Domaine(s)" et indice(s) Dewey

Logique mathématique (Logique symbolique) (511.3)
Logique (contrefactuels, logique des questions, modalité, négation, propositions, raisonnement, science du raisonnement, tables de vérité, vérité) (160)

Domaine(s)

Principes généraux
Généralités, philosophie, théorie des mathématiques
Mathématiques inductives déductives
160

Intervenants, édition et diffusion

Édition

Sorbonne Université
UNIT

Diffusion

Cette ressource vous est proposée par :

Document(s) annexe(s)

Cette ressource fait partie de
- Cours de logique

Fiche technique

Identifiant de la fiche : http://ori.unit-c.fr/uid/unit-ori-wf-1-7381

Identifiant OAI-PMH : oai:www.unit.eu:unit-ori-wf-1-7381

Schéma de la métadonnée : oai:uved:Cemagref-Marine-Protected-Areas

LOMv1.0
LOMFRv1.0
SupLOMFRv1.0
Voir la fiche XML

Entrepôt d'origine : UNIT

Publication : 10.01.2020

langage logique

représentation des preuves

axiome

règle d'affaiblissement

connecteur

logique classique

raisonnement par l'absurde

Voir aussi

01.07.2012

Base raisonnée d'exercices de mathématiques : Langage et raisonnement

Description : BRAISE est centré sur la résolution de problèmes : il propose un choix raisonné d’exercices. Tout le contenu d’un cours sur le sujet est présent, mais il est réorganisé en lien étroit avec les exercices pour permettre une meilleure maîtrise des connaissances. Chaque exercice est ...

démonstration
raisonnement par récurrence
raisonnement par l'absurde
quantificateurs
implication
contraposée
équivalence
structure d'une démonstration
formaliser un énoncé mathématique
existence
unicité
contre-exemple