Son afirmaciones que pueden ser

VERDADERAS O FALSAS

Proposicin simple o atmica

Proposicin compuesta

Un argumento esta formado de una o mas

premisas o enunciados simples y/o compuestos.

Y termina con un enunciado simple o compuesto

que recibe el nombre de CONCLUSION.

P1: Si la demanda crece, entonces las

compaas se expanden.
P2: Si las compaas se expanden, entonces
se contratan trabajadores.
-------------------------------------C : Si la demanda crece, entonces las
compaas contratan trabajadores.

P1: Este programa de computadora tiene un

error, o la entrada de datos es errnea.
p2: La entrada de datos no es errnea.
--------------------------------C: Este programa de computadora tiene un
error.

En lgica matemtica las bases fundamentales

para analizar proposiciones compuestas, es
conocer como se comportan las conexiones
lgicas, de las cuales existen las siguientes:

Conjuncin
Disyuncin
negacin
condicional
Bicondicional

Dichas conexiones se describen a continuacin:

Si unimos dos proposiciones

simples y/o compuestas
mediante el conectivo Y
formamos la proposicin
compuesta llamada
Conjuncin. la que
denotamos as
p y q o en smbolos p ^ q

En donde la siguiente tabla de

verdad muestra como se
comporta
Se escriben siempre
dos verdaderas y
dos falsas
Se escriben alternas
v,f,v,f

p^q

Si unimos dos proposiciones

simples y/o compuestas
mediante el conectivo O
formamos la proposicin
compuesta llamada
Disyuncin. la que denotamos
as: p o q , o en smbolos p v q
En donde la siguiente tabla de
verdad muestra como se
comporta

pvq

Este conectivo es el nico

que se aplica a una sola
proposicin o enunciado.
Se usa la palabra no para
negar una proposicin simple.
Y usaremos las palabras
Es falso que para negar
un enunciado compuesto.
Se denota as:
no p, o en smbolos p.
La siguiente tabla de verdad
ilustra su comportamiento.

Para formar la proposicin

Condicional usamos el
conectivo Si
entonces. En donde los
tres puntos indican el lugar
de las proposiciones
simples y/o compuestas.
Denotndose como
Si p entonces q
en smbolos ser
pq
La siguiente tabla de verdad
muestra como trabaja esta
proposicin

pq

Para formar la proposicin

Bicondicional usamos el
conectivo Si y solo si.
En donde los tres puntos
indican el lugar de las
proposiciones simples y/o
compuestas.
Denotndose como:
P si y solo si Q
en smbolos ser
P <--> Q
La siguiente tabla de verdad
muestra como trabaja esta
proposicin

P <--> Q


^
v

<-->

En este subtema vemos:

Uso de las tablas de verdad, para analizar
expresiones lgicas y comprobar equivalencias.

Al analizar expresiones lgicas mediante tablas

de verdad nos podemos encontrar con tres
posibles resultados:
R1: Si la ultima columna de la tabla muestra solo
valores de verdad V esto es una TAUTOLOGIA.
R2: Si la ultima columna de la tabla muestra solo
valores de verdad F esto es una
CONTRADICCION.
R3:R2: Si la ultima columna de la tabla muestra
valores de verdad F y V esto es una
CONTINGENCIA.

El objetivo del calculo de predicados es mostrar la validez de un argumento o

silogismo sin usar el calculo proposicional, en donde para poder lograrlo
necesitamos ser capaces de identificar a los individuos junto con sus
propiedades y predicados.
En general los predicados se utilizan para describir ciertas propiedades o relaciones
existentes entre los individuos u objetos. Por ejemplo Ana y Mara son hermanas
Ana y Mara : son trminos
Son hermanas: es el Predicado
Adems de trminos y predicados se usan los cuantificadores estos indican la
frecuencia con la cual es verdadera una cierta frase.
De estos se conocen: Cuantificador Universal y Existencial.
Cuantificador Universal: indica que una frase siempre es verdadera.
Cuantificador Existencial: indica que una frase es verdadera en algunas
ocasiones.
El calculo de predicados es una extensin del calculo de proposiciones por lo que
adems de los conceptos de trminos, predicados y cuantificadores tambin
forman parte de su lenguaje las proposiciones y las conectivas. En sus
manipulaciones algebraicas se usan las funciones.
En los lenguajes de programacin el calculo de predicados es su fundamento lgico
y en la computadora especifica sus requisitos en las aplicaciones. En la correccin
de programas el calculo de predicados nos permite especificar exactamente las
condiciones en los programas que dan respuestas correctas.

El universo del discurso o dominio es la coleccin personas, ideas, smbolos,

estructuras de datos y dems que afectan el argumento lgico que se esta considerando.
Los elementos del universo de discurso se denominan individuos u objetos.
Frase: Mara y Pablo son hermanos
Frase: Juana es la madre de Mara
Frase: Tom es un gato
Frase: La suma de 2 y 3 es 5
Predicado
Son hermanos
Es un gato
La suma de

Lista de Argumentos
Mara y Pablo
Tom
2,3y5

En el clculo de predicados cada predicado recibe un nombre que va seguido de una

lista de argumentos:
Ejemplo: Juana es la madre de Mara se convierte en Madre(Juana, Mara).
El numero de elementos en la lista de argumentos se llama Aridad.
Los predicados de aridad n se denominan predicados de n cifras.
Los predicados de una sola cifra de denominan propiedades.
El nombre de un predicado seguido por una lista de argumentos entre parntesis se
llama formula atmica.
Por ejemplo: Juana es la madre de Mara se puede expresar como madre(Juana, Mara).

Definicin. Sea A una expresin y x una variable. Si deseamos

indicar que A es verdadero para todos los posibles valores de x,
escribiremos
x A.
Aqu x se denomina cuantificador universal y A se llama
mbito(alcance) del cuantificador. Se dice que la variable x esta
ligada por el cuantificador.
El smbolo
se lee para todo, para cada, para cualquier.
Definicin. Sea A una expresin y x una variable. Si deseamos
indicar que A es verdadero para cuando menos un valor de x,
escribiremos x A. Esta frase se lee Existe un x tal que A, para
algn x tal que A, para al menos una x tal que A.
Aqu
x se denomina cuantificador existencial y A se llama
mbito(alcance) del cuantificador. Se dice que la variable x esta
ligada por el cuantificador.

 Si el cuantificador universal tiene que

aplicarse solo a individuos con una propiedad

dada, se emplea el condicional ()para
restringir el universo de discurso.

Si restringimos en forma similar al

cuantificador existencial se utiliza la

conjuncin (^).

1. Expresar las frases siguientes en calculo de predicado. El universo del

discurso son todas las personas.
a). Si a Maria le gusta Kiko, y a Kiko le gusta Juli, entonces a Maria le gusta Juli.
Legusta(x,y): x le gusta y; M,K,J : Maria, Kiko, Juli.
Solucin: Legusta(M,K) ^ Legusta(K,J) Legusta(M,J) o mejor todava
G(M,K) ^ G(K,J) G(M,J)
b) Juan esta muy ocupado pero Beni no
Ocupado(x): x esta muy ocupado; J,B: Juan, Beni
Solucin : Ocupado(J) ^ Ocupado(B) o
O(J) ^ O(B)
2. Suponga que el universo del discurso es un conjunto de personas. Traduzca
la frase Todos los presentes hablan ingles o francs al calculo de
predicados.
I(x), (F(x)) : x habla Ingles, F(x)(Francs)
Solucin:
x(I(x) v F(x))

3. En el dominio de los animales, como traducira

las expresiones siguientes?
todos los leones son predadores
x(Leon(x) predador(x))
algunos leones viven en frica
x(leon(x) ^ en frica(x))
solo rugen los leones
x(ruge(x) leon(x))