exo de logique merci par avance

on a
non A et non B implique nonC
et
A et B impliquent nonC
est ce que A et non B impliquent C?

SALUT
X/ non A et non B ==>[ nonC <==> non C ou B ou A]
Y/ A et B ==>non C <===> [non C ou non B ou nonA]
nous avons a DETERMINER levaluation de
Z/ A et non B ==> C càd [(C ou non A ou B )]
on suppose X et Y sont vrais
si C est vrai ==>Z est vrai
si C est fausse alors non C est vraie
et d aprés X et Y (non A ou B ) est toujours vraie==> Zest vraie

selfrespect a écrit:

SALUT
X/ non A et non B ==>[ nonC <==> non C ou B ou A]
Y/ A et B ==>non C <===> [non C ou non B ou nonA]
nous avons a DETERMINER levaluation de
Z/ A et non B ==> C càd [(C ou non A ou B )]
on suppose X et Y sont vrais
si C est vrai ==>Z est vrai
si C est fausse alors non C est vraie
et d aprés X et Y (non A ou B ) est toujours vraie==> Zest vraie

je n'ai pas bien compris , tu sauttes qques lettres, peut tu etre plus clair stp
merci par avance
hajar

selfrespect a écrit:

si C est vrai ==>Z est vrai
si C est fausse alors non C est vraie
et d aprés X et Y (non A ou B ) est toujours vraie==> Zest vraie

c'est surtout çà que je comprends pas

salut parad :Pn
si C est vrai alors (C ou non A ou B) est vraie
tenons en compte l equivalence
(C ou non A ou B) <===> Z
alors Z est vrai

si C est fausse alors nonC est vraie
on a d aprés la suppostion
non A et non B ==>non C et A et B ==>non C sont vraie
c a d (non C ou B ou A) et (non C ou non B ou nonA ) sont vraie
et puisque nonC est vraie alors on ne pourait pas dire si (non A ou B)
est vrai ou non
example si A est vraie
B est fausse
C est fausse
alors X est vraie
et Y est vraie
Mais Z ne l est pas
alors on nr pourait pas dire si Zest vrai ou fausse

selfrespect a écrit:

tenons en compte l equivalence
(C ou non A ou B) <===> Z

mais on a pas cette equivalence

Citation :

selfrespect a écrit:

tenons en compte l equivalence
(C ou non A ou B) <===> Z


mais on a pas cette equivalence

(C ou non A ou B) <=> (A et non B => C) <=> Z

dapres la definition