1.

LOGICA PROPOSICIONAL:
El ser humano en la vida diaria, se comunica con sus semejantes a travs de un
lenguaje determinado (oral, escrito,..., etc.) por medio de las denominadas frases u
oraciones, estas pueden tener diferentes significados pero siempre van a resumirse a las
formas de verdaderas o falsas, siendo este el precedente fundamental para el desarrollo del
pensamiento humano. Lo importante en el presente estudio es el hecho de que, a partir de
los enunciados (frases u oraciones) y de acuerdo a su significado es posible establecer una
proposicin y a partir de un conjunto de estas podemos llegar a una conclusin, siendo la
ciencia encargada del estudio de estas, la lgica.

1.1. ENUNCIADO.- Denominamos as a toda frase u oracin.

Ejemplos:
1) Prohibido fumar.
2) x2+y29
4) 4x 1= 5
5) Qu hora es?
6) Fallo contra megacomisin enfrenta al Poder Judicial y al Congreso
7) l es estudiante de la facultad de ciencias Administrativas y Contables
8) - 6,78 > 1,43
9) El desempleo baj levemente en febrero
10) Auxilio!
11) Detngase.

1.2. PROPOSICIN.- Una proposicin es un enunciado que tiene la propiedad de

ser verdadera (V) o falsa (F), pero no ambas simultneamente.
Representacin simblica: p, q, r, s, t,..., etc.
Ejemplos:

VALOR DE
REPRESENTACIN PROPOSICIN VERDAD
SIMBLICA
p: El pentgono tiene cuatro lados F
r: Mario Vargas Llosa escribi conversacin en la catedral V
s: Ica es la regin ms afectada por el terremoto del 2 007 V
t: El parque de la identidad se encuentra ubicado en Chilca F
p: -4+3=7 F
r: 3,56 > 0,099 V

El valor veritativo o valor de verdad de una proposicin se expresa simblicamente.

Si p es una proposicin, su valor de verdad se denota por V(p)
Se escribe: V(p) = V. Si valor de verdad de la proposicin p es verdadera
Se lee: el valor de verdad de la proposicin p es verdadera
Se escribe: V(p) = F. Si valor de verdad de la proposicin p es falsa
Se lee: el valor de verdad de la proposicin p es falsa

1.3. EXPRESIONES QUE NO SON PROPOSICIONES LGICAS

Son las expresiones que indican orden, advertencia, saludo, exclamacin o
interrogacin. Es decir, estas expresiones slo se quedan como enunciados.
Ejemplos:
- Buenos das!. - Hola, Harry!
- Quin toc la puerta? - Qu edad tienes?
- No faltes. - Prohibido fumar.
- As se llaman esas criaturas? - Viva la matemtica!

Revisin C -F. de la Matemtica-4 Ao- Prof. de Matemtica ISFD N 168 Prof. Vzquez, Mario Daro Ao 2017 1
 1.4. ENUNCIADOS ABIERTOS
Los enunciados que usan las palabras el, ella o las letras x, y, z, ... , etc. No
tienen la propiedad de ser verdaderos o falsos, es decir, no son proposiciones. Pero, si a
estas palabras o letras se les asigna un determinado objeto o valor, llamado constante, el
resultado es una proposicin. A este tipo de enunciados se les denomina enunciados
abiertos.
Ejemplos:
- Ella es estudiante de contabilidad
- x3>7
- 5x + 3y = 2
Si en el primer ejemplo reemplazamos ella por Meredditt, se tiene, Meredditt es
estudiante de contabilidad, que es una proposicin donde su valor de verdad es V F
dependiendo de que si Meredditt sea o no estudiante de contabilidad.
Si en el segundo ejemplo x toma un valor menor o igual que 10 la proposicin es
falsa y si x toma un valor mayor a 10 la proposicin es verdadera.
En el tercer ejemplo las variables o letras x , y pueden tomar infinitos valores para
que el valor de verdad de la ecuacin sea verdadera o falsa.

Vdeos en YouTube:
1) Enunciados y proposiciones: https://youtu.be/Rr01MZnRKPE

2. CONECTIVOS U OPERADORES LGICOS:

Los conectivos lgicos son smbolos que enlazan proposiciones simples o atmicas, sin formar
parte de ellas: estos smbolos tambin toman el nombre de operadores.
Los conectivos lgicos que usamos en matemtica son:

LENGUAJE
LENGUAJE COLOQUIAL NOMBRE DEL OPERADOR
SIMBLICO
no ~ La negacin
y La conjuncin
o La disyuncin inclusiva
Si ... entonces ... La condicional
... s y slo s ... La bicondicional
O bien ... o bien La disyuncin exclusiva

= Delta (Cuarta letra del alfabeto griego que corresponde a d latina)

Vdeos en YouTube:
1) Conectivos u operadores lgicos: https://youtu.be/R3J0FekzvQI

3. CLASES DE LGICAS: PROPOSICIONES

3.1. PROPOSICIONES SIMPLES O ATMICAS
Cuando en ella no existe conectivo u operador lgico alguno.
Ejemplos:
- p: El cuadrado tiene 5 lados
- q: 3 x 4 = 12
- r: 9 es mltiplo de 3

3.2. PROPOSICIONES COMPUESTAS O MOLECULARES

Cuando en ella existe o est presente al menos un conectivo u operador lgico.
Ejemplos:
- p: 12 - 5 9
- q p: Rosario jug, aunque estuvo lesionado
- q p: Llegu tarde porque el carro se malogr

Revisin C -F. de la Matemtica-4 Ao- Prof. de Matemtica ISFD N 168 Prof. Vzquez, Mario Daro Ao 2017 2
 Vdeos en YouTube:
1) Proposiciones simples y compuestas: https://youtu.be/JTYb74U38u8

4. OPERACIONES CON PROPOSICIONES:

As como en aritmtica y en lgebra se estudian operaciones entre nmeros, en lgica
se estudian operaciones entre proposiciones.

4.1. LA NEGACIN
La negacin de una proposicin p se escribe ~ p p ~p
y se lee no p no es cierto que p es falso V F
que p y es otra proposicin que niega que se F V
cumpla p.

Ejemplo:
Sea la proposicin: p: 4 x 5 = 20 (V)
Su negacin es: ~ p: no es cierto que 4 x 5 = 20 (F)
o se puede escribir: ~ p: 4 x 5 20 (F)
Simblicamente: V( ~ p) = F

4.2. LA CONJUNCIN
Dadas las proposiciones p, q, se simboliza p q pq
p q y se lee p y q, slo es verdadero V V V
cuando ambos son verdaderos, en los V F F
dems casos siempre es falso. F V F
F F F
Ejemplo:
Sean las proposiciones:
p: 7 es un nmero par (F)
q: 7 es menor que 5 (F)
p q: 7 es un nmero par y 7 es menor que 5 (F)
Simblicamente: V(p q) = F

NOTA: En toda proposicin, las palabras: pero, sin embargo, adems, no

obstante, aunque, a la vez, etc. Equivalen al conectivo

4.3. LA DISYUNCIN INCLUSIVA

Dadas dos proposiciones p, q se escribe p q p q pq

y se lee p q, slo es falso cuando ambos V V V
son falsos, en los dems casos siempre es V F V
verdadero. F V V
F F F
Ejemplo:
Dadas las proposiciones:
p: 4 < 7 (V)
q: 4 = 7 (F)
p q: 4 < 7 4 = 7 (V)
Simblicamente: V(p q) = V

4.4. LA CONDICIONAL
Dadas dos proposiciones p, q se escribe p q pq
p q y se lee si p entonces q p implica q V V V
p es suficiente para que q, etc., slo es falso V F F
cuando el primero es verdadero y el F V V
segundo es falso, en los dems casos F F V
siempre es verdadero.

Revisin C -F. de la Matemtica-4 Ao- Prof. de Matemtica ISFD N 168 Prof. Vzquez, Mario Daro Ao 2017 3
 ( p = antecedente y q = consecuente)

Ejemplo:
p q : Si gano las elecciones entonces bajar el precio de los combustibles
Ejemplo:
Sean las proposiciones:
p: 3 es un nmero primo (V)
q: 31 es un nmero par (F)
p q : si 3 es un nmero primo entonces 31 es un nmero par (F)
Simblicamente: V(p q) = F

NOTA: En toda proposicin las palabras: porque, puesto que, ya que, siempre
que, cuando, si, cada vez que, dado que, son conectivos que representan a la
condicional. Se caracterizan porque despus de cada uno de estos trminos esta el
antecedente

Ejemplo:
No jugu porque llegu tarde
p: no jugu (consecuente)
q: llegu tarde (antecedente)
Simblicamente: q p

4.5. LA BICONDICIONAL
Dadas dos proposiciones p, q se escribe p q p q
p q y se lee p si y solo si q, es verdadero V V V
cuando los valores de verdad son iguales y es V F F
falso cuando los dos valores de verdad son F V F
diferentes. F F V
Ejemplo:
Sean las proposiciones:
p: 3 < 7 (V)
q: 3 + 5 < 7 + 5 (V)
p q: 3 < 7 si y solamente si 3 + 5 < 7 + 5 (V)
Simblicamente: V(p q) = V

4.6. LA DISYUNCIN EXCLUSIVA

Dadas las proposiciones p, q se escribe p q p q
p q y se lee o bien p o bien q, es falso V V F
si los valores de verdad de las V F V
proposiciones son iguales y es F V V
verdadero si los valores de verdad de
F F F
las proposiciones son diferentes.
Ejemplo:
Sean las proposiciones:
p: 4 > 7 (F)
q: 4 < 7 (V)
p q: o bien 4 > 7 o bien 4 < 7 (V)
Simblicamente: V(p q) = V

Vdeos en YouTube:
1) Operaciones con proposiciones: https://youtu.be/dw5oCa6Ldn4

5. EXPRESAR EN EL LENGUAJE SIMLICO PROPOSICIONES LGICAS DEL LENGUAJE

ESCRITO:
Para expresar en el lenguaje simblico proposiciones que se encuentran en el lenguaje escrito
es necesario subrayar y escribir el conectivo u operador correspondiente.

Revisin C -F. de la Matemtica-4 Ao- Prof. de Matemtica ISFD N 168 Prof. Vzquez, Mario Daro Ao 2017 4
 Vdeos de lgica en You Tube:
1) Expresar proposiciones lgicas, del lenguaje escrito al lenguaje simblico.
https://youtu.be/CaGmeOSA-9U

6. DETERMINAR EL VALOR DE VERDAD DE PROPOSICIONES LGICAS

Para determinar el valor de verdad de una proposicin, primero se expresa en el lenguaje
simblico, luego se asigna el valor d verdad de la proposicin simple, para luego operar con
los conectivos correspondientes hasta determinar el valor de verdad de la proposicin
compuesta.

Vdeos de lgica en You Tube:

1) Valor de verdad de las proposiciones lgicas.
https://youtu.be/uZAevz40rrw
2) Valor de verdad de proposiciones expresadas en el lenguaje simblico:
https://youtu.be/t2HpDrpVdlk
.
RESUMEN
p q pq p q pq pq pq
V V V V V V F
V F F V F F V
F V F V V F V
F F F F V V F

7. TABLA DE VALORES DE VERDAD

Consiste en obtener los valores del operador principal a partir de la validez de cada
una de las variables proposicionales.
Para evaluar una tabla de verdad de dos variables proposicionales se necesitan
2 = 4 valores de verdad en cada columna. En general el nmero de valores de verdad que
2

se asigna a cada variable resulta de aplicar la frmula 2 n, donde n es el nmero de

variables que hay en el esquema molecular o proposicin lgica.
Las combinaciones de todas las posibilidades de V y F se hacen en las columnas de
referencia al margen izquierdo del esquema, luego se procede a aplicar la regla a cada uno
de los operadores, empezando por el de menor alcance hasta llegar al de mayor jerarqua.
Ejemplo:
Construye la tabla de verdad del esquema molecular:
~ (p q ) (~ p) (~ q)
Solucin:
Aplicando la frmula 2n = 22 = 4 (n=2) porque el nmero de variables o proposiciones
son 2, p y q.
En la columna de p se escribe hacia abajo 2 verdaderos y dos falsos, seguidamente en
la siguiente columna, columna de q se escribe, un verdadero y un falso, un verdadero y un
falso.
Para resolver se tiene en cuenta los signos de agrupacin y el orden, en nuestro
ejemplo se procede as:
Se resuelve la columna 1 con el operador de la conjuncin.
Se resuelve la columna 2, en este caso, es la negacin del resultado de la columna 1.
Se resuelve la columna 3, que es la negacin de la proposicin p.
Se resuelve la columna 4, que es la negacin de la proposicin q.
Columna 5, es el resultado de operar las columnas 3 y 4, con el operador de la disyuncin
inclusiva.
Columna 6, es el resultado de operar las columnas 2 y 5, con el operador de la bicondicional.

Revisin C -F. de la Matemtica-4 Ao- Prof. de Matemtica ISFD N 168 Prof. Vzquez, Mario Daro Ao 2017 5
 OBSERVACIN

- Para combinar los valores de verdad de las variables p y q, se realiza lo siguiente: n = 2 ( 2

variables)
- Se aplica la frmula 2n = 22 = 4
- Significa que en la primera columna se tendrn 4 valores, 2 verdaderos y 2 falsos
- En la segunda columna se tendrn la mitad de lo anterior, en este caso, un verdadero y un falso

p q
~ (p q) (~p) (~q)
V V
F V V F F F
V F
V F V F V V
F V
V F V V V F
F F
V F V V V V
PASOS 2 1 6 3 5 4

La columna 6 es el resultado de evaluar el esquema molecular o proposicin

compuesta por el mtodo de la tabla de valores de verdad. La columna resultado presenta
diferentes formas, que a continuacin estudiamos.

7.1. TAUTOLOGA.- Llamamos tautologa si en la columna resultado todos los

valores son verdaderos
7.2. CONTRADICCIN.- Llamamos contradiccin si en la columna resultado todos
los valores son falsos.
7.3. CONTINGENCIA.- Llamamos contingencia si en la columna resultado se
encuentra verdaderos y falsos, sin considerar cuntos verdaderos o cuntos falsos existan,
es suficiente que se encuentren ambos.

Vdeos de tabla de verdad en You Tube:

1) Tabla de valores de verdad.
https://youtu.be/K-nCKIewbp0

8. IMPLICACIN LGICA Y EQUIVALENCIA LGICA

IMPLICACIN LGICA
Se llama implicacin lgica o simplemente implicacin a toda condicional
p q que sea tautologa.
Ejemplo:
Verifica si la siguiente condicional es una implicacin lgica:
(p q) ~ q ~ p

p q (p q) ~ q En la columna resultado se observa los

~p valores de verdad, en este caso todos son
V V V F F V F verdaderos. Entonces, afirmamos que la
V F F F V V F condicional es tautologa, por tanto, es
F V V F F V V una implicacin lgica. Si en la columna
F F V V V V V resultado se obtiene contradiccin o
contingencia, entonces, no existe
implicacin lgica.

EQUIVALENCIA LGICA
Se llama equivalencia lgica o simplemente equivalencia a toda bicondicional p q
que sea tautologa.

Revisin C -F. de la Matemtica-4 Ao- Prof. de Matemtica ISFD N 168 Prof. Vzquez, Mario Daro Ao 2017 6
 Ejemplo:
Verifica si la siguiente bicondicional es una equivalencia lgica:
p (p q) p

p q p (p q)
p
V V V V V V V
V F V V V V V
F V F F V V F
F F F F F V F
Como se verifica que el resultado de la
bicondicional, es tautologa, afirmamos que es una equivalencia lgica.
Entonces, podemos afirmar que: p (p q) p

9. LEYES DEL LGEBRA PROPOSICIONAL

Las proposiciones equivalentes se convierten en leyes lgicas. Existen infinitas
proposiciones equivalentes. Pero slo consideraremos algunas a las que llamaremos leyes del
lgebra proposicional

1) Leyes del tercio excluido 6) Leyes distributivas

p p V ppF p (q r) (p q) (p r)
p (q r) (p q) (p r)

2) Ley de involucin o doble 7) Leyes de De Morgan

negacin (p q) p q
~ (~ p) p (p q) p q

3) Ley de idempotencia 8) Leyes condicionales

ppp ppp pqpq

4) Leyes conmutativas 9) Leyes bicondicionales

pqqp p q (p q) (q p)
pqqp
pqqp

5) Leyes asociativas 10) Leyes de absorcin

(p q) r p (q r) p (p q) p
(p q) r p (q r) p (p q) p
p ( p q) p q
p ( p q) p q

11) Formas normales para la conjuncin y disyuncin

VVV FFF
pVp pFp
pFF pVV

Las leyes del lgebra proposicional se aplican o utilizan en la validacin de

proposiciones compuestas, es decir, para determinar el valor de verdad de una proposicin.
Adems se utiliza en la simplificacin de proposiciones compuestas.
Ejemplo:

Revisin C -F. de la Matemtica-4 Ao- Prof. de Matemtica ISFD N 168 Prof. Vzquez, Mario Daro Ao 2017 7
 Simplifica la proposicin (p q) (p q) aplicando las leyes del lgebra
proposicional.
(p q) (p q) Ley condicional
(p q) (p q) Ley de doble negacin
p ( q q) Ley distributiva
pV Ley del tercio excluido
p Formas normales

Vdeos de leyes lgicas en You Tube:

1) LEYES LGICAS PARTE (1)
http://www.youtube.com/watch?v=gOK8FsGc15E
2) LEYES LGICAS PARTE (2)
http://www.youtube.com/watch?v=uFj5o7uuWrg
3) SIMPLIFICACIN DE PROPOSICIONES (1)
http://www.youtube.com/watch?v=LPumjaEUy5o
4) SIMPLIFICACIN DE PROPOSICIONES (2)
http://www.youtube.com/watch?v=o8ALhcYMnMw
5) COMO SIMPLIFICAR PROPOSICIONES

https://youtu.be/sJf1Ff9pR7c

10. LA INFERENCIA LGICA O ARGUMENTO LGICO

Se llama inferencia lgica o argumento lgico a toda condicional de la forma:
(p1 p2 pk ) q donde las proposiciones p1, p2, pk son llamadas premisas, y originan
como consecuencia otra proposicin denotada por q llamada conclusin.
Una inferencia puede ser tautologa, contingencia o contradiccin.
Si la condicional es una tautologa, es decir si es una implicacin entonces recibe el
nombre de argumento vlido o inferencia vlida.
Si la condicional no es una tautologa entonces se denomina falacia o simplemente
argumento no vlido.
Ejemplo:
Vlida el argumento (p q) p
Solucin
Aplicando las leyes del lgebra proposicional
( p q) p .. Ley condicional
(p q) p .. Ley de De Morgan
p .. Ley de absorcin

Vdeo de inferencia lgica en You Tube:

https://youtu.be/DiNvLXWinNc

Revisin C -F. de la Matemtica-4 Ao- Prof. de Matemtica ISFD N 168 Prof. Vzquez, Mario Daro Ao 2017 8