UNIVERSIDAD PONTIFICIA DE MÉXICO 1

Lógica II

Instrucciones: Realice los siguientes Sorites

1.1 Ninguna persona experimentada es incompetente

1.2 Jenkins siempre está fanfarroneando
1.3 Toda persona que está siempre fanfarroneando es incompetente
1.4 Jenkins no es una persona experimentada

Toda persona que está siempre fanfarroneando es incompetente

Jenkins siempre está fanfarroneando
Jenkins es una persona incompetente

Ninguna persona experimentada es incompetente

Jenkins es una persona incompetente
Jenkins no es una persona experimentada

2.1 Todo libro empastado está bien escrito

2.2 Todo tratado filosófico es un libro serio
2.3 Algún libro serio es un libro empastado
2.4 Todo tratado filosófico implica pensar
2.5 Algo que implica pensar está bien escrito

Todo libro empastado está bien escrito

Algún libro serio es un libro empastado
Algún libro serio está bien escrito

Todo tratado filosófico es un libro serio

Algún libro serio está bien escrito
Algo bien escrito es un tratado filosófico
Todo tratado filosófico implica pensar
Algo que implica pensar está bien escrito

3.1 Todos los diplomáticos son ciudadanos

3.2 Algunos funcionarios de gobierno son diplomáticos
3.3 Todos los funcionarios de gobierno son personajes públicos
3.4 Algunos personajes públicos son ciudadanos

Todos los diplomáticos son ciudadanos

Algunos funcionarios de gobierno son diplomáticos
Algunos funcionarios de gobierno son ciudadanos
Todos los funcionarios de gobierno son personajes públicos
Algunos personajes públicos son ciudadanos
 UNIVERSIDAD PONTIFICIA DE MÉXICO 2

Lógica II

4.1 Todo filósofo es un seguidor de la verdad

4.2 Algún pensador es filósofo
4.3 Todo pensador es inteligente
4.4 Todo seguidor de la verdad es estudioso
4.5 Algún estudioso es inteligente

Todo filósofo es seguidor de la verdad

Algún pensador es filósofo
Algún pensador es seguidor de la verdad
Todo pensador es inteligente
Alguien inteligente es seguidor de la verdad
Todo seguidor de la verdad es estudioso
Alguien estudioso es inteligente

5.1 Todo lo que puede ser verdadero o falso es probable

5.2 Nada que sea captado por el entendimiento es incuestionable
5.3 Todo lo inteligible es captado por el entendimiento
5.4 Todo lo inteligible es objeto de conocimiento
5.5 Todo lo que es objeto de conocimiento puede ser verdadero o falso
5.6 Algo probable no es incuestionable

Nada que sea captado por el entendimiento es incuestionable

Todo lo inteligible es captado por el entendimiento
Nada inteligible es incuestionable
Todo lo inteligible es objeto de conocimiento
Algo que es objeto de conocimiento no es incuestionable
Todo lo que es objeto de conocimiento puede ser verdadero o falso
Algo que puede ser verdadero o falso no es incuestionable
Todo lo que puede ser verdadero o falso es probable
Algo probable no es incuestionable