Ejercicios de semántica proposicional.

Determinar si los siguientes razonamientos son válidos traduciéndolos al lenguaje de la lógica proposicional y empleando "tablas de verdad".


I.

 Si Eudoxo fue posterior a Euclides, su obra matemática no fue original. Su obra matemática, sin embargo, sí fue original. Por tanto, Eudoxo no fue posterior a Euclides.

 II.

Si Pitágoras tomó partido por la aristocracia, no fue respaldado por el partido democrático de la ciudad de Crotona. Efectivamente, el partido democrático de Crotona no respaldó a Pitágoras. Inferimos que Pitágoras tomó partido por la aristocracia.

III.

O la matemática es consistente, o habremos vivido engañados por nuestra intuición y no tendremos más confianza en ninguna prueba. La matemática no es consistente. Por tanto, no tendremos más confianza en ninguna prueba.