Ejercicio 1: Proposiciones categóricas

Descripción del ejercicio.

b). p: Ningún ser humano vive en la luna

q: Algunos seres humanos viven en la luna

 Establecer su estructura de acuerdo con la siguiente tabla:

ESTRUCTURA

Cuantificador Término Sujeto Cualidad o Cúpula Término Predicado

Ningún Humano vive luna

 Determine el tipo de proposición (A, E, I, O).

Clasificación de p: Proposición tipo “E”.

Universal negativa. Cuantificador universal negativo o Cuantificador

universal y cualidad negativa.

 Definición de la estructura de la proposición categórica

Cuantificador Término Sujeto Cualidad o Término

Cúpula Predicado

Algunos Seres humanos viven luna

 Determinar el tipo de proposición (A, E, I, O).

Clasificación de q: Proposición tipo “I”.

Particular afirmativo. Cuantificador particular y cualidad afirmativa.

 De acuerdo a la determinación anterior y teniendo el siguiente

esquema, establezca si las proposiciones son contrarias, de
 contingencia o subcontrarias. Requisito para este paso las
proposiciones deben tener el mismo término sujeto y predicado

De acuerdo al esquema propuesto p y q son contradictorias

Ejercicio 2: Razonamiento Deductivo e Inductivo

Descripción del ejercicio:

A continuación, encontrará una serie de razonamientos para el

desarrollo del ejercicio 2:

A. Según los datos vistos en Investing.com el precio del Bitcoin

durante el año 2017 se valorizó durante cada uno los 12 meses
del año. Esto llevó a que personas particulares invirtieran en
Bitcoin, dada su tendencia alcista, para obtener ganancias.

A partir del razonamiento que haya seleccionado, deberá dar

respuesta a los siguientes ítems:
 Identificar si el razonamiento es deductivo o inductivo.
 RTA/: El enunciado es de razonamiento inductivo.

 Argumentar la respuesta con sus propias palabras.

RTA/ Argumentación: El razonamiento utilizado es inductivo, ya que

a partir del año 2007 el Bitcoin se valorizo y esto conllevo a que las
personas invirtieran para obtener ganancias.

Ejercicio 3: Problemas de aplicación

Descripción del ejercicio

A continuación, encontrará la expresión simbólica, las premisas y la

conclusión de un argumento para el desarrollo del ejercicio 3:

a. Expresión simbólica:

[ ( p ∨ q ) ∧ ( s ⟶∼r ) ∧ ( r ) ∧ ( ∼ s ⟶ ∼q ) ]⟶( p)

Premisas:
P1:( p ∨q )
P2:( s ⟶∼r )
P3: ( r )
P4: ( ∼ s ⟶∼ q )
Conclusión: ( p)
Desarrollo:

 Proposiciones simples: (se define cada proposición simple del

argumento, siempre en afirmativo y con letras en minúscula).

p: Los estudiantes de la UNAD aprueban Pensamiento Lógico y

Matemático

q: Los estudiantes de la UNAD aprueban Historia de la Psicología.

r: Los estudiantes de la UNAD no prueban todos los cursos

s: Los estudiantes logran pasar el semestre.

 Razonamiento en lenguaje natural:

Si los estudiantes de la UNAD aprueban pensamiento lógico y matemático

o los estudiantes de la UNAD aprueban historia de la Psicología. Si los
estudiantes logran pasar el semestre entonces los estudiantes de la UNAD
aprueban todos los cursos. Los estudiantes de la UNAD no aprueban todos
los cursos. Si los estudiantes no logran pasar el semestre entonces los
estudiantes de la UNAD no aprueban historia de la Psicología. por lo tanto,
los estudiantes de la UNAD aprueban pensamiento lógico y matemático.

 Generar la tabla de verdad manualmente:

[ ( p ∨ q ) ∧ ( s ⟶∼r ) ∧ ( r ) ∧ ( ∼ s ⟶ ∼q ) ]⟶( p)
p q r s ~r ~s ~q ((pvq) (s→~r) (pvq)Λ (~s→ (r)Λ(~s [(pvq)Λ(s→~s)Λ(
(s→~r) ~q) →~q) [(pvq)Λ(s r)Λ(~s→~q)]
→~s)Λ(r)Λ →(p)
(~s→~q)]
v v v v f f f v f F v V F V
v v v f f v f v v V f F F V
v v f v v f f v v V v F F V
v v f f v v f v v V f F F V
v f v v f f v v f F v V F V
v f v f f v v v v V v V V V
v f f v v f v v v V v F F V
v f f f v v v v v V v F F V
f v v v f f f v f F v V F V
f v v f f v f v v V f F F V
f v f v v f f v v V v F F V
f v f f v v f v v V f F F V
f f v v f f v f f F v V F V
f f v f f v v f v F v V F V
f f f v v f v f v F v F F V
f f f f v v v f v f v f F v
 Resultado de la tabla de verdad: TAUTOLOGÍA
 Generar la tabla de verdad con el simulador Lógica UNAD

 Resultado de la tabla de verdad: TAUTOLOGÍA

 leyes de inferencia:

P1:( p ∨q )
P2:( s ⟶∼r )
P3: ( r )
P4: ( ∼ s ⟶∼ q )
Conclusión: ( p)
P5: Modus tollendo tollens -s TT 2.3
P6: Modus ponendo Ponens -q PP 4.5
P7: Tollendo ponens p TP 1.6 = Conclusión

Segunda compañera .

PROPOSICIONES CATEGÓRICAS

Descripción del ejercicio

p: Todos los congresistas son corruptos

q: Algunos congresistas no son corruptos

 Estructura de p

ESTRUCTURA DE p

Cuantificador Término Sujeto Cualidad o Cúpula Término Predicado

Todos Congresistas Son Corruptos

 Tipo de proposición (A, E, I, O).

Proposición p de tipo A:

Todos los congresistas son corruptos. Cuantificador universal y cualidad afirmativa

 Estructura de q
 ESTRUCTURA DE q

Cuantificador Término Sujeto Cualidad o Cúpula Término Predicado

Algunos Congresistas No son Corruptos

 Tipo de proposición (A, E, I, O).

Proposición p de tipo O: Particular negativa

Algunos congresistas no son corruptos. Cuantificador particular y cualidad negativa.

• De acuerdo a la determinación anterior y teniendo el siguiente esquema,

establezca si las proposiciones son contrarias, de contingencia o subcontrarias.

De acuerdo al esquema propuesto p y q son contradictorias

RAZONAMIENTO DEDUCTIVO E INDUCTIVO

Argumento:

Todos los atletas de alto rendimiento son especialmente cuidadosos con su

alimentación. Pedro, Miguel y Tomás han ingresado a un equipo profesional de fútbol

que competirá por el título de la liga de su país, por lo tanto, ellos cuidarán su

alimentación

Desarrollo

Argumentación: El razonamiento utilizado es el deductivo, porque se parte de una

premisa general para concluir con una particular. Partiendo de que, si todos los atletas

de alto rendimiento son especialmente cuidadosos con su alimentación, los jugadores de

un equipo profesional de futbol tambien cuidaran su alimentación

PROBLEMAS DE APLICACIÓN

Expresión simbólica:
[(q→r)∧(r→p)∧(¬p∧s)]→(¬q∧s)

Premisas
P1: (q→r)
P2: (r→p)
P3: (¬p∧s)
Conclusión: (¬q∧s)

Desarrollo:

• Proposiciones simples:

p: gano una beca

q: apruebo el curso de pensamiento lógico matemático
 r: gano el semestre
s: me retiro de la universidad

 Razonamiento en lenguaje natural:

[(q→r)∧(r→p)∧(¬p∧s)]→(¬q∧s)

Si apruebo el curso de pensamiento lógico matemático entonces

gano el semestre. Si gano el semestre entonces gano una beca. Si
no gano una beca y me retiro de la universidad. Por lo tanto, no
apruebo el curso de pensamiento lógico matemático y me retiro de la
universidad.

• Tabla de la verdad manual

p q r s ∼ p∼ q(q → r )(r → p)( p ∧ s)( q ∧ s)[ (q →r )∧( r →

[ (qp)→r r→
] )∧([(q →r
p)∧( s) ] ( p ∧ s ) ] →( q ∧
∧ p)∧
)∧( rp→

V V V V F F V V F F V F V
V V V F F F V V F F V F V
V V F V F F F V F F F F V
V V F F F F F V F F F F V
V F V V F V V V F V V F V
V F V F F V V V F F V F V
V F F V F V V V F V V F V
V F F F F V V V F F V F V
F V V V V F V F V F F F V
F V V F V F V F F F F F V
F V F V V F F V V F F F V
F V F F V F F V F F F F V
F F V V V V V F V V F F V
F F V F V V V F F F F F V
F F F V V V V V V V V V V
F F F F V V V V F F V F V

 Resultado de la tabla de verdad

TAUTOLOGIA

• Tabla de verdad con el simulador Lógica UNAD

• Leyes de interferencia

Premisas
 P1: (q→r)

P2: (r→p)

P3: (¬p∧s)

Conclusión: (¬q∧s)

P4: q→p SH P1P2

P5: ¬p S P3

P6: ¬q TT P4P5

P7: s S P3

P8: (¬q∧s) A P 6P7

EJERCICIO 1

D. 1. todos los perros son bravos.

2. Algunos perros no son bravos.

ESTRUCTURA

Cuantificador-Término sujeto-Cualidad o Cúpula-Término Predicado.

1. proposición

Cuantificador Termino sujeto Cualidad o cúpula Termino predicado

Todos Perros Son Bravos

Esta proposición es universal afirmativa ósea la letra A

2. proposición

Cuantificador Termino sujeto Cualidad o cúpula Termino predicado

Algunos Perros No Son Bravos
Esta proposición es particular negativa ósea a letra O

DE ACUERDO CON EL ESQUEMA ESTAS PROPOSICIONES SON CONTRADICTORIAS.