Capítulo 2 Parte 1

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.
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.
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
~ 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≤
● 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
● 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
● 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
● 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.
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.
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
∧ ∨~
∧ ∨~
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
● 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
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.
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
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
~(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. ∨ ≡ ~ ∧ ~
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
● 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,
independientemente 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
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.
∼(∼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
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.
( p ∧ q) ∨ (∼p ∨ ( p ∧ ∼q))
( p ∧ q) ∨ (∼p ∨ ( p ∧ ∼q))

Capítulo 2 Parte 1

Cargado por

Copyright:

Formatos disponibles

Capítulo 2 Parte 1

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Capítulo 2 Parte 1

Cargado por

Copyright:

Formatos disponibles

CAPÍTULO 2 LA LÓGICA DE LOS ENUNCIADOS

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

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

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

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

Si =2o = −2, entonces =4

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

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

• Dos más dos son cuatro

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

∨ ∧ ambiguo paréntesis necesario porque

pero significa p ∧ ni ni significa ~p ∧ ~

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

● Definición Conjunción (Y)

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

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

● Definición Forma proposicional

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

● Definición Equivalencia Lógica

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

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

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

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

2) Juan es alto y delgado.

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

a. Si todos los programas de

También podría gustarte