Bonjour a tous
Je regarde les cours de logique en pdf sur le net et je n'arrive pas a cerner une idée.
Mon problème principal se focalise sur l'implication. Si A alors B.
Il semble que pour traiter cette proposition, on considère tous les états possibles de A et de B (vrai faux) et que si les réponses correspondent a la table de vérité de l'implication alors on dit que cette affirmation est vrai.
Ce qui me gene (c'est la que je me mélange) c'est que A et B sont, comment dire, considérées comme >>libres<<.
Je veux dire par la : Si ABC est un triangle équilatéral alors AB=AC=BC - A B et C sont considérés comme libres car le triangle ABC n'est pas fixé ?
Si blanche neige est reine d’Angleterre alors BN est reine d'australie. Pour moi, blanche neige n'est pas reine d'angleterre car blanche neige est une ""instance"" qui n'a jamais été reine
Pour couronner le tout, les connecteurs ET et OU me semble appliquer dans les exemples comme des opérateurs logiques informatiques, cad comme une simple évaluation de fonction. Ainsi pour <A et B> on prend la valeur de A et de B et on en déduit la valeur de "A et B", ce qui n'a rien a voir avec la méthode faite pour la vérification de l'implication précédemment
Bref, je me suis bien mélangé les pinceaux, merci a qui pourra me faire entrevoir un peu de clarté !!
-----