1

DOBLE IMPLICACIN O BI-CONDICIONAL

Conectivo lgico <->

Notacion: P <-> q
p si y solo si q
p sii q

p
V
V
F
F

q
V
F
V
F

P <->
q
V
F
F
V

Nota: p se conoce como el primer miembro y q como el segundo

Ejemplo 1
p = estamos en el mes de las madres
q = el gato felix es una serie animada

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

p <-> q =estamos en el mes de la madres si y solo si el gato felix es una

serie animada
V(p <-> q) = F
Ejemplo 2
y = un mineral es un metal
V(y) = V
s = un mineral es un buen conductor de electricidad
V(s) = V
y <-> s = un mineral es un metal si y solo si un mineral es un buen
conductor de electricidad
V(y <-> s) = V
Ejemplo 3
p = hoy es un dia lunes
q = q estamos en el mes de marzo
p
p
p
p
p

^ q = hoy dia es lunes y estamos en el mes de marzo

v p = hoy dia es lunes o estamos en el mes de marzo
v q = hoy dia es lunes o estamos en el mes de marzo pero no ambos
-> q = si hoy dia es lunes entocnes estamos en el mes de marzo
<-> q = hoy dia es lunes si y solo si estamos en el mes de marzo

FORMALIZACIN

Es expresar de forma simblica todas las expresiones de nuestro lenguaje

natural

Ejemplo 1
no me parece que real potos gana el campeonato
p = real potos gana el campeonato
Formalizando: ~p
Ejemplo 2
Juan gana el concurso de pintura pero luis no gana el concurso
p = juan gana el concurso de pintura
q = luis gana el concurso de pintura
Formalizando: p ^ ~q
Ejemplo 3
Real Mamore pierde el partido siempre que llueve
Replantenado: si llueve real mamore pierde el partido
p = llueve
q = real mamore pierde el partido
Formalizando: p -> q
Ejemplo 4
Si no hay nubes en el cielo ,el sol esta brillante
p = hay nubes en el cielo
q = el sol esta brillante
Formalizando: ~p -> q
Ejemplo 5
Puedes acceder al internet desde la u si y solo si estudias sistemas o no eres
estudiantes del primer semestre
p = puedes acceder al internet desde la u
q = estudias sistemas
r = estudias en el primer semestre
Formalizando: p <-> (q v ~r)

VARIACIONES DE LA IMPLICACIN

p -> q
inversa

reciproc
a
Contra

----------------------- (q -> p)
inversa

(~p -> ~q) ---------------------------------------------reciproc

a

p -> q = implicacin
q -> p = reciproca
~p -> ~q = inversa

(~q -> ~p)

~q -> ~p = Contra Reciproca

Ejemplo 1
Bolvar gana siempre q llueve
p -> q = si llueve Bolvar gana
q -> p = si Bolvar gana, llueve
~p -> ~q = si llueve entonces bolvar no gana
~q -> ~p = si Bolivar no gana entonces no llueve
Ejemplo 2
Apruebo lgica si estudio
Afirmacin logica: si estudio entonces apruebo logica
p -> q = si estudio entonces apruebo logica
q -> p = apruebo lgica si estudio
~p -> ~q = si no estudio entonces no apruebo lgica
~q -> ~p = si no apruebo logia es por q no estudie
Ejemplo 3
Cuando viajo muy lejos, extranho mi falmilia
p -> q = si viajo muy lejos entonces extranho a mi familia
q -> p = si extrao mi familia, viajo muy lejos
~p -> ~q = si no viajo muy lejos entonces no extrao mi familia
~q -> ~p = Si no extrao mi familia entonces no viajo muy lejos

PROPOSICIONES SIMPLES ATMICAS

Son aquellos que no tienen conectivos lgicos en su estructura. Tambin se las

conoce como proposiciones atmicas y se representan por las letras
minsculas p, q, r, .. z

PROPOSICIONES COMPUESTAS O MOLECULARES O FORMULAS

PROPOSICIONALES

Es una combinacin de proposiciones y conectivos lgicos que dan como

resultado otra proposicin
Ejemplos
#1 ~ p
#2 (p v q) ^ ( r -> s)
#3 ~[( p<-> q) v r ] -> ~ t

Nota:
- se utilizaran las letras del alfabeto griego para representar
formulas proposicionales extensas.

El uso de parntesis se utilizara para indicar sobre cual o cuales de las

proposiciones componentes se aplica a cada conectivo lgico.
o

(p v q) -> r

notacin correcta

(~r ^ s) <-> (~t v ~w)

notacin correcta

t -> w <-> p ^r -> z

notacin incorrecta

CLASIFICACIN DE LAS FORMULAS PROPOSICIONALES

-

Tautologia

Anti tautologa o contradiccin

Contingencia o incontingencia

N es el nmero de proposiciones simples de una formula proposicional

2 = # de valores de proposiciones verdad

6.1 Tautologa
Es una formula proposicional que siempre es verdadera, independientemente
de los valores de verdad de las proposiciones que la conforma. Se utilizara el
smbolo v para indicar q es una tautologa.
Ejemplos
#1

[ p ^ (q v r )] [ ( p ^ q ) v ( p ^ r ) ]

2 = de valores de verdad

2 =2

#2

p v ~( p ^ q )
p
V
V
F
F

q
V
F
V
F

(p ^
q)
V
F
F
F

~( p ^
q)
F
V
V
V

p v ~( p
^q)
V
V
V
V

#3

[ p ^ ( q v r ) ] [ (p ^ q) v ( p ^ r) ]

p q r
V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F

(qvr
)

[ p ^( q
v r) ]

V
V
V
F
V
V
V
F

V
V
V
F
F
F
F
F

( p ^ q ( p ^ [ (p ^ q) v ( p
)
r)
^ r) ]
V
V
F
F
F
F
F
F

V
F
V
F
F
F
F
F

V
V
V
F
F
F
F
F

<=>

V
V
V
V
V
V
V
V

6.2 Anti Tautologa o contradiccin

Es una formula proposicional que siempre es falsa independiente mente de los
valore de verdad que la conforma. Se utilizara la letra F para indicar que es
una frmula de antitaulologia.
Ejemplos
#1
p ^ ~p
~
p p p ^ ~p
V F
F
ANTI TAUTOLOGA
V V
F
#2

( p ^ q ) ^ ~(p ^ q )

p
V
V
F
F

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

( p ^ q ) ^ ~(p ^
~( p ^ q )
q)
F
F
V
F
V
F
V
F

ANTI
TAUTOLOGA

6.3 Contingencia o incongruencia

Es una formula proposicional cuya tabla de verdad toma por lo menos una vez
el valor de verdad V y por lo menos una vez el valor de verdad F para
alguna combinacin de valores de verdad de las proposiciones que la conforma

Ejemplos:
#1

( r -> s ) ^ ( s -> r )

s
V
V
F
F
#2

r ( r -> s )
V
V
F
F
V
V
F
V

( r -> s ) ^ ( s ->
r)
V
F
F
V

( p ^ q ) v ( q -> r )
p q r
V
V
V
V
F
F
F
F

( s -> r )
V
V
F
V

V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F

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

( q -> ( p ^ q ) v ( q
r)
-> r )
V
V
F
V
V
V
V
V
V
V
F
F
V
V
V
V

FORMULAS LGICAMENTE EQUIVALENTES

La frmula proposicional

es lgicamente equivalente a

si y solo si

( sii ) para cualquier combinacin de valores de verdad de las proposiciones

que la conforman y tomando el mismo valor de verdad, se anotara
( alfa es lgicamente equivalente a beta).

7.1 Leyes lgicas o formulas lgicamente equivalentes

consideradas fundamentales
7.1.1 Ley asociativa

pv(qvr)(pvq)vr
p^(q^r)(p^q)^r

7.1.2 Ley conmutativa

(p^q)(q^p)
(pvq)(qvp)

7.1.3 Ley distributiva

p^(qvr)(p^q)v(p^r)

pv(q^r)(pvq)^(pvr)

7.1.4 Definicin de implicacin

( p -> q ) (~p v q )

7.1.5 Definicin de equivalencia

( p <-> q ) ( p -> q ) ^ (q -> p )

7.1.6 Ley de Morgan

~( p ^ q ) ( ~p v ~q )
~( p v q ) ( ~p ^ ~q )

7.1.7 Ley de absorcin

pv(p^q)p
p^(pvq)p

7.1.8 Ley de idempotencia

(p^p)p
(pvp)p

7.1.9 Condicin de negacin

( p v ~p ) V
( p ^ ~p ) F

7.1.10

Elemento Neutro

7.1.11

Condicin de tautologa

7.1.12

Condicin de Antitaulologia

7.1.13

Ley de doble Negacin

7.1.14

Negacin de tautologa

7.1.15

Negacin de la anti tautologa

(pvF)p
(p^V)p
pvVV

p^FF
~~P P
~V F
~F V

SIMPLIFICACIN DE PROPOSICIONES

Simplificar una formula proposicional significa transformarla en otra

equivalente a ella, pero con el menor nmero de proposiciones y conectivos
lgicos posibles.
Ejemplos:
#1

#2

~( ~p ^ ~q )

( ~~p v ~~q )
pvq

Ley de Morgan
Ley de la doble negacin

~( p v q ) v ( ~p^ q )

(~p ^ ~q ) v ( ~p^ q )
~p ^ ( ~q v q )
~p ^ ( V )
~p

Ley de Morgan
Ley Distributiva a la inversa
Ley de Condicin de Negacin
Ley del Elemento Neutro

#3

{(p^q)v

{(p^
{(p^
{(p^
q^p

#4

( p ^ q ) v ( ~p ^ q ) v ( ~p ^ ~q )

( p ^ q ) v [ ~p ^ ( q v ~q ) ]
Ley Distributiva a la inversa
( p ^ q ) v [ ~p ^ ( V ) ]
Ley de Condicin de Negacin
(p^q)v~p
Elemento Neutro
~ p v ( p ^ ~q )
Ley Conmutativa
( ~ p v p ) ^ ( ~p v ~q )
Ley Distributiva
V ^ ( ~p v ~q )
Condicin de Negacin
( V ^ ~p ) v ( V ^ ~q )
Distributiva
~p v ~q
Elemento Neutro

#5

[ ( p ^ q ) v ( q ^ ~p ) ] } ^ p
q) v [ q ^ ( p v ~p) ] } ^ p
Ley Distributiva a la Inversa
q ) v [ q ^ ( V ) ] } ^ q Ley de Condicin de negacin
q)v q]}^q
Ley del Elemento Neutro
Ley de Absorcin

( p v r ) v { [ ( p ^ q ) v r ] ^ ( r v ~q ) }

( p v r ) v { [ ( r v p ) ^ ( r v q ) ] ^ ( r v ~q ) }
Ley Asociativa
a la inversa
( p v r ) v { [ ( r v p ) ^ ( r v ~q) ] ^ [ ( r v q ) ^ ( r v ~q) ] }
( p v r ) v { [ r v ( p ^ ~q) ] ^ [ r v ( q ^ ~q) ] }
( p v r ) v { [ r v ( p ^ ~q) ] ^ [ r v ( F ) ] }
( p v r ) v { [ r v ( p ^ ~q) ] ^ r }
( p v r ) v { [ ( r ^ r ) v ( p ^ ~q) ] ^ r }
( p v r ) v { [ (r v ( p ^ ~q) ] ^ r }
( p v r ) v { [ (r v p) ^ ( r v ~q) ] ^ r }
..

CIRCUITOS LGICOS

Una proposicin puede expresarse como un circuito lgico representado

tambin como un circuito elctrico con interruptores, donde el valor de verdad
de la proposicin esta dado segn pase o no la corriente.
V(p)=V

-----o ---- o----

V(p)=F

-----o

o----

Las operaciones con proposiciones pueden asociarse con un circuito de varios

interruptores.

9.1 Conjuncin
Para que V ( p ^ q ) = V Ambos interruptores deben cerrarse para el paso de la
corriente y la representacin se conoce como circuito en serie
(p^q)

-----/ p -----/ q -----

9.2 Disyuncin
Es suficiente que p v q sea verdadero ( p v q ) deje pasar la corriente y la
representacin se conoce como circuito en paralelo
pvq
p
---q
Ejemplo:
#1

pvqvr
p
q
r

#2

p^ q^r

#3

p^ (qvr)

#4

~[ (p v q ) -> r ]

~[ ~ (p v q ) v r ]
~[ (~p ^ ~q ) v r ]
~(~p ^ ~q ) ^ ~r
( p v q ) ^ ~r

# 5 sea el siguiente circuito, determinar la expiracin booleana, simplificar y

construir el circuito final

( q ^ ~r ) v [ ( p v r ) ^ q ]

( q ^ ~r ) v [ ( p ^ q ) v ( r ^ q)
inversa
( q ^ ~r ) v ( p ^ q ) v ( q ^ r)
[ q ^ ( r v ~r) ] v ( p ^ q)
inversa
( q ^ V ) v ( p ^ q)
qv(p^q)
q

#6

Ley distributiva a la
Ley conmutativa
Ley Distributiva a la

Condicin de negacin
Elemento Neutro
Ley de absorcin

( p ^ q ) v ( p ^ ~q )

p ^ ( q v ~q )
p ^(V)
p

Ley distributiva a la inversa

Condicin de negacin
Elemento Neutro

10 LGICA Y OPERACIONES CON BITS

Las computadoras representan la informacin utilizando bits. Un bit tiene dos
valores posibles: 0 y 1 el significado de la palabra bit, viene de la expresin
inglesa binary digit ya que 0 y 1 son los dgitos utilizados en las
representaciones binarias de los nmeros.
Un bit se puede utilizar para representar un valor de verdad: Verdadero( 1 ) y
Falso ( 0 ).
Las operaciones con los bits, en la computadora tiene correspondencia con los
conectivos lgicos ~, v, v, ^ por las operaciones: Not, OR, XOR,
AND
Valor de
Verdad
V
F
X
1
1
0
0

Y
1
0
1
0

Bit
1
0

X AND
X XOR
Y
X OR Y
Y
1
1
0
0
0
1
0
0
1
0
0
0

Not X
0
0
1
1

Not Y
0
1
0
1

Cadena de bits: es la sucesin de 1 y 0 ej# 100110

Longitud de una cadena: es el numero de bits que tiene una cadena

Ej# 1000 LongC=4

Ejemplos: Aplicar las operaciones AND, OR, XOR Not longitud de cadena
#1
C1:
C2:

1
0
0
1
1
0
1

0
0
0
0
0
1
1

1
0
0
1
1
0
1

0
1
0
1
1
1
0

0
0
0
0
0
1
1

1
0
0
1
1
0
1

1
0
0
1
1
0
1

1
1
1
1
0
0
0

AND
OR
XOR
Not C1
Not C2

0
1
0
1
1
1
0

0
0
0
0
0
1
1

0
0
0
0
0
1
1

0
0
0
0
0
1
1

0
0
0
0
0
1
1

1
0
0
1
1
0
1

1
0
0
1
1
0
1

0
1
0
1
1
1
0

3 bits
8 bits
AND
OR
XOR
Not C1
Not C2

#2
C1:
C2:

Inferencia lgica
Es un conjunto de proposiciones en la cual una de ellas aparece como
conclusin de las otras.
Es una formula proposicional de la forma:
P1
P2
:
:
Pn
C

Premisas o hiptesis

argumento lgico

conclusin

REGLAS DE INFERENCIA

Justifican los pasos dados para demostrar que a partir de una serie de premisas
o hiptesis, se llega de forma lgica a una conclusin.
Nota:
las premisas o hiptesis se escribirn en una columna
la conclusin se escribir debajo de un alinea horizontal

el smbolo significa por lo tanto, como conclusin, luego, es as, etc. \
En la inferencia tambin es valido utilizar las leyes lgicas
Por otra parte en las reglas de las premisas se enuncia: en cualquier
punto de la deduccin se puede introducir una nueva proposicin.

10.1 Adicin
1)

p
.
pvA

10.2 Simplificacin
1)

p ^q
p

1)

p ^q
q

10.3 Conjugacin

1)
2)

p
q
.
p^q

10.4 Modus Ponens

1)
2)

p -> q
p
.
q

10.5 Modus tollens

1)
2)

p -> q
~q
.
~p

10.6 Silogismo hipottico

1)
2)

p -> q
q -> r
p -> r

10.7 Dilema constructivo

1)
2)
3)

p -> q
r -> s
p -> r
q -> s

10.8 Dilema destructivo

1)
2)
3)

p -> q
r -> s
~q -> ~s
~p v ~r

10.9 Silogismo disyuntivo

1)
2)

pvq
~p
.
~q

Ejercicio:

#1

demostrar r

1)

pvq
2)
~q
~p

1)
2)
3)
4)
5)

p -> r
q -> r
q
.
p
MP(2,3)
r
MP(1,4)

#2

demostrar ~p

1)
2)
3)
4)
5)

t -> r
t -> ~p
r
.
~t
MT(1,3)
~p
SD(2,4)

#3

demostrar r

1)
2)
3)
4)
5)
6)
7)
8)

p -> q
(~p ^ ~j ) -> r
q -> j
~j
.
~q
MP(3,4)
~p
MT(1,5)
~p ^ ~j
C
r
MP(2,7)

#4

demostrar t ^ u

1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)

r -> ~p
~q -> s
~s v u
rvt
p ^ ~q
p
~q
s
~r
t
u
t^u

S
S
MP
MT
SD
SD
C

(6,4)

.
(5)
(5)
(2,7)
(1,6)
(4,9)
(8,3)
(10,11)

#7

Formalizar y demostrar:
Si el auto tiene gasolina entonces ir a la tienda.
Si voy a la tienda, comprare un libro. El auto
Tiene gasolina conclusin: comprare un libro

Demostrar r:
p: el auto tiene gasolina 1)
q: ire a la tienda
2)
r: comprare un libro
4)
5)

#8

p -> q .
q -> r .
3)
p
.
------------------------------q
.
MP(1,3)
r
MP(4,2)

Formalizar y demostrar:

O bien hoy es martes o es lunes. Pero hoy no es lunes. Luego, hoy

es martes
p: hoy es martes
1)
q: hoy es lunes
conclusin: hoy es martes

V
V
F
F

V
F
V
F

pvq
2)
~q
-----------------------p
~
q
F
V
F
V

pv
q
V
V
V
F

(pvq)
^ ~q
F
V
F
F

->
p
V
V
V
V

El argumento es valido
Regla de inferencia es un silogismo disyuntivo

ESQUEMAS PROPOSICIONALES

ESQUEMAS PROPOSICIONALES DE UNA VARIABLE

Es toda expresin que tiene asignada una variable: x,y,z.

La variable representa un elemento cualquiera del universo que al remplazarse
en la expresin se convierte en una proposicin.

11 NOTACIN
Se designaran las letras maysculas F,G,ZX
F[x] ; se lee F de x
G[y] ; se lee G de y
#1
#2
#3

G[x] = x es humilde
H[y] = y es felino
K[z] = z + 1 = 3 ;

U: los humanos
U: los animales
U: los nmeros naturales

12 OBTENCIN DE UNA PROPOSICIN A PARTIR DE UN E.P. POR

UN REMPLAZO DE VARIABLES Y VALOR DE VERDAD
Proposicin
x=a

F[a]
Expresin sin sentido

Ejemplos:

#1

F[x] = x es par
X=2 ;
X=7 ;

#2

F[2] 2 es par
F[2] 7 es par

F[y] = 2 + y = y2 - 8
y = 0 ; F[0] 2 + 0 = 02 8
2=-8

y = luis
sentidos

U : nmeros reales
V[ F[2] ] = V
V[ F[2] ] = F

U : nmeros reales
V[ F[0] ] = F

; F[luis] 2 + luis = luis2 8

V[ F[luis] ] = expresin sin