Translations:The logic of classical language/92/fr
Ce que nous avons brièvement décrit jusqu'à présent est la logique des propositions. Une proposition affirme quelque chose à propos d'objets mathématiques spécifiques tels que : "2 est supérieur à 1, donc 1 est inférieur à 2" ou "un carré n'a pas 5 côtés, donc un carré n'est pas un pentagone".