Logica Proporcional

1.
1 Lógica Proposicional
permalink
1.1.1 Proposiciones y Conectivos Lógicos

permalinkEn un intento por sistematizar el razonamiento
matemático, surge el concepto de Lógica Proposicional.
Como su nombre lo explícita, trabajaremos con
proposiciones lógicas; las cuales poseen un valor de
verdad (verdadero o falso). Por convención, las
denotaremos con letras minusculas. Por
ejemplo; p,q,r,s.�,�,�,�.
permalink
Ejemplo 1.1.1.
permalink
Ejemplo 1.1.2.
permalinkExisten proposiciones simples y compuestas.

En el Ejemplo 1.1.1, p,q,s�,�,� son proposiciones
simples, mientras que r� es compuesta.
permalinkLas proposciones compuestas están formadas

por más de una proposición simple, las cuales están
unidas a través de conectivos lógicos.
permalink
Ejemplo 1.1.3.
permalink
Definición 1.1.4.
(Negación): Sea p� una proposición lógica. La negación de p� se denota ¯¯¯p�¯ y
toma el valor de verdad contrario a p.�.permalink
Ejemplo 1.1.5.
permalink
Ejemplo 1.1.6.
permalinkEl Ejemplo 1.1.3 nos permite introducir los

conectivos lógicos.
permalink
Definición 1.1.7.
(Conectivos Lógicos) Se definen los conectivos lógicos:
1. ∧:∧: Conjunción ("y")

2. ∨:∨: Disyunción ("o").
3. ⊻:⊻: Disyunción Exclusiva ("o bien").
4. ⇒:⇒: Implicancia ("entonces").
5. ⇔:⇔: Equivalencia ("si y sólo si").
permalink
Definición 1.1.8.
(Tablas de Verdad) Una Tabla de Verdad representa los valores de verdad que puede tomar
una proposición compuesta, en función de todos los posibles valores de verdad de las
proposiciones simples que componen esta última.permalink
Ejemplo 1.1.9.
permalinkA partir de las Tablas de Verdad, estudiaremos

los Conectivos Lógicos dados en la Definición 1.1.7.
permalink
Definición 1.1.11.
(Conjunción, "y lógico") Dados p,q;�,�; dos proposiciones lógicas, se construye su
conjunción como (p∧q).(�∧�). Se lee: p� y q.�.
(p∧q)(�∧�) es verdadera si p� y q� son simultaneamente verdaderas. En los

demás casos, es falsa. La conjunción posee la tabla de verdad
permalink
p
q� (p∧q)(�∧�)
�
V V V
V F F
F V F
F F F
permalink
Definición 1.1.13.
(Disyunción, "o lógico") Dados p,q;�,�; dos proposiciones lógicas, se construye su
disyunción como (p∨q).(�∨�). Se lee: p� o q.�.
(p∨q)(�∨�) es falsa si p� y q� son simultaneamente falsas. En los demás

casos, es verdadera. La disyunción posee la tabla de verdad
permalink
p
q� (p∨q)(�∨�)
�
V V V
V F V
F V V
F F F
permalink
Definición 1.1.15.
(Disyunción Exclusiva, "o bien") Dados p,q;�,�; dos proposiciones lógicas, se construye
su disyunción exclusiva como (p⊻q).(�⊻�). Se lee: p� o bien q.�.
(p⊻q)(�⊻�) es falsa si p� y q� tienen el mismo valor de verdad. En caso

contrario, es verdadera. La disyunción exclusiva posee la tabla de verdad
permalink
p
q� (p⊻q)(�⊻�)
�
V V F
V F V
F V V
F F F
permalink
Definición 1.1.17.
(Implicancia, "entonces") Dados p,q;�,�; dos proposiciones lógicas, se construye su
implicancia como (p⇒q).(�⇒�). Se lee: p� entonces q.�.
(p⇒q)(�⇒�) es falsa si q� es falsa. En los demás casos, es verdadera. La
implicancia posee la tabla de verdad
permalink
p� q� (p⇒q)(�⇒�)
V V V
V F F
F V V
F F V
permalinkLa implicancia "verdadero implica falso" es

falso será muy útil en muchas demostraciones de este
curso; las cuales serán realizadas por contradicción (o
reducción al absurdo).
permalink
Definición 1.1.19.
(Equivalencia, "si y sólo si") Dados p,q;�,�; dos proposiciones lógicas, se construye su
equivalencia como (p⇔q).(�⇔�). Se lee: p� si y sólo si q.�.
(p⇔q)(�⇔�) es verdadera si p� y q� tienen el mismo valor de verdad. En

caso contrario, es falsa. La equivalencia posee la tabla de verdad
permalink
p
q� (p⇔q)(�⇔�)
�
V V V
V F F
F V F
F F V
permalink
1.1.2 Tautologías
permalinkEn lo que sigue, buscaremos métodos que nos
permitan demostrar que una determinada proposición
compuesta es verdadera.
permalinkCuando una proposición compuesta es

verdadera, se denomina tautología. Si es falsa, se dice
que es una contradicción.
permalinkPara verificar si una proposición compuesta es

tautología, existen tres métodos que revisaremos a
continuación:
1. Tablas de Verdad.
2. Álgebra de Proposiciones (mediante Tautologías
Notables).
3. Método Directo.
4. Método Indirecto (Exploración, Contradicción,
Contrarrecíproco).
permalinkMétodo 1 (Tablas de Verdad): Este método

consiste en descomponer una proposición compuesta
mediante proposiciones simples, explorando todos sus
posibles valores de verdad.
permalink
Ejemplo 1.1.21.
permalinkEste método no es complejo. Sin embargo,

puede resultar tedioso si se trabajan con más de tres
proposiciones (pues se tendrán ocho casos). Es por eso,
que exploraremos un segundo método que resulta ser
expedito y elegante: Álgebra de Proposiciones.
permalink
Ejercicio 1.1.23.
permalinkMétodo 2 (Álgebra de Proposiciones):

Considere las siguientes Tautologías Notables (las
cuales se demuestran mediante tablas de verdad), para
probar que una determinada proposicion compuesta es
tautología. Sean p,q,r;�,�,�; proposiciones lógicas.
1. Involución: ¯¯¯¯¯¯p⇔p.�¯¯⇔�.
2. Conmutatividad: p∨q⇔q∨p�∨�⇔�∨� y p∧q⇔q∧p
.�∧�⇔�∧�.
3. Asociatividad: (p∨q)∨r⇔p∨(q∨r)
(�∨�)∨�⇔�∨(�∨�) y (p∧q)∧r⇔p∧(q∧r).
(�∧�)∧�⇔�∧(�∧�).
4. Distribuitividad: (p∨q)∧r⇔(p∧r)∨(q∧r)
(�∨�)∧�⇔(�∧�)∨(�∧�) y (p∧q)∨r⇔(p∨r)∧(q∨r).
(�∧�)∨�⇔(�∨�)∧(�∨�).
5. Idempotencia: (p∨p)⇔p(�∨�)⇔� y (p∧p)⇔p.
(�∧�)⇔�.
6. Identidad: (p∨F)⇔p,(�∨�)⇔�, (p∨V)⇔V,
(�∨�)⇔�, (p∧F)⇔F(�∧�)⇔�y (p∧V)⇔p.
(�∧�)⇔�.
7. Complemento: ¯¯¯¯V⇔F,�¯⇔�, ¯¯¯¯F⇔V,�¯⇔�, p
∨¯¯¯p⇔V�∨�¯⇔� y p∧¯¯¯p⇔F.�∧�¯⇔�.
8. Leyes de De
Morgan: ¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯(p∨q)⇔¯¯¯p∧¯¯¯q(�∨�)¯⇔�¯∧�¯ y
¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯(p∧q)⇔¯¯¯p∨¯¯¯q.(�∧�)¯⇔�¯∨�¯.
9. Absorción: (p∨q)∧q⇔q(�∨�)∧�⇔� y (p∧q)∨q⇔q.
(�∧�)∨�⇔�.
10. Simetría de la Equivalencia: (p⇔q)⇔(q⇔p).
(�⇔�)⇔(�⇔�).
11. Caracterización de la
Implicancia: (p⇒q)⇔¯¯¯p∨q.(�⇒�)⇔�¯∨�.
12. Caracterización de la
Equivalencia: (p⇔q)⇔[(p⇒q)∧(q⇒p)].
(�⇔�)⇔[(�⇒�)∧(�⇒�)].
13. Contrarrecíproco: (p⇒q)⇔(¯¯¯q⇒¯¯¯p).
(�⇒�)⇔(�¯⇒�¯).
14. Transitividad: [(p⇒q)∧(q⇒r)]⇒(p⇒r)
[(�⇒�)∧(�⇒�)]⇒(�⇒�) y [(p⇔q)∧(q⇔r)]⇒(p⇔r
).[(�⇔�)∧(�⇔�)]⇒(�⇔�).
permalink
Ejemplo 1.1.24.
permalink
Ejemplo 1.1.25.
permalink
Ejercicio 1.1.26.
permalinkMétodo 3 (Directo): Sean p,q;�,�; dos

proposiciones lógicas. El método directo se basa en
verificar que p⇒q�⇒� es verdadera. Por lo
tanto, p� se asume verdadero (hipótesis) y se debe
demostrar que q� también lo es (tesis).
permalink
Ejemplo 1.1.27.
permalinkFinalmente, revisaremos el Método Indirecto.

Este será clave a la hora de realizar demostraciones en
Matemática.
permalinkMétodo 4 (Indirecto): Estudiaremos tres formas

de demostrar que una proposición compuesta es una
tautología. Exploración, Contradicción y
Contrarrecíproco.
permalinkExploración: Este método recurrirá al uso de

Tablas de Verdad, descartando los casos "sencillos" en
una proposición compuesta. Una aplicación de este
mecánismo está dado por el Ejemplo 1.1.28
permalink
Ejemplo 1.1.28.
permalinkContradicción (o Reducción al Absurdo): Este

método está basado en la implicancia p⇒q.�⇒�. La
estructura de esta técnica está dada por
[(p⇒q)⇔V)]⇔[(p∧¯¯¯q)⇔F].
[(�⇒�)⇔�)]⇔[(�∧�¯)⇔�].
permalinkEs decir; para demostrar
que p⇒q,�⇒�, basta considerar que ¯¯¯q�¯ es
verdadero (junto con la hipótesis p�). Esto implica
obtener una inconsistencia. Por consiguiente, la única
opción válida es que ¯¯¯q�¯ sea falsa. Así, q� es
verdadero. Esto permite concluir que p⇒q�⇒� es una
tautología.
permalinkLas demostraciones por contradicción juegan

un rol importante dentro de la Matemática. Serán
empleadas recurrentemente en los capítulos siguientes.
permalink
Ejemplo 1.1.29.
permalink
Ejercicio 1.1.30.
permalinkContrarrecíproco: Este método esta basado en

la tautología (p⇒q)⇔(¯¯¯q⇒¯¯¯p).(�⇒�)⇔(�¯⇒�¯).
permalinkLas demostraciones por contrarrecíproco

juegan un rol importante dentro de la Matemática. Serán
empleadas recurrentemente en los capítulos siguientes.
permalink
TAREL
TORRO
MICHO
CUAREN
TR ⱯP

Logica Proporcional

Cargado por

Copyright:

Formatos disponibles

Logica Proporcional

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Logica Proporcional

Cargado por

Copyright:

Formatos disponibles

1.

1.1.1 Proposiciones y Conectivos Lógicos

permalinkExisten proposiciones simples y compuestas.

permalinkLas proposciones compuestas están formadas

permalinkEl Ejemplo 1.1.3 nos permite introducir los

1. ∧:∧: Conjunción ("y")

permalinkA partir de las Tablas de Verdad, estudiaremos

(p∧q)(�∧�) es verdadera si p� y q� son simultaneamente verdaderas. En los

(p∨q)(�∨�) es falsa si p� y q� son simultaneamente falsas. En los demás

(p⊻q)(�⊻�) es falsa si p� y q� tienen el mismo valor de verdad. En caso

permalinkLa implicancia "verdadero implica falso" es

(p⇔q)(�⇔�) es verdadera si p� y q� tienen el mismo valor de verdad. En

permalinkCuando una proposición compuesta es

permalinkPara verificar si una proposición compuesta es

permalinkMétodo 1 (Tablas de Verdad): Este método

permalinkEste método no es complejo. Sin embargo,

permalinkMétodo 2 (Álgebra de Proposiciones):

permalinkMétodo 3 (Directo): Sean p,q;�,�; dos

permalinkFinalmente, revisaremos el Método Indirecto.

permalinkMétodo 4 (Indirecto): Estudiaremos tres formas

permalinkExploración: Este método recurrirá al uso de

permalinkContradicción (o Reducción al Absurdo): Este

permalinkLas demostraciones por contradicción juegan

permalinkContrarrecíproco: Este método esta basado en

permalinkLas demostraciones por contrarrecíproco

También podría gustarte