Petite incompréhension sur les ensembles

[leon1789]

1. [ P et (P => Q) ] ) => Q : vrai

que signifie [ P et P => Q ]?

2. en posant A et B deux propositions:
A: [ quelque soit x (...)

> en trois mots
>
>
>

2. en posant A et B deux propositions:
A: [ quelque soit x appartenant à E : x appartient à F => x appartient à G ] est équivalente à B: (F inter E) inclus dans G
pourquoi AB vrai. je vois bien que A=> B (avec un dessin) mais pas que B=>A or il s'agit d'un équivalence.

Ok, prends, un élément x de E , et suppose que x appartient à F, alors l'assertion B indique...

[ThSQ]

1. [ P et (P => Q) ] ) => Q : vrai

Fais un raisonnement par l'absurde !

[leon1789]

Fais un raisonnement par l'absurde !

:ptdr:
ha c'est pas facile, avec ces jeunes mal élevés, comme ThSQ ! ....mais que fait la police ?! j'te mettrais toute cette racaille au frais... :we:

[thedream01]

Pour ta première question, tu peux utiliser les tables de vérité!

[leon1789]

Fais un raisonnement par l'absurde !

:ptdr:
ha c'est pas facile, avec ces jeunes mal élevés, comme ThSQ ! ....mais que fait la police ?! j'te mettrais toute cette racaille au frais... :we:

Pour ta première question, tu peux utiliser les tables de vérité!

oui, mais il vaut peut-être mieux essayer de comprendre le principe (de déduction ! c'est quand même la base de tout raisonnement), plutôt que de faire des calculs d'une table qui n'expliquent rien, non ?

[charlol]

pr le 1) pq ne pas simplifier l'expression?
a l'aide de DE morgan on a directement que la proposition est tjs vraie