Si tu prends pour A la proposition (B ou C), tu vois bien qu'elle n'implique pas B.
Cordialement.
12/04/2017, 17h46
#3
Médiat
Date d'inscription
août 2006
Âge
74
Messages
20 432
Re : Logique formelle
Bonjour gg0
elle n'implique pas B.
Effectivement, mais elle implique B ou elle implique C
Je suis Charlie.
J'affirme péremptoirement que toute affirmation péremptoire est fausse
12/04/2017, 18h10
#4
IzyCool
Date d'inscription
avril 2017
Messages
3
Re : Logique formelle
Envoyé par Médiat
Bonjour gg0
Effectivement, mais elle implique B ou elle implique C
Bonjour,
Merci pour vos réponses. Justement, je reste bloquée avec le fait que A implique B ou C.
Aujourd'hui
A voir en vidéo sur Futura
12/04/2017, 18h15
#5
Médiat
Date d'inscription
août 2006
Âge
74
Messages
20 432
Re : Logique formelle
Comment cherchez vous ? Table de vérité, Lois de De Morgan (après avoir traduit l'implication), table de Karnaugh ?
Je suis Charlie.
J'affirme péremptoirement que toute affirmation péremptoire est fausse
12/04/2017, 18h20
#6
IzyCool
Date d'inscription
avril 2017
Messages
3
Re : Logique formelle
Envoyé par Médiat
Comment cherchez vous ? Table de vérité, Lois de De Morgan (après avoir traduit l'implication), table de Karnaugh ?
Je dois démontrer juste par la déduction naturelle avec règle d'introduction, d'élimination et d'équivalence.
Pour cet exercice, je peux utiliser le tiers exclu, l'absurde, la loi de Pierce.
Dernière modification par IzyCool ; 12/04/2017 à 18h24.
12/04/2017, 21h11
#7
gg0
Animateur Mathématiques
Date d'inscription
avril 2012
Âge
74
Messages
30 669
Re : Logique formelle
Et pourtant, avec :
on voit que alors que n'est pas vrai (les deux proposition sont fausses.
Cordialement.
12/04/2017, 21h25
#8
Médiat
Date d'inscription
août 2006
Âge
74
Messages
20 432
Re : Logique formelle
Désolé, mais vous gérez mal les quantificateurs (implicites dans votre exemple) ; pour vous en convaincre, essayez de trouver un contre-exemple
Dernière modification par Médiat ; 12/04/2017 à 21h31.
Je suis Charlie.
J'affirme péremptoirement que toute affirmation péremptoire est fausse
14/04/2017, 22h34
#9
gg0
Animateur Mathématiques
Date d'inscription
avril 2012
Âge
74
Messages
30 669
Re : Logique formelle
Effectivement,
j'étais en train de faire l'erreur qui m'avait amené à douter de cette implication. Alors qu'il suffit de contraposer pour voir que c'est correct !
Cordialement.
NB : J'ai tardé à revenir sur le sujet, il m'était un peu sorti de l'esprit.