1. UNIVERSIDAD ESTATAL DE MILAGRO
Estudiante:
Betty Martínez
Docente:
Ing. Renzo Padilla
Tema:
Lógico Matemático
Curso:
A5-M02

2. Tema: Lógica Proposional
verdadero
PROPOSICIÓN
Tiene un
único
valor
falso
Proposición
simple
Sin
conectivos
lógicos
Proposición
compuesta
Conectivos
lógicos:
y, o, entonc
es.
Ejm: Tania es alta
Ejm: Matías es doctor y
Lorena es modelo

3. Enunciados
Es toda frase u oración
Enunciado
abierto
Poseen variables
Ejm; x, y, z.

4. PROPOSICIONES COMPUESTAS O
MOLECULARES
DENOMINACION
-Conjunción
-Disyunción débil
-Condicional
-Bicondicional
-Negación
SIGNIFICADO
- Y
- 0
-SÍ….,Entonces
-Sí y solo sí
……:entonces
-No
SIMBOLO
-P

5. REGLAS PARA RESOLVER
EJERCICIOS DE PROPOSICIONES
Conjunción:
solo es verdadero cuando los dos valores de las
variables son verdaderos.
Disyunción:
solo es falso cuando los dos valores de las
variables son falsos .
Condicional:
solo es falso cuando el antecedente es verdadero
y el consecuente es falso.
Bicondicional:
solo es verdadero cuando sus dos valores son
iguales .

6. EJEMPLOS DE TABLAS Numéricas
p
0
0
0
0
1
1
1
1
q
0
0
1
1
0
0
1
1
r
0
1
0
1
0
1
0
1

7. EJEMPLOS DE TABLAS LÓGICAS
p
F
F
F
F
V
V
V
V
q
F
F
V
V
F
F
V
V
r
F
V
F
V
F
V
F
V

8. EJEMPLO DE CONJUNCION
p
q
p ^ q
0
0
0
NEGACION
p ^ q
1
0
1
0
1
1
0
0
1
1
1
1
0

9. EJEMPLO DE DISYUNCIÓN
p
q
0
0
0
1
p
v q
0
1
NEGACION
>(p v q)
0
0
1
0
1
0
1
1
1
1

10. EJEMPLO CONDICIONAL
p
q
p
q
0
0
1
0
1
1
1
0
0
1
1
1

11. EJEMPLO BICONDICIONAL
p
q
P
q
0
0
1
0
1
0
1
0
0
1
1
1

12. EJERCICIO COMBINADO
P
0
0
0
0
0
0
0
0
1
1
1
1
1
1
1
1
q
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1
r
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
1
s
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
q
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1
^
0
0
0
0
0
0
1
1
0
0
0
0
0
0
1
1
r
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
1
v
0
1
0
1
0
1
1
1
0
1
0
1
0
1
1
1
s
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
1
0
1
0
1
0
0
0
1
1
1
1
1
1
1
1
p
0
0
0
0
0
0
0
0
1
1
1
1
1
1
1
1