négation de p implique q

[invite850ff752]

je suis entrain de commencer a prendre le cours de math (la logique).
j'ai un petit problème:
la négation de : Deux droites parallèles distinctes ne se rencontrent pas
-----

[gg0]

Bonjour.

Le forum ne fait pas les exercices à ta place !

Ici, il te faut traduire la phrase par une implication, puis utiliser la procédure de négation.

Bon travail !

[pallas]

saches simplement que p implique q est identique à( (non p) ou q)

[PlaneteF]

Bonjour,

Il va tout de même falloir faire intervenir des quantificateurs dans cette histoire, ... et la question serait plutôt :

Quelle est la négation de " "

Cordialement

[A voir en vidéo sur Futura]

[PlaneteF]

... et pour poursuivre, ... ici, plutôt que de et , on va parler de 2 droites notées par exemple et , ...

... et il faut alors explixiter les 2 prédicats et .

Cdt

[PlaneteF]

(...) explixiter (...)

expliciter