PROGRAMACIÓN
LOGICA FORMAL
Concepto
La lógica estudia la forma del razonamiento, es una disciplina que por medio de
reglas y técnicas determina si un argumento es válido.
Aplicaciones
La lógica es ampliamente aplicada en la filosofía, matemáticas, computación,
física, entre otras. En la filosofía para determinar si un razonamiento es válido o
no, ya que una frase puede tener diferentes interpretaciones, sin embargo la lógica
permite saber el significado correcto. En las matemáticas para demostrar
teoremas e inferir resultados matemáticos que puedan ser aplicados en
investigaciones. En la computación para revisar programas.
En general la lógica se aplica en la tarea diaria, ya que cualquier trabajo que se
realiza tiene un procedimiento lógico, por ejemplo; para ir de compras al
supermercado una ama de casa tiene que realizar cierto procedimiento lógico que
permita realizar dicha tarea. Si una persona desea pintar una pared, este trabajo
tiene un procedimiento lógico, ya que no puede pintar si antes no prepara la
pintura, o no debe pintar la parte baja de la pared si antes no pintó la parte alta
porque se mancharía lo que ya tiene pintado, también dependiendo si es zurdo o
derecho, él puede pintar de izquierda a derecha o viceversa según el caso, todo
esto es la aplicación de la lógica.
1
PROGRAMACIÓN
Lógica: Son una serie de razonamientos para dar una conclusión.
Proposiciones: Son afirmaciones verdaderas o falsas, es un conjunto de
anunciados.
T = Verdadero.
F = Falso.
p: = Proposición.
Una proposición no son órdenes o instrucciones.
Ejemplo:
p: Hoy está lloviendo.
q: Es de noche.
r: Cierre la puerta. No es proposición.
Tipos de Proposiciones
Simples: Son las que se componen de una sola proposición.
Ejemplo:
María es abogada. = p
Compuestas: Son las que se componen de dos o más proposiciones.
Ejemplo:
María es abogada y Marcos es médico. = p∧q = Conjunción
María es abogada o Marcos es médico. = p∨q = Disyunción
Práctica
Realice las siguientes conversiones:
p: Hoy comeré arroz con pollo.
q: Voy a dormir en la tarde.
r: Me saque un 100 en informática.
s: Me saque un 50 en matemática.
2
PROGRAMACIÓN
p∧q:
q∧p:
r∧s:
r∨q:
p∨s:
Tablas de Verdad
La tabla de verdad describe los valores de verdad de una proposición compuesta.
Además enumera todas las posibles combinaciones de los valores de verdad.
Los valores de verdad de las proposiciones compuestas “p∧q” y “p∨q” están
definidos por las siguientes tablas.
0= Falso.
1= Verdadero.
Regla para proposiciones compuestas con ∧
∧∧ (y).
Para que el resultado sea verdadero (1) las dos proposiciones deben ser
verdaderas de lo contrario es falso.
p q p∧q
0 0 0
0 1 0
1 0 0
1 1 1
Regla para proposiciones compuestas con ∨
∨∨ (o).
Para que el resultado sea verdadero (1) basta con que una proposición sea
verdadera.
p q p∨q
0 0 0
0 1 1
1 0 1
1 1 1
Ejemplo:
3
PROGRAMACIÓN
La tabla de verdad de (p∧q) ∧ (p∨q) y (p∧q) ∨ (p∨q) es:
p q p∧q p∨q (p∧q) ∧ (p∨q) (p∧q) ∨ (p∨q)
0 0 0 0 0 0
0 1 0 1 0 1
1 0 0 1 0 1
1 1 1 1 1 1
Práctica
Construya una tabla de verdad para cada una de las siguientes proposiciones
compuestas:
a) (p∧q) ∨ (p∨q)
b) (p∧q) ∨ (p∧q)
c) (((p∧q) ∧ (p∨q)) ∧ (p∧p))
Negación
Simplemente se invierte el valor de verdad de “p” y suele leerse “¬p” como “no p”.
p ¬p
0 1
1 0
Ejemplos
p: Hoy es jueves. T
q: Mañana es viernes. T
s: La II Guerra Mundial fue en el siglo XI. F
(p∧q) ∨ s (p∧¬q) ∧ s ¬(¬(p∧¬q) ∧s)
(T∧T)∨F (T∧¬T) ∧ F ¬(¬(T∧¬T) ∧F)
T∨F (T∧F) ∧F ¬(¬(T∧F) ∧F)
T F∧F ¬((F∧T) ∧F)
F ¬(F ∧ F)
¬F
T
Tautología
La proposición “p” es una tautología, sí “p” es verdadera para todos los valores de
verdad que se asignen a “p”.
4
PROGRAMACIÓN
Contradicción
La proposición “p” es una contradicción, sí “p” es falsa para todos los valores de
verdad que se asignen a “p”.
Ejemplo:
p p∨¬p p∧¬p
F T F
T T F
Practica
A. Tomando en cuenta las proposiciones.
p: Hoy es viernes T
q: Mañana es sábado T
s: La II Guerra Mundial fue en el siglo XV F
1) p∨q
2) ¬p∨q
3) ¬(p∨q) ∧ (¬p∨s)
4) ¬p∨¬q
5) p∨¬(q∧s)
B. Para los ejercicios del 6 al 9 elabore las tablas de verdad.
6) p ∧¬q
7) (¬p ∨¬q) ∨ p
8) (p ∨q) ∧ ¬p
9) ¬(¬p ∨¬p) ∧ ¬(¬q ∨¬q)
C. Para los ejercicios anteriores (6 al 9) determine si son: Tautología,
Contradicción o ninguna de las dos.
→ (Implicación).
Regla para proposiciones compuestas con →
Una proposición verdadera no implica una falsa, en otras palabras, algo verdadero
no implica algo falso.
Ejemplo: Si peso más de 60 kilogramos, entonces iré al gimnasio. = p q
p: Peso me de 60 kilogramos.
q: Iré al gimnasio.
∴p q
5
PROGRAMACIÓN
p q p q
0 0 1
0 1 1
1 0 0
1 1 1
Regla para proposiciones compuestas con ¬
¬ (Negación).
Una proposición verdadera pasa a ser falsa y viceversa.
Ejemplo: Si peso menos de 60 kilogramos, entonces no iré al gimnasio. = p ¬q
p: Peso más de 60 kilogramos.
q: Iré al gimnasio.
∴ p ¬q
p q ¬q p ¬q
0 0 1 1
0 1 0 1
1 0 1 1
1 1 0 0
Regla para proposiciones compuestas con ↔ (Equivalencia).
La bicondicionalidad es verdadera cuando las dos proposiciones tienen el mismo
valor.
Ejemplo: Pedrito saldrá a jugar si y sólo sí hace la tarea.
p: Pedrito saldrá a jugar.
q: Hace la tarea.
∴ p↔q
p q p↔q
0 0 1
0 1 0
1 0 0
1 1 1
6
PROGRAMACIÓN
Práctica
1. Construya una tabla de verdad para cada una de las siguientes proposiciones
compuestas:
a) p∨(q∧r) d) ¬(p∨¬q)
b) (p∨q)∧r e) (p q)∧(q p)
c) ¬(p∧q) f) ¬q ¬p
2. Convierta las siguientes proposiciones a proposiciones simbólicas compuestas.
a. Yo estudio en el colegio y me va muy bien en todas las materias.
b. Yo estudio en el colegio o salgo mal en los exámenes.
c. Si yo estudio mucho, entonces sacaré buenas notas.
d. Si salí mal en el examen, entonces yo no estudie.
e. Hoy saldré a jugar si y solo si termino la tarea.
f. Hoy no saldré a jugar si y solo si no termino la tarea.
g. Yo voy al colegio y me va muy bien en todas las materias si y solo si yo
estudio.
h. Felipe saldrá a dar un paseo si y sólo si la luna esta brillando.
i. Si está nevando y la luna no está brillando, entonces Felipe no saldrá a
dar un paseo.
j. Está nevando pero, aún así, Felipe saldrá a dar un paseo.
3. Sean p, q y r las siguientes proposiciones simples:
p: Felipe sale a dar un paseo. T
q: La luna esta brillando. F
r: Está nevando. F
Convierta las siguientes proposiciones simbólicas compuestas a lenguaje común
con las proposiciones anteriores y verifique si son falsas o verdaderas:
a. p∧q e. p↔r
b. p∨q f. q (¬r p)
c. p∨q∨r g. ¬(p↔(r∨q))
d. (q∧¬r) h. p↔(q∧¬r)
4. Construya una tabla de verdad para cada una de las siguientes proposiciones
compuestas:
a. p↔r e. ¬(p↔(r∨q))
b. p∨(q∨r) f. p↔(q∧¬r)
c. (q∧¬r) g. p∧(¬p∧q)
d. q (¬r p) h. (p q)↔(q p)
7
PROGRAMACIÓN
