Introducción A La Logica (Revision

UNIVERSIDAD DE SAN BUENAVENTURA - CALI
PROGRAMA DE INGENIERIA DE SISTEMAS

LÓGICA
TEMA: INTRODUCCIÓN A LA LÓGICA
Profesor: Walter G. Magaña S.

CAPÍTULO
CAPÍTULO 1

INTRODUCCIÓN A LA LÓGICA
LÓGICA

Objetivos:

1. Utilizar y manejar las leyes y la simbología de los operadores de la
lógica matemática en la simbolización de argumentos y enunciados.

2. Determinar el valor de verdad de una fórmula y/o estructura aplicando
las reglas del cálculo de la lógica proposicional.

La lógica es un área del conocimiento matemático importante en la
construcción de estructuras mentales, conducentes a la adquisición de un
pensamiento lógico-formal, el cual es la base para entender y realizar los
procesos algorítmicos en cualquier lenguaje de programación.

En la siguiente unidad se construirán los fundamentos de la lógica a
partir del lenguaje, hasta culminar con la determinación del valor de verdad
de fórmulas y estructuras más elaboradas del cálculo proposicional.

1.1. PROPOSICIONES

El hombre ha hecho uso del lenguaje para comunicarse entre sí; usa
conjuntos de palabras del idioma que organizadas “coherentemente” en un
contexto determinado transmiten una idea. Sin embargo, en el lenguaje
común una misma agrupación de palabras puede tener diversas
interpretaciones. Por ejemplo, de la forma o sentido como se expresen:
!Cómo amaneció!, o bien ¿Cómo amaneció?.

También de significado, que depende de la situación, por ejemplo:
¡Haga el ejercicio!, puede significar: que realice un ejercicio indicado, que
termine un ejercicio o que siga las instrucciones de un ejercicio físico
indicado. Sin embargo en la Lógica simbólica un enunciado del lenguaje
tiene un significado bien preciso y se llama proposición.

DEFINICIÓN. Proposición.
Una proposición es un enunciado al que se le puede asignar un valor
de verdad que puede ser verdadero o falso, pero no ambos.

Ejemplo: Los siguientes enunciados son proposiciones:
1. 22 + 45 = 67
2. La naranja es un cítrico.
3. Java es un lenguaje de máquina.
4. El trapecio es un paralelogramo.
5. Gabriel García Márquez es un escritor.

Estas son proposiciones porque enuncian o dicen algo que puede ser
verdadero (V) o falso (F). Así en el ejemplo se tiene que las proposiciones 1,
2 y 5 son verdaderas, mientras que las proposiciones 3 y 4 son falsas.

El valor de verdad de una proposición es verdadero, y se denota por
V, si la proposición es verdadera, o falso, y se denota por F, si la proposición
es falsa.

Las preguntas, los ruegos, los mandatos, las exclamaciones o las
conjeturas, aunque son enunciados, no son en sí ni verdaderas ni falsas. Se
2
Walter G. Magaña S.

considera que las oraciones declarativas o e nunciativas son las entidades

gramaticales a las cuales se les puede asignar cualquiera de los dos valores
de estado: verdadero o falso; es decir sólo afirman o niegan algo.

Ejemplo: Los siguientes enunciados no son proposiciones, porque no es
posible asignarles un valor de verdad, esto es, verdadero o falso:
1. ¿Cuál es su nombre?
2. ¡Buen día!
3. No todo lo que brilla es oro.
4. Un cuadrado es mayor que un círculo.
5.
6. Mañana lloverá.

No obstante, el enunciado “a + 3 = b ” no es una proposición, ya que no
es ni verdadera ni falsa; ésta depende de los valores las variables a y b .

En la lógica proposicional se identifican dos tipos de proposiciones:
tómicas y las compuestas o moleculares. Las proposiciones
las simples o a
simples o atómicas son oraciones declarativas, las cuales en general
contienen un sujeto perfectamente definido dado por el contexto, un
predicado y una inflexión del verbo ser; es decir se le adjudica cierta
cualidad al sujeto. Por lo tanto, no se componen de más proposiciones
simples y carecen de e nlaces o c onectivos.

Ejemplo: Son ejemplos de proposiciones simples o atómicas las siguientes:
1. La física es una ciencia experimental. (V)
2. El conjunto de divisores enteros de 5 es {1, – 1, 5, –5}. (V)
3. Todos los rectángulos son cuadrados. (F)

Las proposiciones simples se representan usualmente con las letras
minúsculas p, q, r, s, t,. . ., que se denominan v ariables proposicionales.
Aunque algunos matemáticos prefieren usar letras mayúsculas para
representar las proposiciones. En lo sucesivo en este documento se
utilizarán letras minúsculas para denotar las proposiciones simples.
3


Se pueden combinar y enlazar dos o más proposiciones simples
usando ciertos conectores bien definidos, tales como “y”, “o”, “si. . .
entonces. . .”, “a menos que”, “pero”, “ni. . . ni...”, “. . . si y sólo si. . .” entre
otros; que actúan como operadores llamados enlaces o c onectivos lógicos,
considerados operadores binarios, porque involucran al menos dos
proposiciones. También se emplea “no” que aunque no opera de manera
estricta sobre dos proposiciones, si actúa sobre una sola; por tal rezón se le
considera un operador unario.

Las proposiciones compuestas o moleculares se forman por la
combinación de proposiciones simples con los operadores o conectivos
lógicos.

Ejemplo ilustrativo: Son ejemplos de proposiciones compuestas o
moleculares las siguientes:
1. El Sol es una estrella s i y solo si tiene luz propia.
2. El 2 es un entero par y es primo.
3. N o es cierto que el cero no es múltiplo de todo entero.
4. 12 es múltiplo de – 2 o es un entero compuesto.

El valor de verdad de una proposición compuesta es verdadero (V) o
falso (F) y depende solamente de los valores de verdad de sus proposiciones
simples o atómicas componentes. Se determina empleando la regla de
conexión de dichas partes por medio de los enlaces o conectivos lógicos
(operadores) que a continuación se definirán.

EJERCICIOS 1.1

1. De acuerdo con la definición, determinar cuáles de las siguientes
expresiones son proposiciones:
A. ¡Qué hermoso es el mundo!
B. Juan debe estudiar a menos que quiera perder el semestre.
C. La división entre cero no está definida.
4

D. ¿Está difícil el examen?

E. Si este año es bisiesto, entonces febrero tiene 29 días.
F. Haz el bien y no mires a quien.
G. Todos los primos son impares.
H. Para vivir mejor, hay que ser mejor.
I. La lógica no es tan difícil como yo lo había esperado.
J. Estudias y ganas el semestre.

2. Determinar cuáles de las siguientes expresiones son proposiciones, y en
tal caso, dé su valor de verdad:
A. Algunos mamíferos vuelan.
B. Todos los cuadriláteros son rectángulos.
C. No usarás una computadora para robar.
D. 0 es múltiplo de cualquier número entero.
E. 10 531 es un número primo.
F. , para todo x Z+ .

G. , para todo a, b R.
H. Todos los números racionales son reales.
I. N
, para algún x .
J. Él es el profesor de lógica.

1.2. OPERADORES LÓGICOS

A continuación se definen los operadores básicos que permiten
enlazar o conectar dos o más proposiciones simples. Se da paso al estudio
de las proposiciones compuestas o moleculares.

1.2.1 LA CONJUNCIÓN

5

DEFINICIÓN. La Conjunción.
Sean p y q dos variables proposicionales, entonces la proposición
compuesta “p y q ” , que se simboliza como p q , se denomina la
conjunción de p y q o proposición conjuntiva de p y q
. La
conjunción de p y q sólo es verdadera si p y q son ambas
verdaderas, en cualquier otro caso es falsa.

Ejemplo ilustrativo: Se consideran los siguientes casos:
1. Sean las proposiciones p : Los peces nadan. (V) y q
: Los peces respiran
por branquias. (V)
p q : Los peces nadan y respiran por branquias. (V)
2. Sean las proposiciones p : La naranja es un cítrico. (V) y q: El banano es
una legumbre. (F)
p q : La naranja es un cítrico y el banano una legumbre. (F)
3. Sean las proposiciones p: es un entero. (F) y :
q es un
irracional. (V)
:
p q es un entero e irracional. (F)
: ¼ > ½. (F) y q:
4. Sean las proposiciones p (F)
: ¼ > ½ y
p q . (F)

Así que se define p q con la siguiente tabla de verdad:

p q p q
V V V
V F F
F V F
F F F

Algunas proposiciones equivalentes a la proposición conjuntiva p
q
son:
1. p y q 2. p pero q

3. p también q 4. p además q
5. p aunque q 6. p sin embargo q
6


1.2.2 LA DISYUNCIÓN
El conectivo lógico o tiene un significado ambiguo en el lenguaje
cotidiano, como puede verse en los siguientes dos ejemplos:

Ejemplo ilustrativo 1. Dadas las proposiciones: p : T
engo un billete de $10
000 en mi billetera y q : Tengo un billete de $ 20 000 en mi billetera.
Al enlazarlas con el operador o se tiene la proposición compuesta:
Tengo un billete de $10 000 o u
no de $20 000 e n mi billetera
En este caso, parece afirmarse que por lo menos una de las proposiciones es
verdadera, pero también ambas pueden ser verdaderas. Aquí se ilustra el
uso del conectivo o que se denomina o i ncluyente y se denota por .

Ejemplo ilustrativo 2. Dadas las proposiciones: p: Es de día y q: Es de
noche
Entonces en la proposición compuesta:
O es de día o es de noche
una y sólo una de las proposiciones componentes es verdadera, y no ambas.
En este caso, el uso del conectivo o se llama o excluyente y se denota por
.

En el lenguaje natural, la disyunción inclusiva se puede diferenciar de
la e
xclusiva o e
xcluyente, puesto que en la primera se encuentra una “o” en
medio de las dos proposiciones simples que la componen. Mientras que en
la segunda, se encuentra una “o” antes de la primera proposición y otra en
medio de las dos proposiciones simples que la componen.

1.2.2.1. Disyunción Incluyente

7

DEFINICIÓN. La Disyunción incluyente.

compuesta “p o q ”, que se simboliza como p q , se denomina la
disyunción de p y q o p roposición disyuntiva de p y q . En este caso,
el sentido que se emplea es el inclusivo; esto es, la disyunción es falsa
sólo si ambas proposiciones componentes son falsas. La o incluyente
usualmente se expresa en el lenguaje formal como y/o.

Ejemplo ilustrativo: Dadas las proposiciones: p : Juan es estudiante y q:
Juan tiene 15 años. Se hallará la proposición disyuntiva de p y q , y se
analizará las posibilidades de su veracidad:

p q: Juan es estudiante o tiene 15 años.
1. Si p es verdadera y q es verdadera, entonces la proposición compuesta
p q es verdadera.
2. Si p es verdadera y q es falsa, entonces la proposición compuesta p q
sigue siendo verdadera.
3. Si p es falsa y q es verdadera, entonces la proposición compuesta p q,
también es verdadera.
4. Si p es falsa y q es falsa, entonces la proposición compuesta p q , en
este caso, es falsa.

Así que se define p q con la siguiente tabla de verdad:

p q p q
V V V
V F V
F V V
F F F

1.2.2.2. Disyunción Excluyente

DEFINICIÓN. La Disyunción Excluyente.
8

Dadas las variables proposicionales p y q, la proposición disyuntiva

excluyente de p y q, que se simboliza como p q sólo es verdadera si, y
solo si lo es cualquiera de las dos proposiciones componentes pero no
ambas.

La tabla de verdad de la o excluyente es la siguiente:

p q p q

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

Ejemplo ilustrativo: Se consideran las proposiciones p: Juan está en Bogotá
y q: Juan está en Cali.

Se procede a hallar la proposición disyuntiva excluyente de p y q , y
se analizará las posibilidades de su veracidad:
: O Juan está en Bogotá o en Cali.
p q
La proposición anterior también se puede expresar como:
: Juan está en Bogotá o
p q en Cali, p
ero no en ambas ciudades.

Es evidente que las dos proposiciones no pueden ser verdaderas
simultáneamente, es decir, la veracidad de una de ellas excluye la otra, por
lo tanto, si p y q son verdaderas, la proposición compuesta p q es falsa.
Análogamente si las dos proposiciones p y q son falsas, la proposición
compuesta p q es falsa. Sólo es verdadera en el caso de que una de ellas lo
sea.

1.2.3 LA NEGACIÓN

DEFINICIÓN. La Negación.
9

Si p
representa una variable proposicional, la proposición compuesta
no p, que se simboliza p ó p , se llama p roposición negativa o
negación de p.

Dada una proposición simple p, la proposición n egación de p toma
el valor de verdad opuesto de la proposición simple u original; esto es: si p
es verdadera, p es falsa, y si p es falsa, p es verdadera. La tabla de
verdad es la siguiente:
p p

V F
F V

Ejemplo ilustrativo: Dada la proposición p: Pedro está en la clase de
matemáticas.
Entonces la negación de p se puede hacer de las siguientes maneras:
: Pedro no está en la clase de matemáticas
p
p : E s falso que Pedro está en la clase de matemáticas
p : N o es cierto que Pedro esté en la clase de matemáticas

Algunas proposiciones equivalentes a la negación de la proposición p
son:
1. No p .
2. Es falso que p.
3. No es cierto que p.
4. No es el caso que p.

EJERCICIOS 1.2.1

1. Considerar las proposiciones p : Betty es atractiva y q : Patricia es
atractiva. Suponiendo que feo y atractivo son opuestos; es decir, ser “no
atractiva” es equivalente a ser “fea”. Escribir cada una de las siguientes
proposiciones en la forma simbólica:
A. Tanto Betty como Patricia son feas.
B. No es verdad que tanto Betty como Patricia sean atractivas.
10

C. Betty es fea o Patricia es atractiva.

D. Betty es fea o Patricia es atractiva, pero no ambas.
E. No es cierto que Betty es fea o Patricia es atractiva.

2. Considerar las proposiciones p: Juan es buen estudiante y q : A Juan le
gusta jugar ajedrez. Escribir cada una de las siguientes proposiciones en el
lenguaje ordinario:
A. p q B. p q C. (p q )
D. p ( q ) E. ( p q ) F. (p q) [ (p q
)]

1.2.4 EL CONDICIONAL

DEFINICIÓN. El Condicional.
compuesta “si p entonces q” , que se simboliza como p q se denomina
proposición condicional; p se llama antecedente o h ipótesis, y q se
denomina c onsecuente, t esis o c onclusión.

Ejemplo ilustrativo: Juan le dice a su esposa: “si me gano la lotería,
entonces te compro un carro”; en este enunciado se tienen las
proposiciones simples: p : me gano la lotería y q: te compro un carro.

Si cumple su promesa se admitirá que la proposición es verdadera, si
la incumple se admitirá que es falsa. Por lo tanto, se tienen cuatro
posibilidades:
1. Juan se gana la lotería (V) y le compra el carro a su mujer (V); en este caso,
cumple su promesa, por tanto, la proposición es verdadera.
2. Juan se gana la lotería (V), pero no le compra el carro a su mujer (F); en
este caso, incumple su promesa; por ende, la proposición es falsa.
3. Juan no se gana la lotería (F), pero le compra el carro a su esposa (V);
cumpliendo su promesa, por lo tanto, la proposición es verdadera.
4. Juan no se gana la lotería (F), y no le compra el carro a su esposa (F); por
lo tanto, no rompe su promesa y la proposición es verdadera.

11

La proposición p q
es falsa sólo cuando p es verdadera y q es falsa.
La tabla de verdad que define el condicional es la siguiente:

p q p q

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

Las proposiciones condicionales son muy importantes en
matemáticas y geometría, y existen varias maneras de enunciar p q.
Algunas proposiciones equivalentes muy usuales son:
1. Si p , entonces q 2. p q
3. q si p 4. q sólo si p
5. Si p, q 6. Si p también q
7. p es suficiente para q 8. Una condición suficiente para
q es p
9. q es necesario para p 10. Una condición necesaria para
p es q
11. q con la condición de que p 12. q cuando p
13. q siempre que p 14. q cada vez que p
implica q
15. p 16. q se deduce de p

Ejemplo: Se consideran las proposiciones simples:
p: El astro es una estrella y q : El astro tiene luz propia
La proposición p q se representa con cualquiera de los siguientes
enunciados condicionales:

● Si el astro es una estrella, entonces tiene luz propia.
● El astro es una estrella, solo si tiene luz propia.
● El astro tiene luz propia, si es una estrella.
● Es necesario que el astro tenga luz propia para que sea una estrella.
● Es suficiente que el astro sea una estrella para que tenga luz propia.
● El astro tiene luz propia cuando sea una estrella.
● El astro es una estrella implica que tiene luz propia.
12

● El astro tiene luz propia se deduce de ser una estrella.

1.2.5 Proposiciones relacionadas con el condicional: Recíproca, Inversa y
Contrarrecíproca.

El condicional de dos proposiciones difiere de la conjunción y de la
disyunción de las dos en que este no tiene conmutatividad. Es decir, p q es
equivalente a q p y p q ; pero p q no es equivalente a q
equivalente a q p
p. Esta última proposición, q p, es llamada la recíproca o conversa de p q.
Muchas de las falacias más comunes del pensamiento surgen de una
confusión de una proposición condicional con su recíproca o conversa.

DEFINICIÓN. Recíproca, Inversa y Contrarrecíproca.
Dada la proposición condicional p q , se definen las siguientes
proposiciones:
i. La r ecíproca: q
p
ii. La i nversa: p q
iii. La c ontrarrecíproca (o contrapositiva): q p

Las tablas de verdad del condicional de las proposiciones p y q y los
otros tres condicionales definidos: recíproca, inversa (recíproca de la
contrarrecíroca o contrapositiva) y la contrarrecíproca (o contrapositiva) se
presentan en la siguiente tabla de verdad:

Recíproca Inversa o
Proposiciones Condicional del recíproca de la Contrarrecíproca
condicional contrarrecíproca
p q p q
q p q
p p
q
V V V V V V
V F F V V F
F V V F F V
F F V V V V
13


Ejemplo ilustrativo: Dadas las proposiciones p: Las plantas fabrican su
propio alimento y q : Las plantas generan oxígeno.

Entonces el condicional, su recíproca, su inversa y su
contrarrecíproca, son:
● Condicional, p q: Si las plantas fabrican su propio alimento, entonces
generan oxígeno.
● Recíproca, q p: Si las plantas generan oxígeno, entonces fabrican su
propio alimento.
● Inversa, p q: Si las plantas no fabrican su propio alimento, entonces
no generan oxígeno.
● Contrarrecíproca, q p : Si las plantas no generan oxígeno, entonces
no fabrican su propio alimento.

1.2.6. EL BICONDICIONAL

Una proposición p q y su recíproca q p
no tiene los mismos valores
de verdad. Sin embargo, suele suceder que se combinen en una sola
proposición: “p q y también q p ”. En este caso, se escribe “p s i y sólo si q”,
que se simboliza p q, y al conectivo se le llama bicondicional. Por lo tanto,
para determinar los valores de verdad de la proposición bicondicional, se
debe construir la tabla de verdad de la conjunción:
(p q ) (q p )

p q p q
q p (p q ) (q p
)
V V V V V
V F F V F
F V V F F
F F V V V

Finalmente, se puede establecer la siguiente definición:

14

DEFINICIÓN. El Bicondicional.

Sean p y q
dos variables proposicionales, entonces la proposición
compuesta “p si y sólo si q”, que se simboliza como p q , se llama e
l
bicondicional de p y q , y es usual abreviarlo “ssi”.

La tabla de verdad que define el bicondicional es la siguiente:

p q p q

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

Ejemplo ilustrativo: Al expresar los siguientes enunciados verdaderos:
p q : Si un polígono tiene cuatro lados, entonces es un cuadrilátero.
q p: Si un polígono es un cuadrilátero, entonces tiene cuatro lados.
En una sola proposición bicondicional (p q) se tiene:

Un polígono es un cuadrilátero s í y sólo si tiene cuatro lados.

Las proposiciones condicionales son muy importantes en
matemáticas y geometría; existen varias maneras de enunciar p q , las
cuales tienen el mismo significado:

1. p si y sólo si q
2. q si y sólo si p
3. Si p, entonces q , y recíprocamente
4. Si q, entonces p , y recíprocamente
5. p es una condición necesaria y suficiente para q
6. q es una condición necesaria y suficiente para p
7. p equivalente con q
8. q equivalente con p

15

Por lo general, en matemáticas y geometría toda definición es una
proposición de la forma “…si y solo si…” mediante la cual se trata de exponer
de manera unívoca y con precisión la comprensión de un concepto o
término o dicción o –si consta de dos o más palabras– de una expresión o
locución. Se alude a determinar, por escrito u oralmente, de modo claro y
exacto, las cualidades esenciales del tema implicado. (Tomado de
Wikipedia.org).

Ejemplo ilustrativo: Algunos ejemplos de definiciones muy importantes en
este curso son:
● Un entero positivo es p rimo si y sólo si tiene exactamente dos
divisores positivos: 1 y el mismo entero
● Sean a , b ∈
Z con a ≠ 0, a d ivide a b si y sólo si existe número entero c
tal que tal que b = ac.

En esta la última definición se puede establecer que “si a d ivide a b”,
también se dice que “a es un factor de b” o que “a es divisor de b” , o bien que
“b es un múltiplo de a ” o “b es d
ivisible por a ”.

La definición de un concepto en términos de condición suficiente y
necesaria establece condiciones de inclusión y exclusión en el conjunto de
los elementos caracterizados por el concepto. Así en la segunda definición
de divisibilidad en el conjunto de los enteros si a = 3 y b = 12 se tiene que 3
divide a 12 porque existe el entero 4 tal que tal que 12 = 3 4. También se
puede decir que 3 es un f actor de 12 o que 3 es divisor de 12, o bien que 12 es
un m últiplo de 3 o 12 es divisible por 3. Si b = 12 se tiene que a puede tomar
del conjunto de los números enteros (Z) exactamente los valores 1, –1, 2, – 2,
3, – 3, 4, –4, 6, –6, 12, –12, que corresponden a los divisores de 12. Así, a = 5
no es un divisor de 12, porque no existe un entero c tal que 12 = 5c.

El bicondicional es el último de los cinco conectivos que se usarán en
esta unidad. La siguiente tabla muestra un resumen de todos los conectivos
lógicos básicos definidos:

Conectivo Símbolo Definición Escritura
16

Conjunción “y” p q

Disyunción
“o” p q
(Inclusiva)
Negación “No”. “Es falso que …” p

Condicional “Si ... entonces ...” p q
Bicondicional “... si y solo si ...” p q

EJERCICIOS 1.2.2

1. Expresar las siguientes proposiciones a la proposición equivalente
“si...entonces...”. Determinar exactamente el antecedente y el consecuente.
A. Ganaré el semestre si estudio.
B. Para que un polígono sea rectángulo, es necesario que sea cuadrilátero.
C. f( x) – L < siempre que x –a
<
D. Todos lo números primos mayores que 2 son impares.
E. Una condición necesaria para el paralelismo es que las rectas no se
corten.
F. El juez dicta sentencia sólo si conoce todos los hechos.
G. Algunos dispositivos de almacenamiento son magnéticos cuando se
quieren almacenar datos en un PC.
H. Si es un componente físico de un computador, es un componente del
hardware.
I. Cuando se enciende un computador, este busca un sistema operativo para
iniciar.
J. Cada caracter consiste en un byte de datos, cuando es un caracter ASCCII.

2. Considerar las proposiciones p: Te gustan los sistemas de información y
q: Te gusta navegar en Internet. Escribir cada una de las siguientes
proposiciones en el lenguaje ordinario:
A. p q B. p q C. ( q) ( p)
D. [(p q ) ( q)] ( p
) E. ( p q
)

17

3. Escribir el condicional, la recíproca, la inversa y la contrarrecíproca de
cada una de las siguientes proposiciones:
A. Es el dispositivo de salida más importante de un PC, si es el monitor.
B. q siempre que p .
C. ( p) ( q ).
D. x = 1 siempre que x2 = 1.
E. Hacer las tareas regularmente es una condición necesaria para que yo
pueda aprobar el semestre.
F. Todos los cuadrados son rectángulos.

4. Si p es V y q es F, determinar el valor de verdad de las siguientes
proposiciones:
A. ( p q ) B. ( p q) ( q )
C. ( p) [ (p q)] D. ( p q ) [( p ) ( q )]

5. Si p es F, q es F y r es V determinar el valor de verdad de las siguientes
proposiciones:
A. [(p q) ( r )] r B. {p [( q ) ( p ) ]} ( r)
C. [(p q ) ( r) ] ( p
) D. ( p q) [( p ) ( q)]

1.3. FUNCIONES PROPOSICIONALES Y CUANTIFICADORES

1.3.1. PROPOSICIONES ABIERTAS Y FUNCIONES PROPOSICIONALES.

Considere el enunciado “Esta ciudad es la capital de Colombia”, ¿es
verdadero o falso? En la forma como está expresado es evidente que no se
puede afirmar nada acerca de su veracidad. El enunciado es una
proposición verdadera si el nombre de la ciudad es “Bogotá” y sustituye al
sujeto “Esta ciudad”. Si el sujeto se sustituye por el nombre de otra ciudad o
cualquier otra palabra diferente a “Bogotá”, el enunciado es, evidentemente,
una proposición falsa. El conjunto de nombres, por ejemplo de capitales,
cuyos elementos son aquellos que se pueden reemplazar en el sujeto “Esta
ciudad” se denomina conjunto universo, o c onjunto de reemplazamiento,
también, d ominio de la variable, observando que cualquier otra palabra
18

diferente a “Bogotá” que se sustituya hace falsa la proposición. Una
proposición con estas características, se conoce como proposición abierta.

El subconjunto de elementos del conjunto de reemplazamiento o
universo que hacen verdadera la proposición, se denomina conjunto de
verdad o conjunto solución de la proposición abierta. Para el ejemplo arriba
mencionado es el conjunto unitario {Bogotá}.

Ejemplo ilustrativo: Sea la proposición “x es un par menor que 10”, con x N.
El conjunto universo o d
ominio de la variable es el conjunto de los
números naturales, N = 1, 2, 3, 4, 5,…. Al sustituir los elementos que hacen
verdadera la proposición se tiene:
“2 es un par menor que 10” (V) “4 es un par menor que 10” (V)
“6 es un par menor que 10” (V) “8 es un par menor que 10” (V)
El conjunto {2, 4, 6, 8} es el c onjunto de verdad de la proposición.

Una f unción proposicional de una variable es un enunciado que
representa una proposición abierta de una variable. Se representan por
P(x) , Q
(x
), R(x
), etc.

Ejemplo ilustrativo: Se considera la proposición abierta o función
proposicional , donde x R.
( x) se halla mediante el
El conjunto de verdad de la función proposicional P
siguiente proceso algebraico:
Factorizando la ecuación , tenemos , por lo
tanto, x = – 4 o x = 1
Así el conjunto de verdad de la función proposicional p(x
) es:
P = {x / P( x) } = {x R / } = {– 4, 1}

Ahora se considera la función proposicional p(x): (x – 3)2 = x2 – 6x + 9,
onjunto de verdad de la función proposicional P( x) es
donde x R. El c
verdadero para cualquier valor de R que se reemplace en la proposición.
Algunos casos son:
19


p(0): (0 – 3)2 = (0)2 – 6(0) + 9 p(–2): (–2 – 3)2 = (–2)2 – 6(–2) + 9
(–3)2 = 0 – 0 + 9 (–5)2 = 4 – (–12) + 9
9 = 9 25 = 25

p(10): (10 – 3)2 = (10)2 – 6(10) + 9 p(¾): (¾ – 3)2 = (¾)2 – 6(¾) + 9
2
(7) = 100 – 60 + 9 (–9/4)2 = (9/16) – (18/4) + 9
49 = 49 81/16 = 81/16

p(0.5): (0.5 – 3)2 = (0.5)2 – 6(0.5) + 9 p(–0.2): (–0.2 – 3)2 = (–0.2)2 – 6(–0.2) + 9
2
(–2.5) = 0.25 – 3 + 9 (–3.2)2 = 0.04 + 1.2 + 9
6.25 = 6.25 10.2 = 10.24

Así el conjunto de verdad de la función proposicional P(x ) son todos los
reales:
P = {x / p( x) } = {x R / (x – 3)2 = x2 – 6x + 9} = R.

1.3.2. CUANTIFICADORES

Los cuantificadores permiten afirmaciones sobre colecciones enteras
de objetos en lugar de tener que enumerar los objetos por su nombre.

1.3.2.1. Cuantificador Universal.

En una gran mayoría de situaciones matemáticas es interesante
considerar la posibilidad de que el conjunto de verdad de una función
proposicional sea la totalidad de los elementos del conjunto universo,
llamado también c onjunto referencial (que se simboliza por U o R
respectivamente), este se simboliza como x que se lee: “para todo x”, “todo
x”, “para cada x” o “cada x” y se llama cuantificador universal. En este caso
la proposición se simboliza como (x U ) P
( x) , que se lee: “para todo x
elemento de U , se cumple P(x )”, y si el dominio de la variable está
sobreentendido, se escribe simplemente (x) P ( x) , que se puede leer como:
“para todo x P ( x) ”, “para cada x P ( x) ” o bien “para cualquier x P ( x) ”.

20

Ejemplo ilustrativo 1: Se considera el enunciado “todos los tigres son
mamíferos”. El enunciado establece que “si es tigre”, entonces “es
mamífero”. El enlace entre los dos predicados se puede establecer con el
cuantificador universal, una variable del conjunto universo, una
representación en variables de los dos predicados que intervienen en el
enunciado y el conectivo condicional (→). Sea U = Conjunto de los animales
salvajes; y sea x la variable que representa un elemento cualquiera del
dominio; entonces el enunciado se puede escribir como: “Si x es tigre,
entonces x es mamífero”. Luego como esta expresión es verdadera para todo
elemento del dominio se utiliza el cuantificador universal y se escribe: “Para
todo x , si x es tigre, entonces x es mamífero”. Si se simbolizan los predicados
como T(x) : x es tigre y M(x): x es mamífero y, además, se introducen el
símbolo del cuantificador universal y el del condicional, entonces la el
enunciado “todos los tigres son mamíferos” se representa con la fórmula x
(T(x) → M(x) ).

Ejemplo ilustrativo 2: En matemáticas se consideran proposiciones como:
A. P ( x) : x R, (x – 3)2 = x2 – 6x + 9, que en efecto, es una identidad verdadera
para todo número real x. Luego, la proposición es verdadera.
B. Q(x ) : x R, x ≤ 3, que no es verdadera para todo número real x . Por ejemplo
q(5): 5 ≤ 3 es falsa. Por lo tanto, la proposición es falsa.

1.3.2.2. Cuantificador Existencial.

En muchas otras situaciones matemáticas es importante considerar la
posibilidad de que el conjunto de verdad de una función proposicional
contenga al menos un elemento del universo U; es decir, el conjunto de
verdad no es el conjunto vacío. Esto se simboliza como x que se lee: “para
algún x”, “existe x” o “existe al menos un x tal que” y se llama cuantificador
existencial. La proposición se escribe como (x U) P(x ), o bien (x) P( x) si el
dominio de la variable está sobreentendido y que se lee como: “para algún x
P(x) ”, “existe x tal que P ( x) ” o “existe al menos un x tal que P(x )” o bien “hay
un x tal que P ( x) ”.

21

Ejemplo ilustrativo 1: Se considera el enunciado “existe al menos un tigre
que es devorador de hombres” significa que significa que un animal salvaje
tiene las propiedades de “ser tigre” y “ser devorador de hombre”. Si se
utiliza la variable x para denotar tal animal salvaje, entonces el enunciado se
puede escribir como “Existe al menos un x tal que x es tigre y x es devorador
de hombres”. Ahora si se simbolizan los dos predicados como T(x): x es tigre
y D(x) : x es devorador de hombres y se introducen los símbolos del
cuantificador existencial y de la conjunción, entonces el enunciado “existe al
menos un tigre que es devorador de hombres” queda representado por la
fórmula x (T(x) D(x) ).

Ejemplo ilustrativo 2: Ejemplos de este cuantificador en matemáticas se
tienen en las proposiciones:
A. P(x) : x R, x2 + 3x – 4 = 0, que es una ecuación y que sólo es verdadera para
los valores – 4 y 1; es decir estos son los dos únicos reales que satisfacen la
ecuación. Por lo tanto, la proposición es verdadera.
B. Q(x) : x R, x = x + 1, no existe un número real tal que sumado con 1 se
obtenga el mismo real. En consecuencia, la proposición es falsa.

Observe que mientras que el cuantificador universal utiliza la
implicación, el cuantificador existencial naturalmente utiliza la conjunción.

1.3.3. Valor de verdad de funciones proposicionales con cuantificadores.

Cuando una función proposicional se precede de un cuantificador,
ésta se convierte en una proposición simple, y por lo tanto, tiene un valor de
verdad determinado.

Una proposición que contiene un cuantificador universal es verdadera
si y solo si el conjunto universo de la variable es igual al conjunto de
verdad de la función proposicional. Por lo tanto, el cuantificador
universal x afirma que un enunciado es verdadero para todos los
valores de la variable x U.

22


Una proposición con un cuantificador existencial es verdadera si y sólo
si el universo de la variable no es vacío. Por lo tanto, el cuantificador
existencial, x, afirma que un enunciado es verdadero para al menos un
valor de la variable x U.

Ejemplo ilustrativo: A continuación se establece el valor de verdad de las
siguientes proposiciones que contienen un cuantificador:

(F)
A.
(V)
B.
(F)
C.
D. Todas las aves vuelan. (F)
E. (x R), x ≤ 3. (V)

1.3.4. Negación de funciones proposicionales con cuantificadores.

Para analizar la negación de funciones proposicionales que contienen
cuantificadores, es conveniente introducir el cuadro de oposición de la
Lógica Tradicional que presentaba cuatro tipos fundamentales de
enunciados que se conocen como p roposiciones categóricas. Desde tiempos
de Aristóteles, interesó examinar ciertas relaciones lógicas existentes entre
estos cuatro tipos de p roposiciones categóricas.

Definición. Una proposición categórica es una proposición que
relaciona dos clases, o categorías. Las dos clases, en cualquier proposición
categórica, se colocan en una relación de sujeto-predicado. Así, proposición
categórica es una proposición que afirma o niega que una clase o categoría
sujeto, S , está contenida, totalmente o en parte, en una clase predicado, P .

En primer lugar, veamos las cuatro formas de proposiciones
categóricas que se han empleado tradicionalmente y que son importantes en
la lógica matemática, a saber:
23


Todo S es P A Universal afirmativo x P( x)
Ningún S es P E Universal negativo x P( x)
Algún S es P I Particular afirmativo x P( x)
Algún S no es P O Particular negativo x P( x)

En las formas anteriores, S significa un sujeto del cual se afirma o
niega algo, y P es el predicado, esto es, lo que se dice del sujeto. Las dos
primeras proposiciones son universales, siendo la primera afirmativa y la
segunda negativa. Las dos últimas son particulares, siendo la primera
afirmativa y la segunda negativa. Las vocales A , E, I y O
provienen de los
verbos latinos A ffIr mo y nEg
O.

Ejemplo ilustrativo:
A. Todos los hombres son mortales A Universal afirmativo
B. Ningún hombre es mortal E Universal negativo
C. Algún hombre es mortal I Particular afirmativo
D. Algún hombre no es mortal O Particular negativo

Enseguida se muestra el cuadro de oposición que se elaboró desde
Aristóteles y la Lógica Tradicional en el que quedaron reflejadas las
relaciones entre estos cuatro modelos básicos de proposiciones categóricas:

La distinción entre proposiciones afirmativas y negativas se llama
distinción (u oposición) d e cualidad, en tanto que la distinción entre
universales y particulares se denomina d istinción (u oposición) de
cantidad. A
y E son contrarias, y las proposiciones contrarias se definen
24

como aquellos pares de proposiciones universales que difieren en cualidad.

I y O son subcontrarias, y se definen como aquellos pares de proposiciones
particulares que difieren en cualidad. A y E
son, respectivamente, las
contradictorias de O e I, difiriendo tanto en cantidad como en cualidad.

Se ha presentado este breve análisis con el fin de mostrar que en la
lógica matemática, la negación de cualquier forma de las cuatro
proposiciones clásicas es sencillamente su contradictoria. Se establece:

La negación de una función proposicional con un cuantificador
universal es equivalente a la negación de la misma función
proposicional, precedida por el cuantificador existencial, y viceversa.

Simbólicamente se puede escribir:

[(x U) P( x) ] ( x U) [ P( x) ]

Esta proposición se lee: “No es verdad que para todo x U, P(x) es
verdadero”, y es equivalente a “Existe un x U tal que P( x) es falso”.

En igual forma se escribe:

[( x U) P( x) ] (x U) [ P( x) ]

La anterior proposición se lee: “No es verdad que existe un x U, tal que
P( x) es verdadero”, y es equivalente a “Para todo x U, P(x) es falso”.

La siguiente tabla proporciona algunas de las negaciones comunes
con cuantificadores:

Proposición Negación
Todos... Algunos...no
Algunos... Ningún... (Todos...no)
25

Algunos...no Todos...
Ningún... Algunos...

Ejemplo ilustrativo 1: Escribir la negación de cada una de las siguientes
proposiciones:
A. Todos los números primos son impares. (F)
B. Algunos profesores son malos.
(F)
C. tal que
(V)
D. ,
Solución:
A. Algunos números primos no son impares. (V)
B. Todos los profesores no son malos.
(V)
C. , , o bien ,
(F)
D. tal que

Ejemplo ilustrativo 2: Determinar la negación de cada uno de los siguientes
enunciados en símbolos y en palabras:
A. Algunos estudiantes no prestan atención a la clase.
B. Hay estudiantes que prestan atención a la clase.
C. Ningún estudiante presta atención a la clase.
Solución:
Se considera la siguiente simbolización:
P(x) : x
presta atención a la clase.
A. Algunos estudiantes no prestan atención a la clase.
Simbolización: x ( P(x))
Negación: [x ( P(x))] x P(x)
Negación en palabras: Todos los estudiantes prestan atención a la clase.

B. Hay estudiantes que prestan atención a la clase.
Simbolización: x P(x)
Negación: [x P(x)] x [ P(x) ]
Negación en palabras: Todos los estudiantes no prestan atención a la clase.

26

C. Ningún estudiante presta atención a la clase.

Simbolización: x ( P(x))
Negación: [x ( P(x))] x P(x)
Negación en palabras: Algunos estudiantes prestan atención a la clase.

Una variable x que se introduce en una expresión lógica por un
cuantificador está unida al más cercano cuantificador envolvente. Una
variable se dice que es una variable libre si no está unido a un cuantificador.
Similarmente en un bloque de lenguaje de programación estructurado, una
variable en una expresión lógica se refiere al más cercano cuantificador
dentro de cuyo ámbito este parece.

Ejemplo 1: Escribir en símbolos el enunciado “Todo ser humano tiene una
madre”.
Solución: Se reescribe la proposición como: “Para todo ser humano, ese ser
humano tiene una madre”. Se introduce la variable x y se consideran las
proposiciones: H(x) : x es un ser humano y M(x) x tiene una madre, el
dominio de x consiste en el conjunto de todos los seres vivos. Entonces el
enunciado se lee como: “Para todo ser humano x, x tiene una madre”,
entonces se simboliza como: x(H(x) → M(x) ).

Ejemplo 2: Escribir en símbolos el enunciado “Cada estudiante del curso de
Lógica está estudiando Precálculo”.
Solución: Se reescribe la proposición como: “Para todo estudiante del curso
de Lógica, ese estudiante está estudiando Precálculo”. Se introduce la
variable x y se considera la proposición: P(x) : x está estudiando Precálculo.
Si el dominio de x consiste en el conjunto de los estudiantes del curso de
Lógica, entonces el enunciado se simboliza como x P(x) . Pero si el dominio
es el conjunto de los estudiantes de la universidad, es necesario introducir la
proposición L(x): x es un estudiante del curso de Lógica. De esta forma el
enunciado se expresa como:
“Para todo estudiante x , si x
es un estudiante del curso de Lógica, entonces x

está estudiando Precálculo”. Entonces el enunciado se simboliza como:
x(L(x) → P(x) ).

27

Ejemplo 3: Escribir en símbolos el enunciado “Algún estudiante del curso de
Lógica habla Inglés”.
Solución: Se reescribe la proposición como: “Existe algún estudiante del
curso de Lógica que habla Inglés”. Se introduce la variable x y se considera
la proposición: I(x) : x habla Inglés. Si el dominio de x consiste en el conjunto
de los estudiantes del curso de Lógica, entonces el enunciado se simboliza
como x I (x) . Pero si el dominio es el conjunto de los estudiantes de la
universidad, es necesario introducir la proposición L(x): x es un estudiante
del curso de Lógica. De esta forma el enunciado se expresa como:
“Existe algún estudiante x , tal que x es un estudiante del curso de Lógica y x
habla Inglés”. Entonces el enunciado se simboliza como: x (L(x) I(x) ).

Ejemplo 4: Escribir en palabras el enunciado que representa la fórmula: x
(Gato(x) x (Negro(x) )), donde el dominio consiste en el conjunto de todos los
animales.
Solución: Aquí, la variable x en Negro(x) está universalmente cuantificada,
mientras que toda la expresión está antecedida por el cuantificador
existencial. La expresión implica que “existen gatos y todos son de color
negro”.

EJERCICIOS 1.3

1. Escribir V (verdadero) o F (falso) para cada una de las siguientes
proposiciones; modifique cada proposición falsa para convertirla en
verdadera:
A. x R, | x | > 0
B. x R, .
C. x R, x2 ≥ 0
C. x R, (x – 5)2 = x2 – 10x + 25
D. No existe ningún número real x tal que | x + 7 | ≤ 0.
E. No existe ningún número real x tal que x2 < 0.

2. Escribir la negación de cada una de las siguientes proposiciones:
A. Todos los libros de matemáticas son difíciles de leer.
28

B. Algunos enteros son negativos.

C. Ningún entero par es divisible entre 5.
D. Algunos lenguajes de computación no son estructurados.
E. Algunos enteros no son impares.
F. Algunos rectángulos son cuadrados.
G. Algunos rectángulos no son cuadrados.
H. Ningún operador de la Lógica es unario.
I. Algunos sistemas no son abiertos.
J. Ningún programa de computación es peligroso.

3. Escribir en palabras cada una de las siguientes fórmulas; considerando
las siguientes proposiciones: P(x) : x es un perro, N(x) : x es negro y B(x) : x

es bravo, y el dominio es el conjunto de todos los animales.
A. x (P(x) N(x) ) B. x (P(x) ( N(x)))
C. x (P(x) x (B(x))) D. x (P(x) N(x))
E. x (P(x) N(x) (B(x))) F. x ((P(x) (N(x)) B(x) ))
G. x (P(x) (N(x) B(x))) H. x (P(x) (N(x) B(x) ))

4. Se consideran las siguientes proposiciones: C(x): x tiene un teléfono
celular; T(x) : x
tiene una tablet y P(x) : x
tiene un PC portátil. Escribir cada
uno de los siguientes enunciado en símbolos en términos de C(x), T(x) , P(x) ,
cuantificadores y conectivos lógicos. El dominio para los cuantificadores
consiste en el conjunto de los estudiantes del curso.
A. Un estudiante del curso tiene teléfono celular, una tablet y un PC
portátil.
B. Todos los estudiantes del curso tienen un teléfono celular, una tablet o
un PC portátil.
C. Algún estudiante del curso tiene un teléfono celular y una tablet pero
no un PC portátil.
D. Ningún estudiante del curso tiene un teléfono celular, una tablet y un
PC portátil.
E. Para cada uno de los tres dispositivos electrónicos: teléfono celular,
tablet y PC portátil, hay un estudiante del curso que posee uno de esos
dispositivos electrónicos.

29

1.4. CALCULO PROPOSICIONAL

1.4.1. FORMULAS.
Con estos cinco conectivos lógicos con los que se han trabajados
expresiones tales como p q , p q , p
q, p q y p; se construyen
proposiciones compuestas más complejas, haciendo combinaciones de las
anteriores. Entonces es necesario especificar la manera en que los símbolos
(variables proposicionales y conectores lógicos) pueden colocarse juntos.

DEFINICIÓN. Fórmula.
Fórmula es una expresión que contiene una secuencia finita o cadena
de variables proposicionales simples o atómicas (p, q, r, etc.) y
conectores lógicos (, , , , , etc.) que satisface las siguientes reglas:
(1) Cualquier variable proposicional es una fórmula.
(2) Si p es una fórmula, entonces p es una fórmula.
(3) Si p y q son fórmulas, entonces p q, p q , p q, p
q
y p
son
fórmulas.

El valor de verdad de una fórmula dependerá de los valores de verdad
de las variables proposicionales simples o atómicas que la componen. El
número de combinaciones que tengamos en una tabla de verdad dependerá
del número de variables proposicionales distintas que intervengan en la
fórmula, siendo igual a 2n, donde n es el número de variables
proposicionales diferentes que intervienen en ella.

Ejemplo ilustrativo: Construir la tabla de verdad para la fórmula
[(p q) ( p) ] q:
Solución:
En este caso, en la fórmula intervienen dos variables proposicionales
distintas, por lo tanto se tienen 22 = 4 combinaciones posibles.

p q p q p
q) ( p
(p ) [(p q) ( p )] q .
V V V F F V
V F V F F V
30

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

DEFINICIÓN. Fórmula tautológica.
Se dice que una fórmula es t autológica o t autología si y sólo si su valor
de verdad es v erdadero, independientemente de que los valores de
verdad de sus variables proposicionales componentes sean falsos o
verdaderos. Es decir, una t autología es una proposición compuesta que
siempre es verdadera.

En la Lógica, tenemos varias tautologías que son importantes. Entre
ellas, tenemos:
● La ley del medio excluido: p p
● La ley de no contradicción: (p p )
● La ley de la inferencia contrapositiva (o Modus Tollendo Tollens):
[(p q) ( q) ] p

Ejemplo ilustrativo: Mostrar, mediante una tabla de verdad, la veracidad de
ley de la inferencia contrapositiva (o Modus Tollendo Tollens):
[(p q) ( q) ] p

Solución:

p q p q q (p q) ( q ) p [(p q) ( q
) ] p

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

DEFINICIÓN. Fórmula contradictoria.
Se dice que una fórmula es c ontradictoria o una contradicción si y sólo
si su valor de verdad es falso, independientemente de que los valores
de verdad de sus variables proposicionales componentes sean falsos o
31

verdaderos. Es decir, una c ontradicción es una proposición compuesta

que siempre es falsa.

Ejemplo ilustrativo 1: Mostrar, mediante una tabla de verdad, la ley de
contradicción: p p .
Solución:

p p p p
V F F
F V F

Ejemplo ilustrativo 2: Probar que la expresión (p q ) ( p q
) es una
contradicción:
Solución:

A B
p q p q p p q ( p q
) A B
V V V F V F F
V F F F F V F
F V V V V F F
F F V V V F F

DEFINICIÓN. Fórmula sintética o contingencia.
Se dice que una fórmula es s intética o c ontingencia si y sólo si la
misma no es una tautología ni una contradicción.

Ejemplo ilustrativo: Mostrar que la fórmula no es tautología ni
contradicción:
p ( q r) (p q ) ( r)
Solución:
En este caso, en la fórmula intervienen 3 variables proposicionales
distintas, por lo tanto se tienen 23 = 8 combinaciones posibles.

A B
32

p q r q qr p ( q r) pq r (pq) ( r) A B

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

( q r ) (p q) ( r) representa una fórmula sintética o
La expresión p
contingencia.

33

1.4.2. REGLAS DEL CÁLCULO PROPOSICIONAL

DEFINICIÓN. Proposiciones Lógicamente Equivalentes.
Las proposiciones compuestas P y Q son lógicamente equivalentes si y
solo si siempre tienen el mismo valor de verdad; es decir, P Q es
siempre una tautología. Algunas veces se denota por P ≡ Q. En este
artículo se usa el símbolo para denotar que P y Q son lógicamente
equivalentes.

Se presenta a continuación una lista de importantes tautologías
seleccionadas por su utilidad. Estas tautologías pueden demostrarse con
tablas de verdad. En la lista V representa una tautología y F una
contradicción.

1. Leyes de identidad: a. (p F) p b. (p V) p
2. L eyes de dominación: a. (p V) V b. (p F) F
3. Leyes de Idempotencia: a. (p p ) p b. (p p
) p
4. Ley de la doble negación: ( p) p
5. L ey de contradicción: (p p) F
6. Ley de la no contradicción: (p p )
7. Ley de complemento (p p) V
8. L ey del tercio excluido: p p
a. (p q ) (q p)
9. Leyes conmutativas: b. (p q ) (q p )
c. (p q) (q p)
a. p (q r ) (p q ) r
10. L eyes asociativas: b. p (q r) (p q ) r
c. p (q r ) (p q ) r
a. p (q r) (p q) (p r)
b. p (q r ) (p q ) (p r )
11. Leyes distributivas:
c. p (q r) (p q) (p r )
d. p (q r ) (p q ) (p r)
a. (p q ) (q r) (p r)
12. L eyes transitivas:
b. (p q ) (q r ) (p r)
13. L eyes de Demorgan: a. (p q) ( p q)
34

b. (p q) ( p q )

a. (p q
) ( p q)
14. Leyes de implicación:
b. (p q) [ (p q) ]
(Equivalencias del condicional)
c. (p q) (p q )
15. L ey de la contrarrecíproca:
(p q
) ( q p)
(o de la contraposición)
16. Ley de reducción al absurdo: [(p q
) (r r)] (p q)
17. L ey del razonamiento directo:
[(p q) p] q

( M odus Ponendo Ponens)
18. Ley del razonamiento indirecto:
[(p q) q
] p

( M odus Tollendo Tollens)
19. L ey del silogismo disyuntivo:
[(p q) p
] q
(Modus Tollendo Ponens)
a. (p q ) p
20. L
eyes de simplificación:
b. (p q ) q
21. L ey de adjunción o adición: p (p q )
22. Ley de inferencia por casos: [(p q) (p r )] [p (q r)]
a. [(p q) (p r)] [p (q r)
23. Equivalencias del condicional: b. [(p q ) (p r) ] [p (q r )
c. [(p r) (q r )] [(p q) r ]
a. (p q ) (p q ) (q p)
b. (p q) ( p q)
24. Equivalencias del bicondicional:
c. (p q
) (p q ) ( p q)
d. (p q) (p q)

EJERCICIOS 1.4

1. Elaborar las tablas de verdad de cada una de las siguientes leyes del
cálculo proposicional:
A. Ley conmutativa 9. b B. Ley asociativa 10. c
C. Leyes distributivas 11. b y c D. Ley transitiva 12. a
E. Leyes de Demorgan 13. a y b F. Leyes de implicación 14. a y c
G. Ley de la contrarrecíproca 15. H. Ley de reducción al absurdo 16.
35

I. Ley del razonamiento directo (Modus Ponendo Ponens) 17.

J. Ley del razonamiento indirecto (Modus Tollendo Tollens) 18.
K. Ley del silogismo disyuntivo (Modus Tollendo Ponens) 19.
L. Ley de inferencia por casos 22.
M. Equivalencia del condicional 23. c.
N. Equivalencia del bicondicional 24. c y d.

2. Elaborar la tabla de verdad de cada una de las siguientes proposiciones:
A. ( p q) ( q
) B. [(p q) ( r) ] r
C. (p q ) [p ( q) ] D. [(p q ) ( r )] r
E. ( p q) [( p ) ( q)] F. [(p q
) ( r )] [(q p
) r ]

3. Construir una o más proposiciones compuestas que tengan cada una los
valores de las columnas (A), (B) y (C) de la siguiente tabla de verdad:

p q r (A) (B) (C)
V V V V F V
V V F F F V
V F V V F V
V F F F V F
F V V F F V
F V F F F V
F F V V F F
F F F F F V

4. Usando solamente (conjunción), (disyunción) y (negación) escribir
una proposición equivalente a cada una de las siguientes:
A. p q B. p q C. (p q)
D. (p (q) ) E. (p q )

5. Usando solamente (disyunción) y (negación) escribir una proposición
equivalente a p . Usar este resultado para probar que cualquier tabla de
q
verdad puede representarse por el significado de dos conectivos
(disyunción) y (negación).

36


BIBLIOGRAFÍA

● Rosen, Kenneth H. (2004). M atemáticas discretas y sus aplicaciones.
Quinta Edición. Madrid, España: Editorial Mc-Graw Hill Companies,
Inc.
● Bustamante, Alfonso. (2009). L ógica y argumentación: De los
argumentos inductivos a las álgebras de Boole. Primera Edición.
México: Pearson Educación de México, S.A de C.V.
● Escobar V., Gustavo. (1999). Lógica. Nociones y aplicaciones. Primera
edición. México, D.F.: Editorial Mc-Graw Hill Interamericana
Editores, S.A. de C.V.
● Kolman, Bernard; Busby, Robert C. y Ross, Sharon. (1997). Estructuras
de Matemáticas Discretas para la Computación. 3ª edición. Prentice
Hall Hispanoamericana, S.A.
● Tremblay, Jean-Paul y Manohar, Ram. (1996). M atemáticas Discretas.
Con aplicación a las ciencias de la computación. Primera edición en
español. México: CECSA.
● Barco G., Carlos; Barco G., Germán y Aristizabal B., William. (1998).
Matemática Digital. Bogotá: Editorial Mc. Graw-Hill.
● Lipschutz, Seymour. (1992). Matemáticas para computación. Editorial
Mc. Graw-Hill.
● ROSS, Kenneth A. y WRIGHT, Charles R.B. (1990). Matemáticas
Discretas. Segunda Edición. Prentice Hall Hispanoamericana, S.A.
● Bustamante, Alfonso. (1988). E lementos de Álgebra en Ciencias de la
Computación. Cali: Serie Textos Universitarios del ICESI. N6.

RECURSOS DE LA INTERNET

● KEMENY, John G.; J. SNELL, Laurie; THOMPSON, Gerald L. Finite
Mathematics. Versión 4.0A0, 5 de Octubre de 1998. Copyright (C)
1998. Derived from works Copyright (C) 1957, 1966, 1974. This work is
freely redistributable under the terms of the GNU General Public
37

License as published by the Free Software Foundation. Disponible en:

http://math.dartmouth.edu/%7Edoyle/docs/finite/fm2/scan/1.pdf

● BILANIUK, Stefan. A Problem Course in Mathematical Logic.
Version 1.6. Copyright c 1994-2003. Permission is granted to copy,
distribute and/or modify this document under the terms of the GNU
Free Documentation License, Version 1.2 or any later version
published by the Free Software Foundation; with no Invariant
Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of
the license is included in the section entitled \GNU Free
Documentation License". Disponible en
http://euclid.trentu.ca/math/sb/pcml/pcml-16.pdf

38

Introducción A La Logica (Revision

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Introducción A La Logica (Revision

Загружено:

Авторское право:

Доступные форматы

UNIVERSIDAD DE SAN BUENAVENTURA - CALI

PROGRAMA DE INGENIERIA DE SISTEMAS

considera que las oraciones declarativas o e nunciativas son las entidades

D. ¿Está difícil el examen?

F. , para todo x Z+ .

DEFINICIÓN. La Disyunción incluyente.

Dadas las variables proposicionales p y q, la proposición disyuntiva

C. Betty es fea o Patricia es atractiva.

DEFINICIÓN. El Bicondicional.

Conjunción “y” p q

como aquellos pares de proposiciones universales que difieren en cualidad.

C. Ningún estudiante presta atención a la clase.

B. Algunos enteros son negativos.

1.4. CALCULO PROPOSICIONAL

verdaderos. Es decir, una c ontradicción es una proposición compuesta

p q r q qr p ( q r) pq r (pq) ( r) A B

1.4.2. REGLAS DEL CÁLCULO PROPOSICIONAL

b. (p q) ( p q )

I. Ley del razonamiento directo (Modus Ponendo Ponens) 17.

License as published by the Free Software Foundation. Disponible en:

Вам также может понравиться

Introducción A La Logica (Revision

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Introducción A La Logica (Revision

Загружено:

Авторское право:

Доступные форматы

U​​NIVERSIDAD DE ​S​AN ​B​UENAVENTURA - CALI

PROGRAMA DE INGENIERIA DE SISTEMAS

considera que las oraciones ​declarativas o e ​ nunciativas son las entidades

D. ¿Está difícil el examen?

F. , para todo ​x​ ​Z+​​ .

DEFINICIÓN.​​ ​La Disyunción incluyente.

Dadas las variables proposicionales ​p y ​q​, la proposición disyuntiva

C. Betty es fea o Patricia es atractiva.

DEFINICIÓN.​​ ​El Bicondicional.

Conjunción “y” p​ ​q

como aquellos pares de proposiciones universales que difieren en cualidad.

C. Ningún estudiante presta atención a la clase.

B. Algunos enteros son negativos.

1.4. CALCULO PROPOSICIONAL

verdaderos. Es decir, una c ​ ontradicción es una proposición compuesta

p q r q qr p ​ ( q ​ ​ ​r)​ pq r (​​pq​)​ ( ​r​) A B

1.4.2. REGLAS DEL CÁLCULO PROPOSICIONAL

b.​​ (​p​ ​q)​ ( p ​ ​ q ​ ​)

I. Ley del razonamiento directo (Modus Ponendo Ponens) 17.

License as published by the Free Software Foundation. Disponible en:

Вам также может понравиться

UNIVERSIDAD DE SAN BUENAVENTURA - CALI

considera que las oraciones declarativas o e nunciativas son las entidades

F. , para todo x Z+ .

DEFINICIÓN. La Disyunción incluyente.

Dadas las variables proposicionales p y q, la proposición disyuntiva

DEFINICIÓN. El Bicondicional.

Conjunción “y” p q

verdaderos. Es decir, una c ontradicción es una proposición compuesta

p q r q qr p ( q r) pq r (pq) ( r) A B

b. (p q) ( p q )