Telecharger Cours

Introdution `a la logique en mathématique

Une tautologie est une proposition qui ne prend que la valeur ?vraie?. Proposition 1. ? (p ? q) ? ((p ? q) ? (q ? p)) est une tautologie.



Download