Logique - prédicats

[skertel]

Bonjour à tous.

J'ai du mal à comprendre une tautologie (qui fait partie des 19 "tautologies classiques".

Soient P,Q des prédicats sur un même ensemble E.

(P=>Q) <=> ((non P) V Q) (je vois pas comment sortir le signe pour non P sans latex).

Je vois pas du tout le rapport entre "P implique Q" et le fait que "P est faux ou Q est vrai..."

Merci d'avance

[Nightmare]

Salut,

il te suffit de faire une table de vérité :

Si P est fausse, quelle que soit la valeur de Q, P=>Q est vraie et il en va de même pour (non P ou Q)

Si P est vraie et Q est vraie, P=>Q est vraie et (non P ou Q) aussi. Si P vraie et Q fausse, P=>Q est faux et il en va de même pour (non P ou Q).

[fatal_error]

salut,

de mes années kikoolol, et de mémoire pour la négation logique tu peux sous windaube utiliser
alt+0172
Sous linux ca sera ctrl+shift+u+ac

'¬¬

[skertel]

Sinon, j'ai une partie d'un exercice avec des prédicats que je n'arrive pas à résoudre.

Il y a trois prédicats P, Q et R sur N. Il faut écrire des propositions avec les signes ¬, V, ^, "il existe", "pour tout", et implications/double implication puis montrer que ce sont des tautologies avec une table de vérité.

P: n pair
Q: n premier
R: n>2

1) Si un est premier alors tous les nombres premiers sont pairs.

2) Un entier pair strictement supérieur à deux est premier si et seulement si il est impair. ( un entier pair et impair en même temps?!)

J'ai essayé de les écrire, mais à chaque fois ce ne sont pas des tautologies.
Merci d'avance pour votre aide.

[bedie]

Merci de maider a ressoudre ce probleme pour mes revision

Donner une formulation conjonctive pure (¬ et V ) pour la formule ci-dessous :

(¬ (a ^ ¬b) V (b <=> a)) ;) (¬b <=> a)