1.2.9.

FORMULAS PROPOSICIONALES o
PROPOSICIONES COMPUESTAS
FORMULAS PROPOSICIONALES
• Fórmula proposicional es toda expresión que posee un número finito
de letras (variables proposicionales) p, q, r, ..; y un número de enlaces
lógicos (constantes lógicas) ̴, Λ, ᴠ…; en una correcta combinación.
• Es una combinación de proposiciones y conectivas lógicas que dan
como resultado otra proposición.
Notación.- usaremos las letras α,β,Ɀ… para representar fórmulas
proposicionales.
• Ejemplos α = (p → q) ᴠ ( r ↔ s)
β = (r ᴠ q) Λ r
1.2.10. CONSTRUCCIÓN DE TABLAS DE VERDAD
DE FORMULAS PROPOSPOSCIONALES
CONSTRUCCIÓN DE TABLAS DE VERDAD
• 2n filas , n= número de proposiciones simples
• Columnas? Diferentes agrupaciones de proposiciones atómicas…
• Determinar los valores de verdad
• Ejemplo (r → s) Λ (s → r)

Fila r s r→s s→r (r → s) Λ (s → r)

1 V V V V V
2 V F F V F
3 F V V F F
4 F F V V V
PASOS 1 2 3
METODO ACUMULATIVO
• Ejemplo: 𝑝 ∨ [(𝑝 ∧∼ 𝑟) ∧∼ 𝑞]

p q r ∼𝑞 ∼𝑟 𝑝 ∧∼ 𝑟 (𝑝 ∧∼ 𝑟) ∧∼ 𝑞 𝑝 ∨ [(𝑝 ∧∼ 𝑟) ∧∼ 𝑞]
V V V F F F F V
V V F F V V F V
V F V V F F F V
V F F V V V V V
F V V F F F F F
F V F F V F F F
F F V V F F F F
F F F V V F F F

• Ejemplo: (𝑝 ∧ 𝑞) →∼ 𝑞
 METODO POR PASOS
• Ejemplo: 𝑝 ∨ [(𝑝 ∧∼ 𝑟) ∧∼ 𝑞]
p q r 𝑝 ∨ [ 𝑝 ∧ ∼𝑟 ∧ ∼ 𝑞]

V V V V V V F F F F
V V F V V V V V F F
V F V V V V F F F V
V F F V V V V V V V
F V V F F F F F F F
F V F F F F F V F F
F F V F F F F F F V
F F F F F F F V F V

pasos 1 5 1 3 2 4 2

• Ejemplo: (𝑝 ∧ 𝑞) →∼ 𝑞
1.2.11. CLASIFICACIÓN DE FÓRMULAS
PROPOSICIONALES
CLASIFICACIÓN DE FÓRMULAS PROPOSICIONALES
• Tautología.- Es una fórmula proposicional que resulta verdadera en
todos los casos, independientemente de los valores de verdad de las
proposiciones atómicas.

p q pΛq pvq (p Λ q ) → (p v q )

V V V V V
V F F V V
F V F V V
F F F F V

• Ejemplo 𝑝 → (𝑝 ∨ 𝑞)
CLASIFICACIÓN DE FÓRMULAS PROPOSICIONALES
• Antitautología o Contradicción.- Es una fórmula proposicional, cuyo
valor de verdad resulta siempre falso,….

p q pΛq pvq (p Λ q ) → (p v q ) ∼[(p Λ q ) → (p v q )]

V V V V V F
V F F V V F
F V F V V F
F F F F V F

• Ejemplo: [(𝑝 → 𝑞) ∧ 𝑝] ∧∼ 𝑞
CLASIFICACIÓN DE FÓRMULAS PROPOSICIONALES
• Contingencia.- Es una fórmula proposicional cuyo valor de verdad
toma por lo menos una vez el valor de verdad V y por lo menos una
vez el valor de verdad F.

r s r→s s→r (r →s) Λ (s →r)

V V V V V
V F F V F
F V V F F
F F V V V

• Ejemplo: (∼ 𝑝 ∨ 𝑞) ∧ (𝑝 ∨∼ 𝑞)
1.2.12. RELACIONES ENTRE FORMULAS
PROPOSICIONALES
1) Implicación Lógica
• Se dice que f1 (p, q, r, … ) implica lógicamente f2 (p, q, r, …) si, y solo si, la
condicional f1 (p, q, r, … ) → f2 (p, q, r, …) es una tautología.
• Notación.- f1 (p, q, r, … ) => f2 (p, q, r, …) se lee f1 (p, q, r, … ) implica
lógicamente f2 (p, q, r, …)
• f1 (p, q, r, … ) => f2 (p, q, r, …) si 𝜗[f1 (p, q, r, … ) → f2 (p, q, r, …) ] = V
• Nota.- → operador entre proposiciones
=> relación entre fórmulas proposicionales
• Ejemplo. La condicional ( p Λ q ) → p es una tautología,
p q pΛq (pΛq)→p
Porque la ultima columna de la tabla de verdad esta
V V V V
formada por uves (V)es una tautología, V F F V
𝜗[( p Λ q ) → p ] = V (Se lee p y q implica p) F V F V
F F F V
2) Equivalencia Lógica
• Dos fórmulas proposicionales f1 (p, q, r, … ) y f2 (p, q, r, …) son lógicamente
equivalente si, y sólo si, para cualquier valor de p, q, r, ... reproducen idénticos
valores de verdad para las fórmulas f1 (p, q, r, … ) y f2 (p, q, r, …)
• Notación.- f1 (p, q, r, … ) <=> f2 (p, q, r, …) se lee f1 (p, q, r, … ) es lógicamente
equivalente f2 (p, q, r, …)
• Las fórmulas proposicionales f1 =“ p → ̴ q” y f2 “ ̴ p v ̴ q” son lógicamente
equivalente porque f1 y f2 generan idénticos valores de verdad.

P q ̴p ̴ q p→ ̴q ̴pv ̴q
V V F F F F
V F F V V V
F V V F V V
F F V V V V
TEOREMA
• Dos fórmulas proposicionales son lógicamente equivalente si, y sólo
si, la bicondicional entre ellas es una tautología.

p q ̴p ̴ q ̴q → ̴p p→q ( ̴ p → ̴ q) ↔ (p → q )

V V F F V V V
V F F V F F V
F V V F V V V
F F V V V V V
 PROPOSICIONES ASOCIADAS A UNA CONDICIONAL

• Condicional recíproca (o conversa): La condicional reciproca de p→q es q→p

• Condicional contraria (o inversa): La condicional contraria de p →q es p
̴ → q
̴
• Condicional contrarrecíproca: La condicional contrarrecíproca de p →q es
q
̴ → p
̴
• directa reciproca contraria contrarrecíproca
p q p→q q→p ̴ p→ ̴ q ̴q→ ̴ p
V V V V V V
V F F V V F
F V V F F V
F F V V V V
Relación que relaciona las 4 condicionales.

• p→q Recíprocas q→p

Contraria

Contraria
• p
̴ → ̴q Recíprocas q
̴ → ̴p
 CONJUNCIÓN NEGATIVA
• Definición.- La conjunción negativa de las proposiciones p y q es la proposición “ni p ni q” que
equivale a la conjunción de las negaciones.
• Notación p ↓ q se lee “ni p ni q”
• Valor de verdad.- El valor de verdad p ↓ q es V, si los valores de verdad de p y q son ambos F,
en los casos restantes es F.
• (p ↓ q ) <=> ( ̴ p Λ ̴ q )
• Tabla de Verdad
p q p↓q p q p↓q
V V F 1 1 0
V F F 1 0 0
F V F 0 1 0
F F V 0 0 1

• SI p=“Juan es Flaco” y q=“Juan es gordo”, entonces la conjunción negativa es:

• p ↓ q =“Juan ni es flaco ni es gordo”
 DISYUNCIÓN NEGATIVA
• Definición.- La conjunción negativa de las proposiciones p y q es la proposición “no q o no q”
que equivale a la disyunción exclusiva de las negaciones.
• Notación p ↑ q se lee “no p o no q”
• Valor de verdad.- El valor de verdad p ↑ q es F, si los valores de verdad de p y q son ambos V,
los casos restantes es V.
• (p ↑ q ) <=> ( ̴ p v ̴ q )
• Tabla de Verdad p q p↑q p q p↑q
V V F 1 1 0
V F V 1 0 1
F V V 0 1 1
F F V 0 0 1

• SI p =“Juan es Flaco” y q=“Juan es gordo”, entonces la disyunción negativa es:

• p ↑ q =“Juan no es flaco o no es gordo”
 Resumen de todas las Tablas de verdad…

p q ̴p ̴ q pΛq pVq pVq p→q p↔q p↓q p↑q

V V F F V V F V V F F
V F F V F V V F F F V
F V V F F V V V F F V
F F V V F F F V V V V
ALGUNOS EJERCICIOS
Las siguientes expresiones son proposiciones?
• El calor dilata los cuerpos ✓
• 4 es un número impar ✓
• Juan ama la música ✓
• La música es amada por Juan ✓
• Bolívar nació en 1783 ✓
• La luz tiene peso ✓
• El pensamiento es materia ✓
• El gallo es verde ✓
• El Mono es viejo ✓
• La víbora tiene orejas ✓
Las siguientes expresiones son proposiciones?

• ¿Quién viene? • No Es
• Deténgase • No Es
• Cuantos años han pasado • No Es
• ¿Me crees? • No Es
• ¡Viva Oriente Petrolero! • No Es
• 3 + 5 -7 • No Es
Las siguientes expresiones son proposiciones?

• Algunos alumnos estudian •Es

• Los perros ladran •Es
• 3+5=10 •Es
•2x3=6 •Es
• ¡Cuidado con los perros! •No es
• log 234 + log 1753 •No es
HALLAR EL VALOR DE VERDAD
• p= “el plátano es mineral” • u= “-2 -3 < -100”
𝜗(p) = F 𝜗(u)= F
• q=“El sol alumbra” • w=“La suma dos números impares
𝜗(q) =V es un numero par”
• r=“Los hombres pueden superarse” 𝜗(w)=V
𝜗(r) = V • x=“Rene Barrientos murió en un
accidente aéreo”
• s=“5+3=6” 𝜗(x)=V
𝜗(s) = F • y=“Un triángulo equilátero tiene 3
• t=“(4+5)3= 43 + 53” lados iguales”
𝜗(t)= F 𝜗(y)=V