Sujet : La logique est-elle une science ?

Aperçu du corrigé : La logique est-elle une science ?

 »Par exemple, le cheval d'Henry IV ne peut pas être à la fois blanc et non blanc. Le principe. Ou bien il pleut, en ce moment, ou il ne pleut pas. Le principe du tiers exclu élimine une troisième éventualité. c)    Le principe du tiers exclu. Il découle du principe de non-contradiction. On le formule ainsi : « De deux propositions contradictoires, si l'une est vraie, l'autre est nécessairement fausse et réciproquement » ou encore « Entre A et non A, il n'y a pas de milieu ». Autrement dit, deux solutions sont possibles à l'exclusion d'une troisième. Par exemple, une plante est verts ou elles ne l'est pas. En mathématiques, le raisonnement par l'absurde établit la vérité d'une proposition en démontrant que la proposition contradictoire est fausse en raison des conséquences contradictoires qu'elle entraîne.