Logica Matemática

CURSO DE LÓGICA MATEMÁTICA IBAGUÉ MARZO DE 2012
TUTOR: EDSON DANIEL BENÍTEZ
RODRÍGUEZ

“TALLER No 3”

EJERCICIOS

1. Señale las relaciones lógicas (Contrarias, sub contrarias, contradictorias, contingentes ó subalternas) entre las frases de las dos columnas:

|Proposición 1 |Proposición 2 |Relación lógica|
|Todos los solteros son huérfanos |Ningún soltero es huérfano |Contradictorias |
|Ninguna mujer es fea |Algunas mujeres son feas |Subalternas |
|Todos los guerrilleros son |Algunos guerrilleros son|Subcontrarias |
|secuestradores |secuestradores | |
|Los políticos son corruptos |Ningún político es corrupto |Contradictorias |
|Todos los filósofos están locos |Algunos filósofos son cuerdos|Contingente |

2. En el siguiente cuadro se presentan algunas afirmaciones. El ejercicio consiste en determinar qué valor de verdad tendrían las afirmaciones de la derecha de acuerdo con el valor de verdad asignado a la frase correspondiente de la izquierda:

| |Ningún político esdelincuente (F ) |
|A. Algunos políticos son delincuentes (verdadera) | |
| |Algunos políticos no son delincuentes (F ) |
| |Todos lospolíticos son delincuentes (V ) |
| |Todos los profesionales son desempleados (V ) |
|B. Ningún profesional es desempleado (falsa) | |
||Algunos profesionales son desempleados (V ) |
| |Algunos profesionales no son desempleados (F ) |
| |Algunos policías no visten de verde (F ) |
|C. Todos los policías visten de verde(verdadera) | |
| |Ningún policía viste de verde (F ) |
| |Algunos policías visten de verde (V ) |

3. ¿Qué puede inferirse acercade la verdad o falsedad de las siguientes proposiciones si suponemos que la primera de ellas es Verdadera?

A. “Algunos ciclistas no son velocistas”. (V) B. Ningún no velocista no es no ciclista (V)
C. Algunos no velocistas no son no ciclistas (F ) D. Todos los ciclistas no son no velocistas (F)

4. Si la frase “Todos los esquizofrénicos no son matemáticos” es verdadera señaleen el paréntesis el valor de verdad (Verdadera, falso, indeterminado) de las siguientes expresiones:

A. Ningún esquizofrénico no es matemático (V)
B. Algunos matemáticos no son esquizofrénicos (F)
C. Si Carlos es matemático, es posible que sea esquizofrénico (V) D. Todos los no matemáticos no son no esquizofrénicos (V)
E. Los ingenieros de alimentos son matemáticos (V)...