Conceptualizacin y algunos ejemplos de alguna de las terminologas de la Lgica

Proposicional.

Concepto de proposicin lgica: Es toda oracin o enunciado al que se le puede asignar un

cierto valor (v o f). Si no puede concluir que es verdadero o falso no es proposicin. Es cualquier
agrupacin de palabras o smbolos que tengan sentido y de la que en un momento determinado se
pueda asegurar si es verdadera o falsa. La verdad o falsedad de una proposicin es lo que se llama
su valor lgico o valor de verdad. Las proposiciones se denotan con letras minsculas. Ejemplo:
p, q, r, a, b.
Proposiciones simples y compuestas:
Proposiciones Simples: Son aquellas que no tienen oraciones componentes afectadas por
negaciones (no) o trminos de enlace como conjunciones (y), disyunciones (o) o
implicaciones (s. . . entonces). Pueden aparecer trminos de enlace en el sujeto o en el
predicado, pero no entre oraciones.
Ejemplos:
Simples:
La ballena es roja.
La raz cuadrada de 16 es 4.
Gustavo es alto.
Teresa va a la escuela.
Proposiciones Compuestas: Una proposicin ser compuesta si no es simple. Es decir, si est
afectada por negaciones o trminos de enlace entre oraciones componentes.
Ejemplos:
Compuestas:
La ballena no es roja.
Gustavo no es alto.
Teresa va a la escuela o Mara es inteligente.
4 es menor que 8 o 6 es mayor que 10.
El 1 es el primer nmero primo y es mayor que cero.
El 7 es mayor que 5 y 7 es menor que 10.

Si Yolanda es estudiosa entonces pasar el examen.

Si corro rpido entonces llegar temprano.
Terminar rpido si y slo si me doy prisa.
Aprender Matemticas si y slo si estudio mucho.

Planteamiento y resolucin adems establecer si la correspondiente tabla es una

Tautologa, Contradiccin o Contingencia.

PROPOSICION COMPUESTA
P=Rafael siempre quiso ser actor de teatro, pero no logr cumplir su sueo porque se dedic a
trabajar para buscar su sustento diario.

PROPOSICION COMPUESTA
Q= Pero ha llegado una felicidad a Rafael y es el hecho de que su hija Sofa quiere ser actriz de
teatro y pensando en su hija construye en su mente el siguiente pensamiento:

PROPOSICION COMPUESTA
R=No es cierto que: si mi hija Sofa estudia los libretos, obtiene representar el papel protagnico
en la obra de Teatro.

PROPOSICION COMPUESTA
S=Si no estudia, lo pasa divertido en el ensayo. Si no obtiene el papel protagnico, no lo pasa
bien en el ensayo. As pues, mi hija Sofa obtiene el papel protagnico.

De acuerdo al resultado en la tabla de verdad justifique si el pensamiento de Rafael con

relacin a su hija es coherente o incoherente.
Preposiciones del texto
Entonces aplicamos la formula

2n
24 ( 2222 )
16

P
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F

q
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F

r
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F

S
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F

p
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V

q
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V

TABLA DE VERDAD
p v q
p
F
V
F
V
F
V
F
V
V
V
V
V
V
V
V
V
V
F
V
F
V
F
V
F
F
F
F
F
F
F
F
F

qr
V
V
V
V
V
V
F
F
V
V
V
V
V
V
F
F

rs
V
F
V
V
V
F
V
V
V
F
V
V
V
F
V
V

S
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F

Se obtiene una tautologa, demostrando que la conjuncin de las premisas implica la conclusin y por lo
tanto el razonamiento es vlido.

V
V

V
V

V
V

V
F

F
F

F
F

TABLA DE VERDAD
Premisa
Premisa Premisa
1
2
3
p v q
p
qr
F
F

V
V

V
V

Premisa
4
rs
V
F

Conclusin
[(p v q) (p) (qr)
( rs)]s
V
V

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

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

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

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

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

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

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

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

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

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

V
V
V
V
V
V
V
V
V
V
V
V
V
V

Identificar en dicho 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:

Todos los egresados de programas del SENA pueden estudiar por convenio en la UNAD. Algunos
jvenes tcnicos no pueden estudiar por convenio en la UNAD. Algunos jvenes tcnicos no son
egresados del SENA.
Premisa 1 (particular afirmativa)

A= Todos los egresados programas SENA pueden estudiar por convenio en la UNAD
Premisa 2 (universal negativa)
B= algunos tcnicos no pueden estudiar por convenio UNAD
Premisa 3 (particular negativa)
C= algunos jvenes no son egresados del SENA

U=

Todos los Todos los Todos los Todos los Todos los Todos los =B
A=

C=

A= r

Entonces podemos decir que:

A U B = A; A

n B=B

Si Andrs estudia Economa, entonces participar en la convocatoria de una beca para

especializacin. Pero, no participar en la convocatoria, si reprob el curso de Fundamentos de
Administracin y no aprob el curso de Finanzas. Si Andrs no reprob el curso de Fundamentos
de Administracin o aprob el curso de Finanzas, entonces participar en la convocatoria de una

beca para especializacin. Por lo tanto, participar en la convocatoria si y solo si evidencia un

promedio de 4,3 en todos sus estudios.

(pq)[q(r s)][rVs)q(qt)
P=Andrs estudia Economa
Q=Participar en la convocatoria
R=Aprueba el curso de fundamentos de administracin
S=Aprob el curso de finanzas
T=Evidencia un promedio de 4,3

S T

V
V
V
V
V
V

V
V
V
V
V
V

V
V
V
V
F
F

V
V
F
F
V
V

V
F
V
F
V
F

(P>Q
)
V
V
V
V
V
V

(R&S
)
V
V
F
F
F
F

(R+T)
V
V
V
V
V
V

(Q=T
)
V
F
V
F
V
F

(pq)[q(r s)][rVs)q(qt)
V
F
V
F
V
F

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

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

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

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

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

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

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

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

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

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

REFERENCIAS:

Lgica Equivalente, Tautologa, y Contradiccin. (s.f). Recuperado de

http://www.zweigmedia.com/MundoReal/logic/logic2.html

Tipos de Proposiciones.(s.f). Recuperado de

http://132.248.17.238/calculo/Logica/l_logic07_d.html