Clase 1-Presentacion-y-Proposiciones-2021-1

Lógica Simbolica
La tabla de verdad
Equivalencia Lógica
Algebra de proposiciones
Matemáticas Discretas
Domingo Quiroz
Departamento de Matemáticas
Facultad de Ciencias Naturales y Matemáticas
Escuela Superior Politécnica del Litoral
17 de mayo de 2022
Presentacion
Lógica Simbolica
La tabla de verdad
Tópicos de la clase
Lógica Simbolica
Proposiciones
Conectivos lógicos
La tabla de verdad
Presentacion
Lógica Simbolica
La tabla de verdad
Objectivos Generales del Curso
Aplicar los fundamentos del pensamiento y razonamiento

matemático a través del estudio de los objetos discretos y las
relaciones entre ellos, para la resolución de problemas de naturaleza
discreta
Presentacion
Lógica Simbolica
La tabla de verdad
Contenido del Curso
I Lógica matemática , demostraciones y circuitos combinatorios.
Presentacion
Lógica Simbolica
La tabla de verdad
Contenido del Curso

I Ulitizar las reglas de inferencias y métodos de demostración
para la validación de argumentos.
Presentacion
Lógica Simbolica
La tabla de verdad
Contenido del Curso

I Conjuntos y sucesiones.
I Introducción a la teoría de números y técnicas de conteo.
I Aplicar diversas técnicas de conteo para la solución de
problemáticas de naturaleza discreta.
Presentacion
Lógica Simbolica
La tabla de verdad
Contenido del Curso

I Conjuntos y sucesiones.
I Introducción a la teoría de números y técnicas de conteo.
I Aplicar diversas técnicas de conteo para la solución de
problemáticas de naturaleza discreta.
I Funciones, relaciones y relaciones de recurrencia.
Presentacion
Lógica Simbolica
La tabla de verdad
Contenido del Curso
I Algoritmos y aplicaciones a la teoría de grafos y árboles.

I Utilizar algoritmos, grafos y redes para la resolución de
problemas de naturaleza discreta.
I Aplicar diversar técnicas de conteo para el estudio de la
complejidad de los algoritmos
I Lenguajes, gramáticas y autómatas de estado finito
Presentacion
Lógica Simbolica
La tabla de verdad
Proposiciones
Tipos de sentencias
1. Guayaquil es la capital de guayas.

2. Broadway es una avenida en New York City.
3. Cual es la cuidad de Ecuador con mayor población?
4. Camine por la calle principal y entonces gire a la derecha
5. Silencio!
Presentacion
Lógica Simbolica
La tabla de verdad
Proposiciones
Proposiciones
Definición.
Una proposición es una afirmación de la que podemos decir, sin
ambiguedad, si es verdadera o falsa. Las proposiciones
corresponden a las oraciones declarativas del lenguaje español.
Ejemplos:
1. 2 + 2 = 3
2. 22019 < 31400
3. El 14 de Mayo de 1129 fué Martes.
4. Todo entero par mayor que 4 es la suma de dos números
primos.
Presentacion
Lógica Simbolica
La tabla de verdad
Proposiciones
Proposiciones
Definición.
Una proposición es una afirmación de la que podemos decir, sin
ambiguedad, si es verdadera o falsa. Las proposiciones
corresponden a las oraciones declarativas del lenguaje español.
Ejemplos:
1. 2 + 2 = 3
2. 22019 < 31400
3. El 14 de Mayo de 1129 fué Martes.
4. Todo entero par mayor que 4 es la suma de dos números
primos.
Que oraciones no son proposiciones???
Presentacion
Lógica Simbolica
La tabla de verdad
Proposiciones
Conectivos Lógicos
Las proposiciones se pueden combinar para obtener otras

proposiciones utilizando los conectivos lógicos. Los conectivos son
los siguientes:
1. Negación: No tengo frío .
2. Disyunción: El carro es de color rojo o blanco
3. Conjunción: 5 < 8 y 13 < 27.
4. Condicional: Si llueve, entonces no voy al cine.
5. Bicondicional: Voy al cine si, y sólo si, tu pagas
Presentacion
Lógica Simbolica
La tabla de verdad
Proposiciones
Conectivos Lógicos

los siguientes:
3. Conjunción: 5 < 8 y 13 < 27.
Una proposición que no contenga ningún conectivo se dice que es
una proposición simple
Presentacion
Lógica Simbolica
La tabla de verdad
Proposiciones
Conectivos Lógicos

los siguientes:
3. Conjunción: 5 < 8 y 13 < 27.
Una proposición que no contenga ningún conectivo se dice que es
una proposición simple
Las proposiciones que contengan algún conectivo se llaman
proposiciones compuestas.
Presentacion
Lógica Simbolica
La tabla de verdad
Proposiciones
Usaremos las letras P, Q, R · · · para simbolizar proposiciones.

los conectivos serán representados de la siguiente manera:
1. ¬ para la negación
2. ∨ para la disyunción
3. ∧ para la conjunción
4. → para el condicional
5. ↔ para el bicondicional
Presentacion
Lógica Simbolica
La tabla de verdad
Proposiciones
Ejemplo
Considere las siguiente propocisiones:

P = "0 < x"
Q = "x < 3 "
R = "x = 3"
I Represente en lǵica formal la proposición: x ≤ 3
Presentacion
Lógica Simbolica
La tabla de verdad
Proposiciones
Ejemplo

P = "0 < x"
Q = "x < 3 "
R = "x = 3"
I Q∨R
Presentacion
Lógica Simbolica
La tabla de verdad
Proposiciones
Ejemplo

P = "0 < x"
Q = "x < 3 "
R = "x = 3"
I Q∨R
I Represente en logica formal la proposicion: 0 < x < 3
Presentacion
Lógica Simbolica
La tabla de verdad
Proposiciones
Ejemplo

P = "0 < x"
Q = "x < 3 "
R = "x = 3"
I Q∨R
I P∧Q
Presentacion
Lógica Simbolica
La tabla de verdad
Proposiciones
Ejemplo

P = "0 < x"
Q = "x < 3 "
R = "x = 3"
I Q∨R
I P∧Q
I Represente en logica formal la proposicion: 0 < x ≤ 3
Presentacion
Lógica Simbolica
La tabla de verdad
Proposiciones
Ejemplo

P = "0 < x"
Q = "x < 3 "
R = "x = 3"
I Q∨R
I P∧Q
I Represente en logica formal la proposicion: 0 < x ≤ 3
I P ∧ (Q ∨ R)
Presentacion
Lógica Simbolica
La tabla de verdad
Proposiciones
Ejemplo

P = está lloviendo Q = el Sol está brillando R = hay nubes en el
cielo
I Si no hay nubes en el cielo, entonces el Sol está brillando.
Presentacion
Lógica Simbolica
La tabla de verdad
Proposiciones
Ejemplo

cielo
I ¬R → Q
Presentacion
Lógica Simbolica
La tabla de verdad
Proposiciones
Ejemplo

cielo
I ¬R → Q
I El Sol está brillando si, y sólo si, no está lloviendo
Presentacion
Lógica Simbolica
La tabla de verdad
Proposiciones
Ejemplo

cielo
I ¬R → Q
I Si no está lloviendo, entonces el Sol no está brillando y hay
nubes en el cielo
Presentacion
Lógica Simbolica
La tabla de verdad
Proposiciones
Ejemplo

cielo
I ¬R → Q
I Si no está lloviendo, entonces el Sol no está brillando y hay
nubes en el cielo
I ¬P → (¬Q ∧ R)
Presentacion
Lógica Simbolica
La tabla de verdad
Proposiciones

cielo
I (¬P ∧ Q) → ¬R
Presentacion
Lógica Simbolica
La tabla de verdad
Proposiciones

cielo
I (¬P ∧ Q) → ¬R
I Si no está lloviendo y el sol está brillando, entonces No hay
nubes en el cielo
Presentacion
Lógica Simbolica
La tabla de verdad
Proposiciones

cielo
I (¬P ∧ Q) → ¬R
nubes en el cielo
I ¬(P ∨ Q) ∧ R
Presentacion
Lógica Simbolica
La tabla de verdad
Proposiciones

cielo
I (¬P ∧ Q) → ¬R
nubes en el cielo
I ¬(P ∨ Q) ∧ R
I no es el caso que está lloviendo o el sol está brillando, pero
hay nubes en el cielo
Presentacion
Lógica Simbolica
La tabla de verdad
Tablas de verdad
I las proposiciones simples o complejas las llamaremos

variables proposicionales
Presentacion
Lógica Simbolica
La tabla de verdad
Tablas de verdad

I Las denotaremos por p, q, r , t
Presentacion
Lógica Simbolica
La tabla de verdad
Tablas de verdad

I El valor lógico de p, denotado VL(p), es el valor V , F
dependiendo en que p sea verdadera o falsa.
Presentacion
Lógica Simbolica
La tabla de verdad
Tablas de verdad

I El valor lógico de p, denotado VL(p), es el valor V , F
dependiendo en que p sea verdadera o falsa.
La tabla de la negación de p, denotada ¬p es
p ¬p
V F
F V
Presentacion
Lógica Simbolica
La tabla de verdad
Tablas de verdad
La tabla de verdad de la disjunción de p y q, denotada p ∨ q
p q p∨q
V V V
V F V
F V V
F F F
Es decir, la disjunción de p y q es falsa solo cuando ambas son

falsas, de resto es verdadera.
Presentacion
Lógica Simbolica
La tabla de verdad
Tablas de verdad
La table de verdad de la conjunción de p y q, denotada p ∧ q es
p q p∧q
V V V
V F F
F V F
F F F
Es decir, la conjunción de p y q es verdadera solo cuando ambas

son verdaderas, de resto es falsa.
Presentacion
Lógica Simbolica
La tabla de verdad
Tablas de verdad
Denominaremos disjunción exclusiva de p y q, denotada p∨q a la
proposición o p o q y cuyo valor lógico está dado por la siguiente
tabla de verdad.
p q p∨q
v v f
v f v
f v v
f f f
Ejemplo.
Sean p : 2 + 3 > 4, q : (−2)2 = 6.
Escriba la expresión p∨q y su valor lógico.
Solución:
p∨q : o 2 + 3 > 4 o (−2)2 = 6 y VL(p∨q)=V
Presentacion
Lógica Simbolica
La tabla de verdad
Tablas de verdad
p q p ∨ q p ∧ q ¬(p ∧ q) (p ∨ q) ∧ ¬(p ∧ q)
V V
Presentacion
Lógica Simbolica
La tabla de verdad
Tablas de verdad
p q p ∨ q p ∧ q ¬(p ∧ q) (p ∨ q) ∧ ¬(p ∧ q)
V V V V F F
V F
Presentacion
Lógica Simbolica
La tabla de verdad
Tablas de verdad
p q p ∨ q p ∧ q ¬(p ∧ q) (p ∨ q) ∧ ¬(p ∧ q)
V V V V F F
V F V F V V
F V V F V V
F F F F V F
Presentacion
Lógica Simbolica
La tabla de verdad
Observación
En las expresiones que incluyen algunos de los operadores ¬.∨, ∧,

en ausencia de paréntesis, primero se evalúa ¬, después ∧ y luego
∨. Esta convención se conoce como precedencia del operador .
Ejemplo.
Supongamos que VL(p) = F , VL(q) = V y VL(r ) = F . Hallar
VL(¬p ∨ q ∧ r )
Solución:
Presentacion
Lógica Simbolica
La tabla de verdad
Observación
En las expresiones que incluyen algunos de los operadores ¬.∨, ∧,

en ausencia de paréntesis, primero se evalúa ¬, después ∧ y luego
∨. Esta convención se conoce como precedencia del operador .
Ejemplo.
Supongamos que VL(p) = F , VL(q) = V y VL(r ) = F . Hallar
VL(¬p ∨ q ∧ r )
Solución:
por la precedencia del operador tenemos que
¬p ∨ q ∧ r significa ((¬p) ∨ (q ∧ r )) VL(¬p) = V y VL(q ∧ r ) = F ,
por lo que VL(¬p ∨ q ∧ r ) = V .
Presentacion
Lógica Simbolica
La tabla de verdad
Definición.
Sean P y Q dos proposiciones complejas obtenidas a partir de las
proposiciones p1 , ..., pn usando conectivos lógicos.
Diremos que P y Q son lógicamente equivalentes,
P≡Q o P⇔Q
si P y Q tienen los mismos valores lógicos ( VL(P)=VL(Q)) para

todos los posibles valores lógicos de p1 , ..., pn .
Dicho de otra forma, si P ↔ Q siempre es verdadero.
Presentacion
Lógica Simbolica
La tabla de verdad
Teorema. (Leyes de De Morgan)

Para todo par de variables proposicional p y q tenemos
1. ¬(p ∨ q) ≡ ¬p ∧ ¬q
2. ¬(p ∧ q) ≡ ¬p ∨ ¬q.
Demostración:
Para la ley 2 de Morgan tenemos la tabla de verdad
p q ¬p ¬q p ∧ q ¬(p ∧ q) ¬p ∨ ¬q
V V F F V F F
V F F V F V V
F V V F F V V
F F V V F V V
Presentacion
Lógica Simbolica
La tabla de verdad
Definición.
1. Una tautología es una proposición que siempre es verdadera
sin importar el valor lógico de p1 , ..., pn .
2. Una contradicción es una proposición que siempre es falsa sin
importar el valor lógico de p1 , ..., pn .
3. Por lo que, P y Q son equivalentes cuando P ↔ Q es una
tautología.
Presentacion
Lógica Simbolica
La tabla de verdad
Teorema.
Sean p, q, r proposiciones V una tautología y F una contradicción.
Entonces se cumplen las siguientes equivalencias:
I (p ∨ q) ∨ r ≡ p ∨ (q ∨ r ) Asociatividad
(p ∧ q) ∧ r ≡ p ∧ (q ∧ r )
I p ∨ q ≡ q ∨ p Conmutatividad
p∧q ≡q∧p
I p ∧ (q ∨ r ) ≡ (p ∧ q) ∨ (p ∧ r ) Distributividad
p ∨ (q ∧ r ) ≡ (p ∨ q) ∧ (p ∨ r )
I ¬(¬p) ≡ p Involución
Presentacion
Lógica Simbolica
La tabla de verdad
Teorema.
I ¬F ≡ V ¬V ≡ F
I p∨F ≡p p ∧ V ≡ p Identidad
I p ∨ ¬p ≡ V p ∧ ¬p ≡ F Complemento
I p ∨ p ≡ p p ∧ p ≡ p Idempotencia
I p∨V ≡V p ∧ F ≡ F Acotación
I p ∨ (p ∧ q) ≡ p p ∧ (p ∨ q) ≡ p Absorción
I ¬(p ∨ q) ≡ (¬p ∧ ¬q) Leyes de De Morgan
¬(p ∧ q) ≡ (¬p ∨ ¬q)
Presentacion
Lógica Simbolica
La tabla de verdad
Ejemplo.
Demuestre, sin tabla de verdad, la equivalencia lógica siguiente:
((P ∧ ¬Q) ∨ (P ∧ Q)) ∧ Q ≡ P ∧ Q
Demostración:
Por la ley distributiva tenemos que
(P ∧ ¬Q) ∨ (P ∧ Q) ≡ (P ∧ (¬Q ∨ Q))
por lo tanto
((P ∧ ¬Q) ∨ (P ∧ Q)) ∧ Q ≡ (P ∧ (¬Q ∨ Q)) ∧ Q
Presentacion
Lógica Simbolica
La tabla de verdad
Por la ley le complemento tenemos que
(¬Q ∨ Q)) ≡ V
es decir
(P ∧ (¬Q ∨ Q)) ∧ Q ≡ (P ∧ V ) ∧ Q
Por la ley de identidad tenemos que
(P ∧ V ) ≡ P
entonces
(P ∧ V ) ∧ Q ≡ P ∧ Q
Presentacion
Lógica Simbolica
La tabla de verdad
FIN
Presentacion

Clase 1-Presentacion-y-Proposiciones-2021-1

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

Clase 1-Presentacion-y-Proposiciones-2021-1

Cargado por

Copyright:

Formatos disponibles

Lógica Simbolica

Objectivos Generales del Curso

Aplicar los fundamentos del pensamiento y razonamiento

Contenido del Curso

I Lógica matemática , demostraciones y circuitos combinatorios.

Contenido del Curso

I Lógica matemática , demostraciones y circuitos combinatorios.

Contenido del Curso

I Lógica matemática , demostraciones y circuitos combinatorios.

Contenido del Curso

I Lógica matemática , demostraciones y circuitos combinatorios.

Contenido del Curso

I Algoritmos y aplicaciones a la teoría de grafos y árboles.

1. Guayaquil es la capital de guayas.

Las proposiciones se pueden combinar para obtener otras

Las proposiciones se pueden combinar para obtener otras

Las proposiciones se pueden combinar para obtener otras

Usaremos las letras P, Q, R · · · para simbolizar proposiciones.

Considere las siguiente propocisiones:

Considere las siguiente propocisiones:

Considere las siguiente propocisiones:

Considere las siguiente propocisiones:

Considere las siguiente propocisiones:

Considere las siguiente propocisiones:

Considere las siguiente propocisiones:

Considere las siguiente propocisiones:

Considere las siguiente propocisiones:

Considere las siguiente propocisiones:

Considere las siguiente propocisiones:

P = está lloviendo Q = el Sol está brillando R = hay nubes en el

P = está lloviendo Q = el Sol está brillando R = hay nubes en el

P = está lloviendo Q = el Sol está brillando R = hay nubes en el

P = está lloviendo Q = el Sol está brillando R = hay nubes en el

I las proposiciones simples o complejas las llamaremos

I las proposiciones simples o complejas las llamaremos

I las proposiciones simples o complejas las llamaremos

I las proposiciones simples o complejas las llamaremos

La tabla de verdad de la disjunción de p y q, denotada p ∨ q

Es decir, la disjunción de p y q es falsa solo cuando ambas son

La table de verdad de la conjunción de p y q, denotada p ∧ q es

Es decir, la conjunción de p y q es verdadera solo cuando ambas

En las expresiones que incluyen algunos de los operadores ¬.∨, ∧,

En las expresiones que incluyen algunos de los operadores ¬.∨, ∧,

si P y Q tienen los mismos valores lógicos ( VL(P)=VL(Q)) para

Teorema. (Leyes de De Morgan)

((P ∧ ¬Q) ∨ (P ∧ Q)) ∧ Q ≡ P ∧ Q

Por la ley distributiva tenemos que

(P ∧ ¬Q) ∨ (P ∧ Q) ≡ (P ∧ (¬Q ∨ Q))

((P ∧ ¬Q) ∨ (P ∧ Q)) ∧ Q ≡ (P ∧ (¬Q ∨ Q)) ∧ Q

Por la ley le complemento tenemos que

También podría gustarte