APORTE INDIVIDUAL

LGICA PROPOSICIONAL, TABLAS DEVERDAD EN PROPOSICIONES

COMPUESTAS, TAUTOLOGAS Y CONTRADICCIONES, PROPOSICIONES
CATEGRICAS.

CRISRIAN CAMILO QUIROGA MEDINA

98032360580

UNIVERSIDAD ABIERTA Y A DISTANCIA UNAD

CEAD PITALITO
2014

1. Represente simblicamente (utilizando los conectivos lgicos) cada razonamiento y hacer

la respectiva tabla de verdad:

a. Si viene en autobs, llegar antes de las doce. Si viene en motocicleta, llegar antes de
las doce. Luego, tanto si viene en autobs como si viene en motocicleta, llegar antes
de las doce.

Sacamos primero las preposiciones simples

P: si viene en autobs.
Q: llegara antes de las doce.
R: viene en motocicleta.

Luego sacamos la siguiente preposicin compuesta utilizando los conectores lgicos.

{[(pr) (rq)][(pvr)q]}

Despus sacamos la tabla de verdad

q r

(pr)

pvr

(pvr)q

(rq)

{[(pr)
(rq)][(pvr)q]}

Dando como resultado la ltima casilla nos damos de cuenta que es una tautologa.

b. Si tuvieran que justificarse ciertas acciones por su relevante tradicin entonces, si estas
acciones son inocuas y respetan a todo ser vivo y al medio ambiente, no habra ninguna
dificultad. Pero si las acciones son crueles o no respetuosas con los seres vivientes o el
medio ambiente, entonces habra que dejar de justificarlos o no podramos considerarnos
dignos de nuestro tiempo.

Sacamos las preposiciones simples

P si tuviera que justificar ciertas acciones por su relevante tradicin.

Q si estas acciones son inocuas.
R respetan a los seres vivos y al medio ambiente.
S no habra ninguna dificultad.

~q las acciones son crueles.

U no podramos considerarnos dignos de nuestro tiempo

Saque la preposicin compuesta:

{p [(qr)s] (~q~r)}( ~pvu)

Hacemos la tabla de verdad

p q r s u ~
q

~
r

~
p

(q
r)

(~pv
u)

(qr)

[(qr)

(~q
~r)

s]

{p[(qr)

[(qr)s s]
] (

(~q~r)}(

~q~r)

~pvu)

c. Si tu lder se enoja, te quedas estupefacto del susto; y si te quedas estupefacto del susto,
entonces no puedes sino apelar a su bondad y as no ser sancionado. Por lo tanto, si tu lder se
enoja, tendrs que apelar a su bondad o sers sancionado.

P tu lder se enoja
Q te quedas estupefacto del susto
R apelar a su bondad
S ser sancionado

Despus saque la preposicin compuesta

[(P q) (q (r s)] (p r s)]

Hacemos la tabla de verdad

P q R S ~

[(pq)q] r~ [(pq)q]

r
v

(r~s)

[p

{[(pq)q]

(r~s)}

(rvs)

[p (rvs)]

]
V V V V F

V V V F V

V V F V F

V V F F V

V F V V F

V F V F V

V F F V F

V F F F V

F V V V F

F V V F V

F V F V F

F V F F V

F F V V F

F F V F V

F F F V F

F F F F V

2. Decidir utilizando las tablas de verdad si este argumento es o no vlido, es decir, evidenciar que
la tabla que se obtiene es una tautologa o no:
Si usted es autosuficiente entonces sus acciones no estn determinadas por eventos previos. En
estas circunstancias, sus acciones no son predecibles y no es posible anticipar las
consecuencias de ellas. En consecuencia, si usted es autosuficiente, las consecuencias de sus
acciones no se pueden anticipar

Saco las preposiciones simples

P usted es autosuficiente entonces sus acciones no estn determinadas por eventos previos
Q sus acciones no son predecibles
R no es posible anticipar las consecuencias de ellas

Saco la siguiente preposicin compuesta

[(pq) (qr)] (pr)

Tabla de verdad.

(pq)

(qr)

[(pq)
(qr)]

(pr)

En este caso no tenemos una tautologa pues el resultado no es verdadero en cada una de sus
combinaciones

3. Identifica en el siguiente silogismo las diferentes proposiciones categricas, y proponer una

representacin mediante diagramas de Venn de las diferentes relaciones entre las clases implicadas,
segn las proposiciones categricas:
Ningn ser aptico es ambicioso. Porque es un hecho que ninguno de ellos
es cientfico y tambin es un hecho que todo cientfico es ambicioso

Ningn ser aptico es ambicioso

S ser aptico
P ser ambicioso
Universal negativa

Ningn S es P

Se simboliza SP=0

Ningn ser aptico es cientfico

S ser aptico
C cientfico
Universal negativa

Ningn ser aptico es cientfico

Se simboliza SC=0

Todo cientfico es aptico

C cientfico
P ser aptico
Universal negativa.

Se representa CP = 0