0
Je demande si la phraseEst-ce que ∃x.px => q est égal à ∃x. (Px => q)?
∃x.px => q
égal à
∃x. (Px => q).
Je pense qu'ils sont égaux à cause de l'exemple suivant:
L'instance de la première phrase:
S'il existe une vache, alors il est un mammifère.
L'instance de deuxième phrase:
il existe une vache, si elle est une vache, alors il est un mammifère.
Si elles ne sont pas égales, quel est le problème avec mon exemple?
Est-ce une question de programmation? Ça ressemble plus à des maths. – yellowantphil
Vous pouvez le publier sur math.stackexchange.com – manan
La notation est légèrement peu familière - différente de ce que j'ai appris à l'école. Cependant, si vos phrases d'exemple sont fidèles aux phrases logiques, alors elles ne sont évidemment pas équivalentes, car la seconde inclut une affirmation précise qu '«il existe une vache», tandis que la première laisse la possibilité d'une vache existante ou non indéfinie, et déclare seulement que toute vache qui existe existe aussi comme un mammifère ... – twalberg