Demuestre que el argumento de Sócrates es válido. Aplicar conocimientos de matemáticas discretas.

Sócrates creía que todos los mortales eran mortales. Sócrates es un ser humano, entonces Sócrates es un mortal.

Ahora esta proposición se simboliza: Nota

P (x): x es una persona; D (x): x es un mortal;

Premisa: ax (p (x) → d (x)), p(a); (a representa el cuantificador universal)

Conclusión: D (1).

Certificado

1)Ax(P(x)→D(x))

2)P(a)→D(a) 1) UI

3) Introducir P (a) premisa

D (a) 2)3) Razonamiento hipotético

Obtener el certificado.