Captulo

Logica Matematica
2.1. L
ogica Proposicional
Definici
on. Una proposicion es un juicio, afirmacion o enunciado del cual se puede decir
que es verdadero o falso, pero no ambas cosas simultaneamente. No es necesario saber
de antemano s es verdadero o falso, lo u
nico es que tenga uno solo de esos valores. Una
proposicion consta basicamente de tres partes:
Un sujeto: del cual se dice algo o que el hace algo.
Un verbo: que indica un estado o una accion que realiza el sujeto.
El complemento: que describe o aclara el estado o accion que realiza el sujeto.
Ejemplos. Los siguientes enunciados son ejemplos de proposiciones
p:
q:
r:
s:
t:

El jugador esta en la casilla [2, 2].

El archipielago de San Andres, Providencia y Santa Catalina pertenece a Colombia
El perro corre velozmente por la pradera jugando con la pelota azul y verde.
2 + 2 6= 4.
El universo tiene una longitud infinita.

Ejemplos. Los siguientes enunciados son ejemplos que no son proposiciones

Vamos ma
nana a cine?; Hacemos quiz?. (interrogaciones)
Ah, cuanta mentira hay en esos argumentos!; No te vayas!. (exclamaciones, deseos)
No te aprendas la tablas de memoria; No te metas con ese muchacho; Callate. (consejos, mandatos)
El lindo y hermoso perro de Mara Antonieta; El ronroneo de los gatos. (no son
afirmaciones que puedan valorarse)
5

CAPITULO 2. LOGICA
MATEMATICA

2.1.1. El lenguaje de la l
ogica proposicional
En la logica proposicional, el lexico esta definido por tres elementos: los smbolos o
letras proposicionales, los conectivos logicos y los parentesis.
Definici
on. El lexico de la logica proposicional se compone de tres tipos de lexemas:
smbolos y/o letras proposicionales: , >, p, q, r, s, t, p0 , p1 , . . .
conectivos l
ogicos: , , , ,
smbolos auxiliares: (, )
El smbolo proposicional (que se lee bottom) es usado para representar una proposicion generica que su significado es siempre falso 1 , mientras que > (que se lee top) es
usado para representar una proposicion generica que su significado es siempre verdadero 2 .
Las letras proposicionales p, q, r, s, t, p0 , p1 , . . . son usadas para representar proposiciones, por lo tanto el significado de una letra proposicional es el significado que tiene la
proposicion que dicha letra representa.
Los conectivos logicos son operadores logicos que permiten formar frases que se llaman
proposiciones compuestas o formulas logicas a partir de smbolos y/o letras proposicionales.
En la definicion mas com
un de la logica proposicional clasica, estos operadores son:
La negaci
on: es un operador unario prefijo que se representa mediante el smbolo (),
que se lee no.
La disyunci
on: es un operador binario infijo que se representa mediante el smbolo (),
que se lee o.
La conjunci
on: es un operador binario infijo que se representa mediante el smbolo (),
que se lee y.
El condicional: o implicacion es un operador binario infijo que se representa mediante el
smbolo (), que se lee entonces o implica. A el primer operando del operador
condicional se le suele llamar el antecedente de la implicacion y a el segundo operador
se le suele llamar el consecuente de la implicacion.
El bicondicional: o equivalencia o doble implicacion es un operador binario infijo que se
representa mediante el smbolo (), que se lee si y solo si.
El significado que cada uno de estos conectivos le da a las proposiciones compuestas que
se construyen con ellos se explicara mas adelante3 .
1

Que se representar
a abreviadamente por el smbolo F .
Que se representar
a abreviadamente por el smbolo V .
3
Existen diversas formas de definir la logica proposicional clasica dependiendo de los conectivos l
ogicos
usados (smbolo y definici
on sem
antica). La presentada aqu es la mas usual y se le dice clasica por la
definici
on sem
antica de los conectivos logicos.
2


2.1. LOGICA
PROPOSICIONAL

Los parentesis son usados para agrupar de manera apropiada las formulas o proposiciones compuestas de la logica proposicional.
En la logica proposicional la gramatica se describe en terminos de formulas bien formadas (fbf) de manera recursiva4 , es decir, suponiendo que los smbolos y letras proposicionales son fbfs y definiendo nuevas fbfs en terminos de fbfs ya construidas.
Definici
on. La gramatica de la logica proposicional se define recursivamente en terminos
de formulas bien formadas (fbf), as:
i) Si p es un smbolo o letra proposicional, entonces p es una fbf.
ii) Si f es fbf entonces (f ) es una fbf.
iii) Si f1 y f2 son fbfs entonces: (f1 f2 ), (f1 f2 ), (f1 f2 ) y (f1 f2 ) son fbfs.
En el lenguaje de la logica proposicional, a diferencia del espa
nol u otro lenguaje natural,
la semantica es facil de definir ya que los posibles sentidos que tiene una frase son solamente
dos (verdadero y falso) y las frases que se pueden construir se definen de manera recursiva
(formulas bien formadas).
Ejemplo. Las siguientes secuencias de smbolos son formulas bien formadas:




f1 : (p (q)) (r s)
f2 : (r q) (q s)
Ejemplo. Las siguientes secuencias de smbolos no son formulas bien formadas:


f1 : ( p)(r s)
f2 : ( p q) (q p )
Definici
on. La semantica de la logica proposicional se define de manera recursiva sobre
las formulas bien formadas as ((f ) se usa para representar el significado de la formula
bien formada f ):
i) Si f es un fbf definida solamente por un smbolo o letra proposicional, el significado
de la formula f es el mismo significado del smbolo o letra proposicional.
(>)
V

()
F

(p)
significado de la proposicion p

ii) Si f es una fbf, entonces:

(f )
V
F

(f )
F
V

iii) Si f1 y f2 son fbfs, entonces:

4

En una definici
on recursiva se definen casos particulares o base y los demas se definen como construcciones sobre estos casos base y sobre estas construcciones.

CAPITULO 2. LOGICA
MATEMATICA

(f1 ) (f2 ) (f1 f2 )

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

(f1 f2 ) (f1 f2 ) (f1 f2 )
V
V
V
F
F
F
F
V
F
F
V
V

Ejemplo. Suponga que (p) = F, (q) = F, (r) = V , entonces el significado (valor de

verdad) de la formula bien formada





f : (p) q (r q) ()
para hallar el significado de f , primero se debe hallar el valor de verdad de los parentesis
mas internos y luego con esos resultados ir hallando el valor de verdad de las formulas mas
internas que vayan apareciendo, de esta manera
(p) (q) (r) (p)
F

(r q) ()

(r q) () (p) q
F

(p) q (r q) ()

(p) q (r q) ()
V
as, (f ) = V .

2.1.2. Precedencia de conectivos l

ogicos
Uno de las principales limitaciones de las formulas bien formadas es el uso excesivo de
los parentesis, los cuales, en muchos casos, son redundantes. Para evitar este uso excesivo
de parentesis (sin que esto implique que toda formula pueda ser escrita sin parentesis), a
los conectores logicos se les asigna una prioridad que determina de manera exacta el orden
en que los parentesis se deben asumir si no se escriben. Entre mas alta es la prioridad de
un conector, los parentesis asociados a el, tienen mayor prelacion, es decir, en el proceso
de completar los parentesis, los parentesis asociados al operador con mas prioridad son
adicionados primero que los parentesis de un conectivo con menor prioridad. Las prioridades asignadas a los operadores se pueden observar el la tabla 2.1. Cuando en la formula
aparece el mismo operador varias veces y no se puede determinar a cual se le deben asignar
los parentesis primero, se asignan los parentesis de izquierda a derecha.



Ejemplo. La formula p q r (s p) representa la fbf (p q) r (s p) , ya
que completando parentesis:
i) p q r (s p)


2.1. LOGICA
PROPOSICIONAL

Conectivo Prioridad Significado

(, )
1
mas alta

2
alta
,
3
media
,
4
baja
Tabla 2.1. Prioridad de los conectivos logicos.

ii) p q r (s p)

( prioridad 3)

iii) (p q) r (s p)



iv) (p q) r (s p)

( mas a la izquierda prioridad 4)

( prioridad 4)

2.1.3. Leyes
En la logica proposicional clasica, una ley logica es una equivalencia o implicacion entre
formulas logicas. Tal equivalencia o implicacion logica debe ser verdadera para cualquier
interpretacion de las letras proposicionales que conforman las formulas relacionadas por
la equivalencia (debe ser tautologa). Las mas famosas leyes logicas son: Modus Ponen,
Modus Tollen, Inconsistencia, Doble negacion, Conmutatividad, Distributivas, Asociativas
y Morgan.

2.1.3.1. Interpretaci
on
Dada una coleccion de smbolos proposicionales, una interpretacion de es una asignacion de valores de verdad a cada una de las letras proposicionales de la coleccion.
Ejemplo. Sea = {q, r, s}.
1. Una interpretacion de es: (q) = V, (r) = V, (s) = F .
2. Una interpretacion de es: (q) = F, (r) = F, (s) = F .
3. Una interpretacion de es: (q) = F, (r) = V, (s) = V .
Propiedad. Si una coleccion tiene n letras proposicionales entonces tiene en total 2n
interpretaciones diferentes.
Ejemplo. Las interpretaciones posibles de la coleccion de letras proposicionales =
{p, q, r}, entonces tiene ocho (23 = 8) interpretaciones:

10

CAPITULO 2. LOGICA
MATEMATICA

(p)
V
V
V
V
F
F
F
F

(q)
V
V
F
F
V
V
F
F

(r)
V
F
V
F
V
F
V
F

Nota. El valor de verdad de una formula f para una interpretacion I de f se notar

a como
I (f ).
2.1.3.2. Tautologas, contradicciones y contingencias
Una formula f se dice tautologa si para cualquier interpretacion de su conjunto de
letras proposicionales, su significado (valor de verdad) es V , se dice contradiccion si para
cualquier interpretacion su significado es F y se dice contingencia si no es tautologa ni
contradiccion.
Ejemplo. Determinar el tipo (tautologa, contingencia o contradiccion) de cada una de
las siguientes formulas:
1. f = p q q p
2. f = p p
3. f = p (q r)
Soluci
on.
1. Si f = p q q p entonces f = {p, q}
p
V
V
F
F

q
V
F
V
F

pq
V
V
V
F

qp
V
V
V
F

pq qp
V
V
V
V

entonces f es tautologa.
2. Si f = p p entonces f = {p}
p
V
F

p
F
V

p p
F
F


2.1. LOGICA
PROPOSICIONAL

11

entonces f es contradiccion.
3. Si f = p (q r) entonces = {p, q, r}
p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r
V
F
V
F
V
F
V
F

qr
V
V
V
F
V
V
V
F

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

entonces f es contingencia.
Al esquema de presentar todas las interpretaciones y el valor de verdad de la formula
se le llama tabla de verdad de la formula f . Las tablas de verdad son muy u
tiles para
realizar demostraciones a nivel semantico, ya que ellas no solamente se pueden usar con
letras proposicionales sino con formulas bien formadas, es decir, considerando toda una
formula bien formada como verdadera o falsa y construyendo la tabla de verdad para
dichas formulas.

2.1.3.3. Equivalencias L
ogicas
Definici
on. Sean f1 y f2 dos formulas, se dice que f1 es logicamente equivalente a f2 ,
(f1 f2 ) si y solamente si la formula f1 f2 es una tautologa.
Ejemplo. Las formulas f1 = ( ) y f2 = son logicamente equivalentes, es
decir, ( ) , para cualesquiera formulas y . Para esto, se debe demostrar
que ( ) es una tautologa; como se aprecia en la siguiente tabla

V
V
F
F

( ) ( )
V
V
F
F F
F
V
F
F
V
F V
V
V
V
F
V
V
F
V
V
F
F
V
V
V
V
V

como se observa, f1 f2 es una tautologa, por lo tanto, f1 y f2 son logicamente equivalentes.

Las equivalencias logicas mas conocidas se presentan en la tabla 2.2. La demostracion
de las mismas se deja al lector.

12

CAPITULO 2. LOGICA
MATEMATICA

Equivalencia
>

>
>>

( ) ( )
( ) ( )
( ) ( ) ( )
( ) ( ) ( )
( )
( )

Nombre
Tercio excludo
Contradiccion
Identidad
Dominacion
Idempotencia
Doble negacion
Conmutativas
Asociativas
Distributivas
Morgan

Tabla 2.2. Equivalencias logicas.

2.1.3.4. Implicaciones L
ogicas
Definici
on. Sea = {f1 , f2 , . . . , fn } una coleccion de formulas (premisas) y g una formula
(conclusion), se dice que implica logicamente a g ( g), si y solamente si (f1 f2
fn ) g es una tautologa.
Ejemplo. Las premisas = {,
} implican logicamente a g = , para esto es
necesario que la formula ( ) sea una tautologa, como se aprecia en la
siguiente tabla

V
V
F
F

( )
V F
V
F
F
F V
F
F
F
V F
V
F
V
F V
V
V
V

( )
V
V
V
V

como se observa, ( ) es una tautologa, por lo tanto, = {, }
implica logicamente a g = .
Las implicaciones logicas mas conocidas se presentan en la tabla 2.3. Se deja al lector
la demostracion de las mismas.


2.2. LOGICA
DE PREDICADOS

13

Implicaci
on
Nombre
{, } ( )
Combinacion
{, }
Ley de simplificacion
{, }
Variante de la ley de simplificacion
{} ( )
Ley de adicion
{} ( )
Variante de la adicion
{, }
Modus ponens
{, }
Modus tollens
{ , } ( )
Silogismo hipotetico
{, }
Silogismo disyuntivo
{, }
Variante de silogsmo disyuntivo
{ , }
Ley de casos
{ } ( )
Eliminacion de equivalencia
{ } ( )
Variante de eliminacion de equivalencia
{ , } ( )
Introduccion de la equivalencia
{, }
Ley de inconsistencia
Tabla 2.3. Implicaciones logicas.

2.2. L
ogica de predicados
En la logica proposicional no definen objetos variables, siempre se hace referencia a un
objeto especfico. As como se puede hablar de una proposicion como la siguiente p: el
ni
no juega con la pelota roja y blanca, tambien se podra hablar de una proposicion como
q: la foca juega con la pelota azul y verde, en este caso las proposiciones son similares,
pues lo que cambia es el sujeto y/o el complemento.
A partir de los casos anteriores se puede pensar en definir enunciados sin un sujeto o un
complemento especfico. Por ejemplo el sujeto puede cambiar (la foca, el ni
no) y tambien
el complemento puede cambiar (la pelota roja y blanca, la pelota azul y verde) de acuerdo
a una realidad. Esto da como resultado frases del estilo x juega con y.
x e y son objetos que estan relacionados mediante un predicado y dependiendo de los
objetos, se obtiene una proposicion que es verdadera o es falsa. En terminos de los sujetos
y los complementos se define un predicado como una frase que dice algo acerca del sujeto
que lo relaciona con el complemento. En el ejemplo anterior el predicado es juega con
y se escribira simbolicamente mediante le expresion juegaCon(x, y), que se interpreta
conceptualmente como x juega con y.
Un predicado da una forma mas amplia de hablar. Se podra tener una coleccion
{0, 1, 2, 3, 4, 5, 6, 7, 8, 9}, y sobre esta coleccion se puede definir un predicado. Por ejemplo,
se podra hablar del predicado esP ar(x). Si se toma el predicado y se asigna al sujeto x
el valor 3 entonces esP ar(3) tendra un valor de verdad falso, si se toma el predicado y se
asigna al sujeto x el valor 6 entonces esP ar(6) tendra un valor de verdad verdadero.
A una coleccion de objetos a los cuales se les desea aplicar el predicado se le llama el
universo de discurso. Cuando en un predicado se reemplaza una variable x por un valor

14

CAPITULO 2. LOGICA
MATEMATICA

concreto del universo del discurso, se dice que se esta instanciando la variable x, la
formula resultante se dice que es una instancia del predicado inicial.
Cuando no ha instanciado un predicado, a este no se le puede asignar un valor de verdad.
Por ejemplo, el predicado esP rimo(x) no se puede valorar, por el contrario, cuando se
instancian todas la variables de un predicado, lo que se obtiene es una proposicion, y por
lo tanto se cumple la condicion de que en ese caso la instancia tendra un valor o verdadero
o falso, y no puede tener los dos a la vez.

2.2.1. Cuantificadores
Pueden haber predicados como esDigito(x) que para todos los objetos del universo
del discurso {1, 2, 3, 4, 5, 6, 7, 8, 9, 0} son verdaderos. Para este mismo universo, el predicado esM ayora10(x) es falso para todos los elementos de dicha coleccion, y el predicado
esM oduloAditivo(x) es verdadero solo para x = 0 y para el resto de los casos sera falso.
Cuando se desea expresar que un predicado P (x) describe una propiedad sobre todos
los elementos del universo del discurso o para solo algunos, se dice que se esta cuantificando
la variable x.
Cuando se desea expresar que un predicado describe una propiedad para todos los
elementos del universo del discurso, se dice que se esta cuantificando universalmente.
Cuando el predicado describe una propiedad para algunos de los elementos del universo
del discurso, se dice que se esta cuantificando existencialmente.
Para expresar estas nuevas propiedades se necesitan nuevos smbolos, y estos son los
smbolos y que permiten ampliar el lexico y se utilizan de la siguiente manera:
Para notar que una variable x esta cuantificada universalmente en un predicado P (x)
se utiliza la expresion
xP (x)
que se lee para todo x P (x).
Para notar que una variable x esta cuantificada existencialmente en un predicado
P (x) se utiliza la expresion
xP (x)
que se lee existe x tal que P (x).

2.2.2. Sem
antica de los cuantificadores
Cuando en una expresion una variable esta cuantificada universalmente, se tiene que


xP (x) P (x1 ) P (x2 ) P (xn )
para todo valor xi del universo del discurso.


2.2. LOGICA
DE PREDICADOS

15

Cuando en una expresion una variable esta cuantificada existencialmente, se tiene que


xP (x) P (x1 ) P (x2 ) P (xn )
para todo valor xi del universo del discurso.
Ejemplo. Si se tienen los n
umeros dgitos como universo de discurso y se establece como
predicado
P (x) : x es m
ultiplo de 4,




se tiene que xP (x) = V y xP (x) = F ; esto porque el predicado
sera cierto cuando


se instancia la variable con los valores 0, 4 y 8 P (0), P (4), P (8) , aqu se ha tomado la
definicion de m
ultiplo como
se dice que un n
umero m es m
ultiplo de n si existe un entero k, tal que se
satisface la igualdad m = nk.

2.2.3. Leyes de Morgan para cuantificadores

Con respecto a los cuantificadores, se tienen la siguientes equivalencias que expresan
leyes analogas a las leyes de Morgan para la logica de proposiciones:
xP (x) xP (x): no existe un x que cumpla el predicado P quiere decir que para
todo x no se cumple el predicado P .
xP (x) xP (x): no todo x cumple el predicado P es decir que existe un x que no
cumple el predicado.

2.2.4. Particularizaci
on universal
Si se piensa por un segundo en el argumento atribuido a Aristoteles,
Todo hombre es Mortal, Aristoteles es un hombre entonces Aristoteles es Mortal
Uno de los universos de discurso podra ser
U = todas las cosas pensadas por Aristoteles.
En este caso se pueden identificar dos predicados: M ortal(x) y Humano(x).


x Humano(x) M ortal(x)
Humano(Aristoteles)
M ortal(Aristoteles)

16

CAPITULO 2. LOGICA
MATEMATICA

en este razonamiento se observa que Aristoteles realiza una particularizacion universal, esto consiste en reemplazar una variable que esta cuantificada universalmente por

un objeto del universo. Este

es un argumento valido,
ya que si se asume la veraci

dad del predicado x Humano(x) M ortal(x) y tambien la veracidad de la proposicion Humano(Aristoteles), entonces la conclusion M ortal(Aristoteles) debe ser
verdadera, ya que si
no fuese as, entonces, la proposicion Humano(Aristoteles)

M ortal(Aristoteles) seria falsa, y eso hara que el predicado x Humano(x) M ortal(x)
fuese falso, lo que contradice la suposicion de su veracidad.

2.2.5. L
ogica de predicados en programaci
on
Cuando un profesor revisa un programa, este eval
ua que para toda entrada dada, se
tenga una salida esperada. Si el profesor encuentra un caso para el que el programa no
muestra una salida esperada (particularizacion universal), se concluye que el programa
no funciona pues se espera que haga lo que debe hacer para todos los posibles casos
contemplados.
La logica de predicados ayuda a establecer precondiciones en la elaboracion de los
programas. Validaciones de este tipo incluyen verificaciones en los tipos de datos, por
ejemplo:
El calculo de permetros y areas debe funcionar solamente con n
umeros positivos.
El valor de una temperatura requiere que la medicion se realice con magnitudes
continuas.
El tiempo promedio de vida de un animal unicelular es una cantidad continua que
representa tiempos positivos.

2.3. EJERCICIOS

17

2.3. Ejercicios
1. De los siguientes enunciados cuales son proposiciones y cuales no?, justifique su
respuesta.
Tom Hanks ha ganado dos premios Oscar como mejor actor por dos a
nos consecutivos.
Dame una cerveza.
Colombia gano ocho medallas olmpicas en Londres 2012.
Todo n
umero primo es impar.
1 + 1 = 2.
La diferencia de dos primos.
Todo n
umero par mayor que 2 puede escribirse como suma de dos n
umeros
primos. (Christian Goldbach, 1742).
Que hora es?.
xn + y n = z n .
x + y = z + y si x = z.
2. De las siguientes secuencias de smbolos cuales son formulas bien formadas y cuales
no?.


((p) r) (p q)


((p) (q)) (q r)


(p q) (q p)


(p p) (p p) (p (p))
3. Escriba la formula bien formada que representa cada una de la siguientes secuencias
de smbolos:
pq rsq
pqqp
p q r (q r) q
p (q r) p q (p q)
4. Hallar el significado de cada formula que se especifica a continuacion con respecto a
la interpretacion definida para esta.
f = p q r s q, si (p) = V , (q) = V , (r) = V , (s) = F .
f = p q q p, si (p) = V , (q) = F .
f = p q r (q r) q, si (p) = F , (q) = V , (r) = V .
f = p (q r) p q (p q), si (p) = V , (q) = F , (r) = V .

18

CAPITULO 2. LOGICA
MATEMATICA

5. Verifique las equivalencias logicas de la tabla 2.2.

6. Verifique las implicaciones logicas de la tabla 2.3.
7. Verifique que las formulas f1 = p q r y f2 = p (q r) no son logicamente
equivalentes.
8. Con los operadores logicos y es posible expresar los otros operadores logicos
(, , ) de forma equivalente, de la siguiente manera
p q (p q)
p q (p q)
p q (p q) (q p)
verificar que efectivamente los operadores logicos , , se pueden expresar en
terminos de los operadores logicos y .
9. Con los operadores logicos y es posible expresar los otros operadores logicos
(, , ). Encontrar formulas logicas que contengan solo los operadores logicos
y que sean equivalentes a las formulas p q, p q, p q y verifique que
efectivamente son logicamente equivalentes.
10. Adicional a los conectivos logicos presentados, existen otros conectivos, tal como el
conectivo o exclusivo (), el cual es muy utilizado en computacion, y tiene como
objetivo que dadas dos formulas f1 y f2 , la operacion f1 f2 sera u
nicamente verdadera cuando se cumpla que solo una de la formulas f1 o f2 sea verdadera. De esta
manera, la semantica para este conectivo es la siguiente
(f1 ) (f2 )
V
V
V
F
F
V
F
F

(f1 f2 )
F
V
V
F

(a) Encuentre una formula que sea equivalente logicamente a la formula f1 f2 ,

que solo utilice los operadores logicos y .
(b) Encuentre una formula que sea equivalente logicamente a la formula f1 f2 ,
que solo utilice los operadores logicos y .
11. Adicional a los conectivos logicos presentados, existe otro conectivo, tal como el
conectivo barra de Sheffer (|), para el cual su semantica es la siguiente
(f1 )
V
V
F
F

(f2 ) (f1 | f2 )
V
F
F
V
V
V
F
V

2.3. EJERCICIOS

19

La principal caracterstica de este conectivo es que las formulas f , f1 f2 , f1 f2 ,

f1 f2 , f1 f2 , son logicamente equivalentes a formulas que solo contienen el
conectivo |, como se observa a continuacion
f
f1 f2
f1 f2
f1 f2

f |f
(f1 | f1 ) | (f2 | f2 )
(f1 | f2 ) | (f1 | f2 )
f1 | (f2 | f2 )

(a) Verifique las anteriores equivalencias logicas.

(b) Encuentre una formula que solo utilice el conectivo | y que sea logicamente
equivalente a la formula f1 f2 .
12. Adicional a los conectivos logicos presentados, existe otro conectivo, tal como el
conectivo flecha de Peirce (), para el cual su semantica es la siguiente
(f1 ) (f2 )
V
V
V
F
V
F
F
F

(f1 f2 )
F
F
F
V

La principal caracterstica de este conectivo es que las formulas f , f1 f2 , f1 f2 ,

f1 f2 , f1 f2 , son logicamente equivalentes a formulas que solo contienen el
conectivo , como se observa a continuacion
f
f1 f2
f1 f2
f1 f2

f f
(f1 f2 ) (f1 f2 )
(f1 f1 ) (f2 f2 )




(f1 f1 ) f2 (f1 f1 ) f2

(a) Verifique las anteriores equivalencias logicas.

(b) Encuentre una formula que solo utilice el conectivo y que sea logicamente
equivalente a la formula f1 f2 .
13. Hallar el valor de verdad para los siguientes predicados con variables cuantificadas
y cuyo universo del discurso son los n
umeros reales.
i. x(x es mayor que cada n
umero natural).
ii. x(x es menor que todos los n
umeros naturales positivos).
iii. x(x tiene inverso aditivo).
iv. x(x2 > 0).
v. x(x 0).
vi. x(x tiene inverso multiplicativo).

20

CAPITULO 2. LOGICA
MATEMATICA

vii. x(xy = x, para todo n

umero real y)
viii. x(x es divisor de cada n
umero real).
ix. x(ax2 + bx + c = 0, para todos los n
umeros reales a,b y c).
x. x(ax3 + bx2 + cx + d = 0, para todos los n
umeros reales a, b, c y d).
14. Usando las leyes de Morgan para cuantificadores, negar los predicados del numeral 13.