CAPÍTULO 2 LA LÓGICA DE LOS ENUNCIADOS

COMPUESTOS
Los primeros grandes tratados de lógica fueron escritos por el filósofo griego
Aristóteles. Eran un conjunto de reglas para el razonamiento deductivo que
estaban destinadas a servir de base para el estudio de todas las ramas del
conocimiento.

• Gottfried Leibniz concibió la idea de utilizar símbolos para mecanizar el

proceso del razonamiento deductivo
• George Boole y Augustus De Morgan fundaron el moderno tema de la
lógica simbólica.
• La lógica simbólica es la base teórica para muchas áreas de la ciencia
computacional,
• Diseño de circuitos lógicos digitales,
• La teoría de base de datos relacionales,
• la teoría de autómatas y la computabilidad
• La inteligencia artificial
1. Forma lógica y equivalencia lógica

• El concepto central de la lógica deductiva es el concepto de forma de

argumento.
• Un argumento es una secuencia de enunciados destinados a demostrar la
verdad de una frase.
• La frase al final de la secuencia se llama la conclusión y los enunciados
anteriores se llaman premisas.
• En lógica, la forma de un argumento se distingue de su contenido.
• El análisis lógico le ayudará a analizar la forma de un argumento para
determinar si la verdad de la conclusión se desprende necesariamente de la
verdad de las premisas
• El análisis lógico se define como la ciencia de la inferencia necesaria o
la ciencia del razonamiento
• NO le ayudará a determinar el valor intrínseco del contenido de un
argumento.
1. Forma lógica y equivalencia lógica

Ejemplos

Si la campana suena o la bandera a cuadros flamea, entonces la carrera se

termina

∴ Si la carrera no se termina, entonces la campana no suena y la bandera a

cuadros no flamea.

Si =2o = −2, entonces =4

∴ Si ≠ 4, entonces ≠2 ≠-2

Por tanto, si no r,
Si p o q, entonces r.
entonces no p y no q.
1. Forma lógica y equivalencia lógica

Complete los espacios en blanco para que el argumento b) tenga que la misma
forma que el argumento a). Después represente la forma más común de los
argumentos usando letras para presentar los enunciados compuestos.

a.Si Jane es una estudiante de la carrera de matemáticas o Jane es una estudiante

de la carrera de ciencia computacional, entonces, Jane tendrá 150 en
matemáticas.
Jane es una estudiante de ciencia computacional.
Por tanto, Jane tendrá 150 en matemáticas.

b.Si la lógica es fácil o , entonces .

Voy a estudiar mucho.
Por tanto, voy a obtener una A en este curso.
1 . Forma lógica y equivalencia lógica

● Definición Enunciado
Un enunciado (o proposición) es una frase que es verdadera
o falsa, pero no ambas

• Dos más dos son cuatro

• Dos más dos son cinco

• Él es un estudiante universitario
• x+y>5
1 . Forma lógica y equivalencia lógica

~ negado ∨ disyunción (o) ∧ conjunción (y)

1 2 2

~ ∨ = ~ ∨ paréntesis no necesario

∨ ∧ ambiguo paréntesis necesario porque

∨ ∧ ≠( ∨ )∧

pero significa p ∧ ni ni significa ~p ∧ ~

a≤ a≤ ≤b
a< = a≤ x≤
1 . Forma lógica y equivalencia lógica

● Definición Negación

Si p es un enunciado variable, la negación de p es “no p” o “No

es el caso que p” y se denota ~p. Tiene valores de verdad
opuestos a p: si p es verdadera, ~p es falsa, si p es falsa, ~p es
verdadera.

p ~p
V F
F V
1 . Forma lógica y equivalencia lógica

● Definición Conjunción (Y)

Si p y q son enunciados variables, la conjunción de p y q que

es “p y q” se denota por p ∧ q. Es verdadera cuando y sólo
cuando, tanto p como q son verdaderos. Si ya sea p o q es
falso, o si ambas son falsos, entonces p∧q es falso.

p q p∧q
V V V
V F F
F V F
F F F
1 . Forma lógica y equivalencia lógica

● Definición Disyunción

Si p y q son enunciados variables, la disyunción de p y q es

“p o q”, que se denota por p ∨ q. Es verdadera cuando ya sea
que p sea verdad, o que q sea verdad, o que ambas p y q sean
verdaderas; es falsa sólo cuando p y q son falsas.

p q p ∨q
V V V
V F V
F V V
F F F
1 . Forma lógica y equivalencia lógica

● Definición Forma proposicional

Una forma de enunciado (o forma proposicional) es una expresión
formada por enunciados variables (tales como p, q y r) y conectores
lógicos (por ejemplo, ~, ∨ y ∧) que se convierten en un enunciado
cuando los enunciados reales sustituyen a los enunciados variables que
lo componen. La tabla de verdad para un enunciado dado presenta
los valores de verdad que corresponden a todas las posibles
combinaciones de los valores de verdad de sus enunciados variables
que lo componen.
1 . Forma lógica y equivalencia lógica

O-exclusivo (XOR)
Construya la tabla de verdad para la forma de enunciado xor
que significa
“p o q pero no ambos”
“p o q y no ambos p y q”, que se traduce en símbolos como
(p∨q) ∧ ~(p ∧ q). Esto a veces se abrevia como p q o p XOR
q.
1 . Forma lógica y equivalencia lógica

O-exclusivo (XOR)
Construya la tabla de verdad para la forma de enunciado xor
que significa
“p o q pero no ambos”
∨ ∧~( ∧ )

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
1 . Forma lógica y equivalencia lógica

∧ ∨~
1 . Forma lógica y equivalencia lógica

∧ ∨~

p q r p∧q ~r (p∧ q)∨ ~r

V V V V F V
V V F V V V
V F V F F F
V F F F V V
F V V F F F
F V F F V V
F F V F F F
F F F F V V
1 . Forma lógica y equivalencia lógica

● Definición Equivalencia Lógica

Dos formas de enunciado se llaman lógicamente equivalentes si y sólo

si, tienen los mismos valores de verdad para cada posible sustitución
de enunciados por sus enunciados de variables. La equivalencia lógica
de las formas de enunciado P y Q se denota escribiendo P ≡ Q.
Dos enunciados se llaman lógicamente equivalentes si y sólo si,
tienen formas lógicamente equivalentes cuando componentes idénticos
de enunciados variables se utilizan para reemplazar los enunciados
compuestos idénticos.

1) Los perros ladran y los gatos p q p ∨q q ∧p

maúllan y V V V V
V F F F
2) Los gatos maúllan y los perros
F V F F
ladran F F F F
1 . Forma lógica y equivalencia lógica

Prueba de si dos formas de enunciado P y Q son lógicamente

equivalentes
1.Se construye una tabla de verdad con una columna para los
valores de verdad de P y otra columna para los valores de verdad
de Q.
2.Compruebe cada combinación de valores de verdad de enunciado
de variables para ver si el valor de verdad de P es igual que el
valor de verdad de Q.
a.Si en cada renglón el valor de verdad de P es el igual al valor de
verdad de Q, entonces P y Q son lógicamente equivalentes.
b.Si en algún renglón P tiene un valor de verdad diferente de Q,
entonces P y Q
no son lógicamente equivalentes.
1 . Forma lógica y equivalencia lógica

p ~p ~(~ p)
≡~(~ p)?

~(p ∧ q) ≡ ~p ∧ ~ ?

p q ~ p ~q p ∧ q ~(p ∧ q) ~ p∧ ~q
V V
V F
F V
F F
1 . Forma lógica y equivalencia lógica

p ~p ~(~ p)
≡~(~ p)?
V F V
F V F

~(p ∧ q) ≡ ~p ∧ ~ ?

p q ~ p ~q p ∧ q ~(p ∧ q) ~ p∧ ~q
V V F F V F F
V F F V F V F
F V V F F V F
F F V V F V T
1 . Forma lógica y equivalencia lógica

~(p ∧ q) ≡ ~p ∨ ~ ?
p q ~p ~q p∧q ~(p ∧ q) ~ p∨ ~q
V V F F V
V F F V F
F V V F F
F F V V F

Leyes de De Morgan
La negación de un enunciado y es lógicamente equivalente al
enunciado o en el que cada componente es negado. ∧ ≡ ~ ∨ ~
La negación de un enunciado o es lógicamente equivalente al
enunciado y en el que cada componente es negado. ∨ ≡ ~ ∧ ~
1 . Forma lógica y equivalencia lógica

Utilice las leyes de De Morgan para escribir la negación de:

1) −2 ≤ < 4
Recuerde
∧ ≡~ ∨~
∨ ≡~ ∧~

2) Juan es alto y delgado.

Recuerde
Cuidado con el sujeto tácito .
Todo enunciado debe tener sujeto verbo y predicado y ser verdadero o falso
1 . Forma lógica y equivalencia lógica
● Definición Equivalencia Lógica

Una tautología (t) es una forma de enunciado que siempre es verdadera,

independientemente de los valores de verdad de los enunciados
individuales sustituidos por sus enunciados variables. Un enunciado
cuya forma es una tautología es un enunciado tautológico.
Una contradicción (c) es una forma de enunciado que siempre es falso,
independien- temente de los valores de verdad de los enunciados
individuales de los enunciados variables sustituidos. Un enunciado cuya
forma es una contradicción es un enunciado contradictorio.

p t p ∨t p c p ∧c
V V V V F F
F V F F F F
1 . Forma lógica y equivalencia lógica
Teorema Equivalencias lógicas
En cualquier enunciado variable dado p, q y r, con una tautología t y una contradicción c, son válidas
las siguientes equivalencias lógicas.
1 . Forma lógica y equivalencia lógica

∼(∼p ∧ q) ∧ ( p ∨ q) ≡ p

∼(∼p ∧ q) ∧ ( p ∨ q)
≡ (∼(∼p) ∨ ∼q) ∧ ( p ∨ q) por las leyes de De Morgan
≡ ( p ∨ ∼q) ∧ ( p ∨ q) por la ley de doble negación
≡ p ∨ (∼q ∧ q)
por la ley distributiva
≡ p ∨ (q ∧ ∼q)
≡p∨c por la ley conmutativa para ^
≡p por la ley de negación por la ley de identida
1 . Forma lógica y equivalencia lógica

a. Si todos los programas de

computadora contienen errores,
entonces este programa contiene un
error.
Este programa no contiene un error.
Por tanto, no es el caso de que todos
los programas de computadora
tengan errores.

b.Si , entonces .
2 no es impar.
Por tanto, no es el caso de que
todos los números primos sean
impares.
1 . Forma lógica y equivalencia lógica

( p ∧ q) ∨ (∼p ∨ ( p ∧ ∼q))
1 . Forma lógica y equivalencia lógica

( p ∧ q) ∨ (∼p ∨ ( p ∧ ∼q))