Logique

Pourquoi faire une table de vérité quand tu peux exhiber un contre-exemple ?

Le problème c'est que ta table de vérité va devoir être infinie... Tu veux étudier la vérité d'un énoncé de la forme "$\forall x, y \in \mathbb R, (A \Rightarrow $". Si tu voulais juste connaître la valeur de vérité d'un énoncé de la forme $A \Rightarrow B$ alors en effet une table de vérité te permettrait de conclure, mais ici tu as une infinité d'implications à étudier.