Ejercicios Resueltos de Razonamiento Lógico Simbólico


Aplicando en el Análisis del Discurso los Conocimientos Adquiridos Lógica Simbólica

La lógica simbólica es un instrumento que sirve para la validación de los razonamientos, obviando el problema que generan los conceptos, dado que estos al ser históricos involucran cambios; además sus usos de carácter metafóricos hacen que los cálculos de validez sean innecesariamente complicados. La lógicasimbólica, por el contrario, prefiere operar con símbolos, estos no hacen referencia a entidades concretas específicas, por lo que son sólo formas.

A continuación se presentan una serie de ejercicios orientados al análisis y validación formal de enunciados expresados o no simbólicamente. La idea es que el estudiante desarrolle estrategias de razonamiento lógico para la traducción, transformacióny resolución de enunciados de carácter simbólico, vislumbrando el sentido y significado del discurso.
























I. Análisis Veritativo Funcional

Someta a un análisis veritativo funcional al siguiente enunciado, identificando luego su respectivo sistema lógico, considerando que:
Sistema Lógico Tautológico: El resultado del análisis veritativo funcional da solamente verdades.
SistemaLógico Consistente: El resultado del análisis veritativo funcional da verdades y falsedades.
Sistema Lógico Contradictorio: El resultado del análisis veritativo funcional da sólo falsedades.


1) – {(p  q) <-> (-q  -p)}

P

Q

-P

-Q

P Q

-Q -P



V
V
F
F
V
V
V
F
V
F
F
V
F
F
V
F
F
V
V
F
V
V
V
F
F
F
V
V
V
V
V
F
Sistema lógica contradictorio

















2) { { [p^(qr)]<->[(p^q)r] }^r}


P

Q

R

Q R

P ^ Q

P ^


R



^ R
V
V
V
V
V
V
V
V
V
V
V
F
F
V
F
F
V
F
V
F
V
V
F
V
V
V
V
V
F
F
V
F
V
V
V
F
F
V
V
V
F
F
V
F
F
F
V
F
F
F
F
V
F
F
F
F
V
V
F
F
V
F
F
F
F
F
V
F
F
V
F
F

Sistema lógico consistente









II. Palabras en Símbolo
Transforme los siguientes enunciados en una expresión simbólica y sométala a un análisis veritativo funcional para determinarluego, el tipo de sistema lógico al que pertenece.
1. No sé el caso de que, o bien se olvidó, o bien no fue capaz de terminar. Luego, fue capaz de terminar.
P: se olvidó Q: fue capaz de terminar –Q: no fue capaz de terminar
[-(P v -Q)] Q

P

Q

-Q

P v -Q

-(P v –Q)

Q
V
V
F
V
F
V
V
F
V
V
F
V
F
V
F
F
V
V
F
F
V
V
F
V
Sistema lógico tautológico










2. Si usurpó un poderque no le correspondía por derecho, Napoleón debe ser condenado. O Napoleón fue monarca legítimo, o usurpó un poder que no le correspondía por derecho. Napoleón no fue un monarca legítimo. Luego Napoleón debe ser condenado.
P: usurpó un poder que no le correspondía por derecho
Q: Debe ser condenado
R: fue monarca legítimo
-R: No fue un monarca legítimo

{(P Q) ^ [(R v P) ^-R]} QP

Q

R

-R


P Q

R v P

^ ^-R

^

Q
V
V
V
F
V
V
F
F
V
V
V
F
V
V
V
V
V
V
V
F
V
F
F
V
F
F
V
V
F
F
V
F
V
V
F
V
F
V
V
F
V
V
F
F
V
F
V
F
V
V
F
F
F
V
F
F
V
F
V
V
F
F
V
F
F
F
V
V
F
F
F
V
Sistema lógico tautológico.


















III. Razonamiento Extenso

1. (AB) ^ (BC)
2. (DA) ^ (CD) /:. (AB) v R
3. (AB) 1 x (Simp)
4. (BC) ^ (AB) 1 x (Conm)
5. (BC) 4 x (Simp)
6. (AC)__3,5x (SH) _
7. (DA) 2x (Simp)
8. (CD) ^ (DA) 2x (Conm)
9. (AB) v R 3x (AD)



1. (P Q) ^ (R v S)
2. (Q S) /:. (P S) ^ (Q S)
3. (P Q) 1x (Simp)
4. (P S) 3, 2 x (SH)
5. (P S) ^ (Q S) 4, 2 (Conj)
6. (P S) ^ (Q S) v T 5x (AD)











RÚBRICA
Indicadores
Detalles del puntaje
Aspectos Formales:

Hoja Tamaño A4
Letra Trebuchet MS.
Tamaño 11.
Interlineado sencillo (1,0).
Margenpreestablecido.
Letra color negro.
Sangría al inicio de cada párrafo.
Justificar el texto.
Formato Word
Identificación del Alumno y tutor
Orden y formalidad del documento



Cumple con todos los aspectos formales especificados en las Instrucciones.

(10 Pts.)

Olvida hasta 2 de los aspectos formales estipulados en las instrucciones.

(5 Pts.)

Olvida más de 2 de los aspectos formales....