PROPOSICIONES

Lógica
PROPOSICIONES

•Es toda oración 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 proposición.
PROPOSICIONES

•Es cualquier agrupación de palabras o

símbolos que tengan sentido y de la que
en un momento determinado se pueda
asegurar si es verdadera o falsa.
PROPOSICIONES

•La verdad o falsedad de una proposición es

lo que se llama su valor lógico o valor de
verdad. Las proposiciones se denotan con
letras minúsculas. Ejemplo: p, q, r, a, b.
 EJEMPLO

• Hoy es lunes. (si es proposición ya que se

puede verificar).
• Hablo y no hablo.
• Viene o no viene.
 CLASES DE PROPOSICIONES

•Simples
•Compuestas
 PROPOSICIONES SIMPLES
• También denominadas proposiciones atómicas. Son
aquellas proposiciones que no se pueden dividir.

• Ejemplos:
• El cielo es azul.
 PROPOSICIONES COMPUESTAS
• También denominadas moleculares. Son aquellas que están formadas
por dos o más proposiciones simples unidas por los operadores lógicos.
Ejemplos:
• Fui al banco, pero el banco estaba cerrado.
• Los lectores de este libro son jóvenes o universitarios.
• Si el miércoles próximo me saco la lotería entonces te regalare un
auto.
 EJERCICIO
• Indicar el tipo de proposiciones
1. Carlos Fuentes es un escritor.
2. Sen(x) no es un número mayor que 1.
3. El 14 y el 7 son factores del 42.
4. El 14 es factor del 42 y el 7 también es factor del 42.
5. l,2 o el 3 son divisores de 48.
 EJERCICIO
• Indicar el tipo de proposiciones
6. El 2 es divisor de 48 o el 3 es divisor de 48.
7. Si x es número primo, entonces x impar.
8. Si x > 10, entonces 2x - 3 > 16.
9. No todos los números primos son impares
 EJERCICIO
• Indicar el tipo de proposiciones
1. Carlos Fuentes es un escritor. Proposición Simple
2. Sen(x) no es un número mayor que 1. Proposición Compuesta
3. El 14 y el 7 son factores del 42. Proposición Simple
4. El 14 es factor del 42 y el 7 también es factor del 42. Proposición Compuesta
5. l,2 o el 3 son divisores de 48. Proposición Simple
 EJERCICIO
• Indicar el tipo de proposiciones
6. El 2 es divisor de 48 o el 3 es divisor de 48. Proposición Compuesta
7. Si x es número primo, entonces x impar. Proposición Compuesta
8. Si x > 10, entonces 2x - 3 > 16. Proposición Compuesta
9. No todos los números primos son impares Proposición Compuesta
CONECTORES
LOGICOS
CONECTORES LOGICOS
 CONECTORES LOGICOS

•Para calcularlos se debe realizar de

cantidad de proposiones a la “n”
n
2
 CONJUNCIÓN ∧
•La conjunción de p
y q es la p q p∧q
V V V
declaración p ∧ q, V F F
que se lee "p y q". F V F
F F F
 DISYUNCIÓN V
•La disyunción de p p q pvq
y q es la V V V
declaración p v q, V F V
F V V
que se lee "p o q" F F F
-((a ∧ ¬b) ∧ (b v c))
a b c
 CONDICIONAL (SI…ENTONCES)

• La condicional p→q, que se lee "si p, entonces q" o

"p implica q," se define con la siguiente tabla de
verdad. p q p→q
V V V
V F F
F V V
F F V
 BICONDICIONAL (SI Y SOLO SI)

• El bicondicional p↔q, que leemos "p si y solo si q" o

"p es equivalente a q," se define por la siguiente
tabla de verdad. p q p↔q
V V V
V F F
F V F
F F V
 ((p ∧ ¬p) → (q ↔ r)) V r
p q r
 ((p ∧ ¬p) → (q ↔ r)) V r
p q r ¬p p ∧ ¬p q ↔ r → V
1 1 1 0 0 1 1 1
1 1 0 0 0 0 1 1
1 0 1 0 0 0 1 1
1 0 0 0 0 1 1 1
0 1 1 1 0 1 1 1
0 1 0 1 0 0 1 1
0 0 1 1 0 0 1 1
0 0 0 1 0 1 1 1
SIMBOLOGÍA CON
PROPOSICIONES
 SIMBOLIZAR:

•No vi la película, pero leí un libro.

IDENTIFICAR ELEMENTOS:

1. Película (p o a)
2. Libro (q o b)
 SOLUCIÓN
•No vi la película, pero leí un libro.

¬p∧q ¬a∧b
 SIMBOLIZAR:

•Las rosas son rojas y tienen espinas.

 SIMBOLIZAR:

•4 es un número par si y solo si es divisible por 2.

 SIMBOLIZAR:

• La selección Guatemala gano o perdió?

 SIMBOLIZAR:

•Si llueve entonces hace frío