Annuler
connectez vous
logique en post-bac
- Description de mathématique formelle-termes et relations
- Théorèmes
- Théories logiques
- Équations différentielles : un Cours complet avec des exemples
- Ensemble et application Partie II
- Ensemble et application Partie I
- Espaces vectoriels et Applications linéaires - supérieur
- Généralités sur les matrices, applications linéaires, changement de base, rang d'une matrice - supérieur
Inscription / Connexion Nouveau Sujet
Accueil l'île des mathématiques Forum de mathématiquesListe de tous les forums de mathématiques SupérieurOn parle exclusivement de maths, pour le supérieur principalement, les BTS, IUT, prépas... Maths spé LogiqueTopics traitant de logique [tout]Lister tous les topics de mathématiques
Niveau maths spé
figure classique du raisonnement
Posté par nadia2305
svp je veux faire la demonstration de :
si p est fausse alors p implique q est vrai
a implique b equivalente a (non(a et non(b)))
et merci pour tt aide 
Bonjour
Supposons que p est fausse. Alors aucune propriété q ne peut impliquer p.
Autrement dit, q implique (non p). Par contraposée, p implique (non q).
En remplacant q par (non q), on a bien que p implique q.
Tout peux être déduit à partir d'une propriété fausse !
Supposons que a implique b. On ne peut pas avoir a et (non b) car on aurait alors b et (non b) en
même temps, ce qui est exclu.
Réciproquement, supposons que non(a et non(b)), c'est-à-dire (non a) ou b. Alors a implique forcément b !
à raymond:bi1 sur on peut les deduire a partir du tb de verité mais moi je cherche une explication plus profonde
comme celle de jalex
en tout cas je vous remercie bcp et bonne soiréé 