TALLER DE MATEMÁTICAS PARA LAS CIENCIAS SOCIALES.

UNIVERSIDAD TECNOLÓGICA DE BOLÍVAR

PROF: JULIO CÉSAR HÉRNANDEZ ARZUSA.

NOTA: Para entregar la primera clase después de semana santa, en grupos de

máximo 4 personas.

I. Para las siguientes proposiciones, cambiar el cuantificador universal por

existencial de manera adecuada. Escribir todo en lenguaje cotidiano y
simbólico.
1. Todo extremo es malo.
2. Existen hombres cobardes.
3. Ningún número primo es múltiplo de 3.
4. No todo político es corrupto.
5. No existen personas totalmente buenas.
II. Usando leyes de inferencia haga las pruebas que se indican.
dem: S demQ

{1. P →Q
2. P ˅ R
3. Q
4. S → R
{ 1. P→ Q
2. S → ( P ∨ R )
3. R
4. S