Universidad Catlica Los ngeles Matemtica y Lgica

de Chimbote
LGICA PROPOSICIONAL

4.1 Concepto de Lgica: Deriva del griego logos, que significa palabra y en la
poca actual se interpreta como razonamiento o pensamiento.

4.2 Antecedentes Histricos. La evolucin de la lgica est relacionada a la

evolucin del ser humano, pues su historia representa la historia del hombre.

4.2.1 Lgica Antigua. Aristteles fue quien fund la lgica y desarroll

la silogstica.

Precursores:

Aristteles (384-332 a.c.)

Platn (427-347 a.c.)
Scrates (470-399 a.c.)
Parmnides
Zenn

4.2.2 Lgica Moderna. La lgica moderna como ciencia impact en el

devenir contemporneo y el nacimiento del sistema computacional se
deba al formalismo lgico.

Precursores:

Gottfried Wilhelm
Von Leibniz
Leonhard Euler
Ren Descartes
Isaac Newton
George Boole
Augustus de Morgan

4.3 Leyes de la Lgica. Son enunciados universales y verdaderos.

El principio de identidad. Una cosa es idntica a s misma.

El principio de contradiccin. Es imposible afirmar y negar que una
cosa es y no es al mismo tiempo.
El principio de tercio excluido. Una cosa es o no es, no cabe un
trmino medio.
El principio de razn suficiente. Lo que ocurre tiene una razn
suficiente para ser as y no de otra manera.

4.4. La Oracin: Un lenguaje es un conjunto de palabras que forman

oraciones y frases.

La oracin es la mnima expresin para decir algo

Mg. Julio Nez Cheng 1

Universidad Catlica Los ngeles Matemtica y Lgica
de Chimbote
Existen cuatro clases de oraciones: Declarativas, interrogativas,
imperativas y exclamativas. La lgica solo usa las oraciones declarativas,
denominadas proposiciones.

4.5 Proposicin Lgica. Es una oracin cuya propiedad es ser verdadera o

falsa.

Ejemplos:

Los abogados poseen conocimientos jurdicos. (V)

La Tierra gira sobre su propio eje. (V)
8 + 5 > 15 (F)
El Sol no es el centro del Sistema planetario Solar. (F)
Las obstetrices atienden partos. (V)
Los odontlogos realizan endodoncias. (V)

4.5.1 Clases de Proposiciones. Pueden clasificarse en simples y

compuestas.

4.5.1.1 Proposiciones Simples. Tienen un solo sujeto y un solo

predicado.

p: Todos los hombres son mortales.

q: El Presidente del Per es el jefe de las fuerzas armadas.
r: Los Ingenieros usan la lgica para resolver problemas.
Las proposiciones simples se clasifican en:

Proposiciones Simples Predicativas. El predicado concede una

cualidad del sujeto:

- Coln fue un navegante.

- El sol es una estrella.
- El mar contiene sal.

Proposiciones Simples Relacionales. Guaran una relacin entre

dos o ms entes.
- El ro amazona es ms caudaloso que el ro moche.
- Carolina es ms joven que Andrea.
- Diego y Enzo son hermanos y viven en Francia.
4.5.1.2 Proposiciones Compuestas. Estn formadas por dos o ms
proposiciones simples

-Las enfermeras realizan trabajos comunitarios y los odontlogos realizan

endodoncias.
-Si el Sol es el centro del Sistema Planetario Solar, entonces la Tierra gira
sobre su eje.
- Los abogados poseen conocimientos jurdicos si y solo si estudian leyes.
- Las obstetrices atienden partos o los farmacuticos conocen de medicamentos.
Mg. Julio Nez Cheng 2
Universidad Catlica Los ngeles Matemtica y Lgica
de Chimbote

4.6 Expresiones No Proposicionales. Son proposiciones que no tienen la

propiedad de ser verdaderas o falsas:

Prohibido fumar Buenas noches Bienvenido amigo Hola

como te encuentras

Expresan los sentimientos, directivas, creencias, etc.

4.7 Operaciones con Proposiciones. Se estudian varias operaciones entre

proposiciones.

4.7.1 La Negacin. Una proposicin negativa de otra afirmativa p se

denota por p y se lee no p o no es cierto que p.

Su tabla de verdad
p ~p
V F
F V

4.7.2 La Conjuncin. Cuando dos proposiciones simples se unen

mediante el conectivo lgico y.

Su smbolo es , se escribe p q y se lee p y q

La proposicin conjuntiva es verdadera nicamente, cuando las dos

proposiciones p y q son verdaderas

Su Tabla de verdad:

p q pq
V V V
V F F
F V F
F F F
Tambin puede usarse la conjuncin por adems, no obstante,
aunque.

4.7.3 La Disyuncin Inclusiva. Tambin la o dbil, que resulta de

unir dos proposiciones con el conectivo o, cuyo smbolo es , se escribe
p q y se lee p o q.
Es verdadera si y slo si por lo menos una de sus componentes es
verdadera, siendo falsa solamente cuando las dos son falsas

Mg. Julio Nez Cheng 3

Universidad Catlica Los ngeles Matemtica y Lgica
de Chimbote

Expresa que el cumplimiento de uno de ellos, no impide el cumplimiento

del otro.
Ejemplos:

La tierra es un planeta o el agua tiene nitrgeno.

Trece es mayor que ocho o siete es un nmero primo.
Ramn es ingeniero o es mdico.

Su tabla de verdad:
p q pq
V V V
V F V
F V V
F F F

4.7.4 La disyuncin Exclusiva. La o se usa en sentido excluyente, se

escribe p q y se lee o bien p o bien q, pero no ambas.

Ejemplos:
-O la Luna es un satlite o Marte es el centro del Sistema Planetario.
-O bien siete es un nmero primo o bien es un nmero par.
-O Lima es la capital de Quito o Pars est en Francia.

Su Tabla de Verdad:
p q p q
V V F
V F V
F V V
F F F

Es verdadera si y solo si, por lo menos una de las dos proposiciones es

verdadera y no las dos

4.7.5 La Condicional. Su smbolo p q, se lee si p entonces q,

donde
p es el antecedente o condicin y q es el consecuente o conclusin.

Ejemplos:

Si Juan se cae al agua, entonces no se moja.

Si 12 + 9 = 21 , entonces 9 < 21.
Si 5 es un nmero primo, entonces es divisible por 1.

Su tabla de verdad es:

p q p q
V V V

Mg. Julio Nez Cheng 4

Universidad Catlica Los ngeles Matemtica y Lgica
de Chimbote
V F F
F V V
F F V

La condicional es falsa si y solo si, el antecedente es verdadero y falso el

consecuente

4.7.6 La Bicondicional. Su smbolo es p q y se lee p si solo si q

El smbolo es llamado tambin doble implicacin.

Ejemplos:
Hace sombra en el patio, si y solo si no hay sol.
Andrea es estudiosa, si y solo si obtiene notas sobresalientes.
Los hombres son mortales, si y solo si son vertebrados.

Su tabla de verdad:
p q p q
V V V
V F F
F V F
F F V

La bicondicional resulta verdadera, cuando el antecedente (p) y

consecuente (q) tienen los mismos valores de verdad

Mg. Julio Nez Cheng 5