Está en la página 1de 61

Los conectivos lgicos son smbolos que permiten

obtener nuevas proposiciones a partir de proposiciones


dadas. Los conectivos son: no; y; o (incluyente,
excluyente); si entonces; s y slo s.
Se llama negacin de una proposicin p, a la proposicin no p.
Se denota por ~p, -p o p.

Observacin: La proposicin ~p es verdadera si p es falsa y, es
falsa si p es verdadera.
Tabla de verdad:
p ~p
V F
F V
Ejemplo:
p: 2 + 2 = 5
~p: No es cierto que 2 + 2 = 5
~p: 2 + 2 5
Se llama conjuncin de las proposiciones p y q a la proposicin
p y q. Se denota por p q.

La proposicin p q es verdadera slo si p y q son verdaderas.
Es falsa si al menos una de ellas es falsa.

Tabla de verdad

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

Ejemplo:

p: el tringulo equiltero tiene los tres lados iguales
q: el tringulo equiltero tiene los tres ngulos iguales
p q: el tringulo equiltero tiene los tres lados iguales y el
tringulo equiltero tiene los tres ngulos iguales

En forma ms sencilla la proposicin p q se enuncia:

el tringulo equiltero tiene sus tres lados y sus tres
ngulos iguales

Se llama disyuncin de las proposiciones p y q a la


proposicin p q. Se denota por p v q.

La proposicin p v q es verdadera slo si al menos una de las
proposiciones p q es verdadera y es falsa si ambas son
falsas.
Tabla de verdad
p q p v q
V V V
V F V
F V V
F F F
Ejemplo:

p: 2 + 3 = 4
q: 2 + 3 = 5
p v q: 2 + 3 = 4 2 + 3 = 5

Se usa el o en el sentido inclusivo, que hace que la frase
anterior sea verdadera.
Se llama disyuncin excluyente de las proposiciones p y q a la
proposicin o p o q. Se denota como .

La proposicin es verdadera slo si las proposiciones p
y q tienen diferente valor de verdad y es falsa en otro caso.

Tabla de verdad
q p
q p
p q
V V F
V F V
F V V
F F F
q p
Ejemplo:

p: me estas diciendo la verdad
~p: me ests mintiendo
: O me ests diciendo la verdad o me ests
mintiendo

Como se mencionaba anteriormente, este o se usa en el
sentido sentido excluyente, que hace que la frase anterior
sea verdadera (se puede verificar fcilmente mediante una
tabla de verdad).
p ~ p
Se llama condicional de las proposiciones p y q a la
proposicin Si p, entonces q. La primera proposicin se llama
antecedente y la segunda consecuente.

Se denota por p q y se lee: si p entonces q p es
condicin suficiente para q q es condicin necesaria para
p.

La proposicin p q es falsa solamente si p es verdadera y q
es falsa y es verdadera en cualquier otro caso.
p q p q
V V V
V F F
F V V
F F V
Tabla de verdad
Ejemplo:

p: el sistema solar est formado slo por astros
q: la tierra es un astro
p q: si el sistema solar est formado slo por astros,
entonces la tierra es un astro
Se llama bicondicional de las proposiciones p y q a la
proposicin p si y slo si q p es condicin necesaria y
suficiente para q y se denota por p q.
La proposicin p q es verdadera si ambas p y q son
verdaderas o falsas y, es falsa en otro caso.

Tabla de verdad
p q p q
V V V
V F F
F V F
F F V
Cmo realizar una
tabla de verdad?
1- Una frmula bien formada.
2- Un conjunto de definiciones veritativas.
3- Un espacio lgico.
Una variable simple es una frmula bien
formada.

p es una frmula bien formada.





Toda frmula bien formada a precedida de

(negacin) es una frmula bien formada.


p es una frmula bien formada







Dos frmulas bien formadas unidas por un
operador lgico, son frmulas bien formadas.

(A B), (A v B), (A B) son frmulas bien formadas.


Clusula de recursin

Toda secuencia de frmulas producida por la
aplicacin de las reglas anteriores, en
cualquier orden, constituye una frmula bien
formada.


Clusula de exclusin

Ninguna otra secuencia constituye una frmula
bien formada.

1- Recuerda, una frmula bien formada
es

Una variable simple.

Una frmula precedida de

(negacin).

Dos frmulas bien formadas unidas por un
operador lgico.


2- Cules son esas definiciones
veritativas?
Una proposicin puede tener
DOS VALORES DE VERDAD.
Una proposicin puede tener
DOS VALORES DE VERDAD.

O es verdadera, y lo simbolizamos con 1.

Una proposicin puede tener
DOS VALORES DE VERDAD.

O es verdadera, y lo simbolizamos con 1.
O es falsa, y lo simbolizamos con 0.
Y se escribe as:
Los valores de verdad de la
NEGACIN

La negacin cambia el valor de verdad
de la frmula a la que precede
Los valores de verdad de la
NEGACIN

La negacin cambia el valor de verdad
de la frmula a la que precede
p

p
1 0
0 1
Los valores de verdad de la
CONJUNCIN
Una conjuncin es verdadera cuando
ambos valores son verdaderos
Los valores de verdad de
la CONJUNCIN
Una conjuncin es verdadera cuando
ambos valores son verdaderos
p
^
q
1 1 1
1 0 0
0 0 1
0 0 0
Los valores de verdad de la
DISYUNCIN

Una disyuncin es verdadera cuando
al menos uno de sus valores es verdadero
Los valores de verdad de la
DISYUNCIN
Una disyuncin es verdadera cuando
al menos uno de sus valores es verdadero
p v q
1 1 1
1 1 0
0 1 1
0 0 0
Los valores de verdad de la
IMPLICACIN

Una implicacin siempre es verdadera,
a no ser que el antecedente sea verdadero y el consecuente falso
Los valores de verdad de la
IMPLICACIN
Una implicacin siempre es verdadera,
a no ser que el antecedente sea verdadero y el consecuente falso
p q
1 1 1
1 0 0
0 1 1
0 1 0
Los valores de verdad de la
EQUIVALENCIA
Una equivalencia siempre es verdadera,
cuando ambas variables tienen el mismo valor
p q
1 1 1
1 0 0
0 0 1
0 1 0

3- Cmo se halla el espacio
lgico?

Para hallar el espacio lgico, cuenta el nmero
de variables diferentes que tenga la frmula


Dada la frmula:
[ ( p ^ q ) ^

q
]

p

Cuntas variables distintas hay?
[ ( p ^ q ) ^

q
]

p

Hay DOS


[ ( p ^ q ) ^

q
]

p

Hay DOS


[ ( p ^ q ) ^

q
]

p
Ahora aplicaremos la siguiente frmula:
2
n
= nmero de filas
siendo n el nmero de variables diferentes
Y distribuye el resultado
2
2
= 4

[ ( p ^ q ) ^ p ] q
1 1 1 1
1 0 1 0
0 1 0 1
0 0 0 0
Recuerda
La mitad de las
filas de la primera
variable han de
tener el valor 1.
[ ( p ^ q ) ^ p ] q
1 1 1 1
1 0 1 0
0 1 0 1
0 0 0 0
Recuerda
Mientras que la
otra mitad han de
ser 0.
[ ( p ^ q ) ^ p ] q
1 1 1 1
1 0 1 0
0 1 0 1
0 0 0 0
Recuerda
Para la siguiente
variable
aplicaremos la
misma regla del
.
[ ( p ^ q ) ^ p ] q
1 1 1 1
1 0 1 0
0 1 0 1
0 0 0 0
Recuerda
[ ( p ^ q ) ^ p ] q
1 1 1 1
1 0 1 0
0 1 0 1
0 0 0 0
Recuerda
[ ( p ^ q ) ^ p ] q
1 1 1 1
1 0 1 0
0 1 0 1
0 0 0 0
Recuerda
[ ( p ^

q ) ^ p ] q
1 1 1 1
1 0 1 0
0 1 0 1
0 0 0 0
Recuerda
[ ( p ^ q ) ^ p ] q
1 1 1 1
1 0 1 0
0 1 0 1
0 0 0 0

4- Reglas de elaboracin
Comienza a operar como en matemticas:
primero resuelve lo que est entre parntesis.


[ ( p ^ q ) ^ p ] q
1 1 1 1
1 0 1 0
0 1 0 1
0 0 0 0
Como el operador de la frmula es la conjuncin,
tendrs que aplicar la tabla de verdad de la
conjuncin.

[ ( p ^ q ) ^ p ] q
1 1 1 1
1 0 1 0
0 1 0 1
0 0 0 0
p
^
q
1 1 1
1 0 0
0 0 1
0 0 0
Obtendrs el siguiente resultado

[ ( p ^ q ) ^ p ] q
1 1 1 1 1
1 0 0 1 0
0 0 1 0 1
0 0 0 0 0
A continuacin,
une el resultado obtenido con la siguiente frmula.


[ ( p . q ) . p ] q
1 1 1 1 1
1 0 0 1 0
0 0 1 0 1
0 0 0 0 0
Como el operador de la frmula es la conjuncin,
aplica la tabla de verdad de la conjuncin.

[ ( p ^

q ) ^ p ] q
1 1 1 1 1
1 0 0 1 0
0 0 1 0 1
0 0 0 0 0
y obtendrs como resultado
[ ( p ^ q ) ^ p ] q
1 1 1 1 1 1
1 0 0 0 1 0
0 0 1 0 0 1
0 0 0 0 0 0
Para acabar, une el resultado obtenido con la
ltima frmula que queda.
[ ( p ^ q ) ^ p ] q
1 1 1 1 1 1
1 0 0 0 1 0
0 0 1 0 0 1
0 0 0 0 0 0
Como el operador de la frmula es la
implicacin, aplica la tabla de verdad de la
implicacin.
[ ( p ^ q ) ^ p ] q
1 1 1 1 1 1
1 0 0 0 1 0
0 0 1 0 0 1
0 0 0 0 0 0
p

q
1 1 1
1 0 0
0 1 1
0 1 0
El resultado final del procedimiento es el que
aparece debajo de la ltima implicacin.
[ ( p . q ) . p ] q
1 1 1 1 1 1 1
1 0 0 0 1 1 0
0 0 1 0 0 1 1
0 0 0 0 0 1 0
VALORACIN
Si todos los valores de verdad de la ltima columna son 1,
te encuentras ante una inferencia vlida.

Ya la podras resolver
[ ( p . q ) . p ] q
1 1 1 1 1 1 1
1 0 0 0 1 1 0
0 0 1 0 0 1 1
0 0 0 0 0 1 0
Verdad Indeterminada


Se entiende por verdad contingente, o verdad de hecho, aquella
proposicin que puede ser verdadera o falsa, segn los valores de las
proposiciones que la integran. .

Contradiccin

Se entiende por proposicin contradictoria, o contradiccin,
aquella proposicin que en todos los casos posibles de su tabla
de verdad su valor siempre es F. Dicho de otra forma, su valor F
no depende de los valores de verdad de las proposiciones que la
forman, sino de la forma en que estn establecidas las relaciones
sintcticas de unas con otras.

Tautologas

Se entiende por proposicin tautolgica, o tautologa, aquella
proposicin que en todos los casos posibles de su tabla de verdad
su valor siempre es V. Dicho de otra forma, su valor V no depende
de los valores de verdad de las proposiciones que la forman, sino
de la forma en que estn establecidas las relaciones sintcticas de
unas con otras.