Colegios

TRILCE

LGICA PROPOSICIONAL
p q pq
V V
V

FUNCIONES VERITATIVAS
1.

DEFINICIN: Son interpretaciones semnticas de las

posibilidades de verdad o falsedad de las proposiciones
moleculares en base a sus conectivas o el modificador.
Son las siguientes:
A) Negacin: Lgicamente se rige por la siguiente regla: "La
negacin de una proposicin verdadera es falsa. La
negacin de una proposicin falsa es verdadera".
Esquemticamente, se representa por la siguiente tabla de
verdad:
p ~ p
V
F

F
V

Esto significa que si "p" es V, su negacin F o viceversa.

B) Conjuncin: La funcin veritativa de la conjuncin se rige
por la siguiente regla: "Una proposicin conjuntiva es
verdadera cuando todas sus proposiciones componentes
son verdaderas, siendo falsa en los dems casos".
Esquemticamente, se tiene:
p

V
F

F
F

F
F

V
F

p q pq
V V
V
V F
F V

V
V

D) Disyuncin exclusiva o fuerte: La regla es : "Una

proposicin disyuntiva fuerte es falsa cuando sus
componentes tienen valores iguales, en los dems casos es
verdadera".
Esquemticamente, se representa:
p q p
/ q
V V
F
V F
F V

V
V

E) Condicional: La regla es: "Una proposicin condicional es

falsa slo cuando el antecedente es verdadero y el
consecuente es falso, siendo verdadero en los dems
casos".
La funcin veritativa se expresa en el siguiente esquema:
p q pq
V V
V

Resumen:
Conjunt iva

Scholz
Russell

Disyuntiva
dbil

Disyuntiva
Condici onal
fuerte

Bicondicional

Negacin

/
/

~
~

p
/ q
F
V
V
F

p q
V
F
V
V

p q
V
F
F
V

~p

p q

pq

V
V
F
F

V
F
V
F

V
F
F
F

V
V
V
F

F
F
V
V

2. ESQUEMAS LGICOS (E. L.):

Son frmulas lgicas (proposiciones formalizadas) las cuales
pueden asumir funciones veritativas determinadas. Pueden ser:
1. Tautolgicos (T): Son aquellos cuya matriz principal contiene
nicamente valores de verdad. Se le llama tambin "Principios
Lgicos".

C) Disyuncin inclusiva o dbil: En este caso es: "Es falsa

slo cuando todos sus componentes son falsos, en los
dems casos es verdadera".
Esquemticamente, se tiene:

F
V

F
F

p q

V V
V F

V F
F V

V F
F V

F) Bicondicional: La regla es: "Una proposicin

bicondicional es verdadera cuando sus dos componentes
tienen valores iguales, y es falsa cuando sus dos
componentes tienen valores distintos".
Esquemticamente, se tiene:

2. Consistentes (Q): Llamados tambin esquemas contingentes.

En estas frmulas lgicas, la matriz principal de su tabla
veritativa presentan por lo menos un valor de verdad y uno de
falsedad.
3. Contradictorios ( ): Son frmulas formalmente falsas, la
matriz principal de su tabla de verdad slo contiene valores
falsos.

PRINCIPIO LGICO:
Un Principio Lgico, es el fundamento de toda verdad lgica
(Tautolgia). De un principio lgico podemos generar
tautologas indefinidamente, y, a la vez, cualquier tautologa del
universo lgico puede reducirse a un principio lgico. Son
conocidos los tres principios.

PRINCIPIOS LGICOS CLSICOS

2.1 PRINCIPIO DE IDENTIDAD
Establece que si se afirma una proposicin, se concluye la
misma; si una proposicin es verdadera, entonces es
verdadera, una proposicin slo es idntica a s misma.En el
plano de la realidad, toda cosa es idntica a s misma.
Simblicamente se expresa por:
A A ; A A Ej : p p ; p p

Ej.: "Si el libro es de matemtica se deduce que el libro es de

matemtica".
2.2 PRINCIPIO DE NO CONTRADICCIN
Establece que inadmisiblemente una cosa sea y no sea a la
vez. Es imposible que una proposicin sea verdadera y falsa
a la vez, que una cosa exista y no exista al mismo tiempo. Su
formulacin simblica es:
~ (A~ A) Ej : ~ (p ~ p)

Ej.: Es falso que la jirafa sea mamfero y no sea mamfero.

cuya expresin ms simple es p q, y que se representa de

la siguiente manera:
2.3 PRINCIPIO DEL TERCIO EXCLUIDO
Fue planteado por Aristteles. Establece que una cosa es o
no es, no existe una tercera posibilidad. Una proposicin es
verdadera o falsa, no existe una tercera posibilidad.
Simblicamente se expresa:

q
@
lmpara

batera

A~ A Ej : p~ p

Ejemplo: Augusto Salazar Bondy es peruano o no es peruano.

Ejm.:
p

EQUIVALENCIAS NOTABLES

1. Doble Negaci n
(DN)

~ ~ A A
~ ~ ~ A A

~~p p
~~~p ~p

2. Idempo tencia
(Idem )

A
A

p p p
p p p

3. Conm ula tiva

(Conm)

A B B A
A B B A
A B B A
A B B A
A (B C) (A B) C
A (B C) (A B) C

p
p
p
p
p
p

A (B C) (A B) (A C)
A (B C) (A B) (A C)
~ (A B) ~ A ~ B
~ (A B) ~ A ~ B
A B ~A B
A B ~ (A ~ B)
A B (A B) (B A)
A B (A B) (~ A ~ B)
A (A B) A
A (A B) A
A (~ A B) A B
A (~ A B) A B
A B ~B ~A

p (q
p (q
~ (p
~ (p
p q
p q
p q
p q

4. Asocia tiva
(Asoc.)
5. Distributiva
(Dist.)
6. De Morga n
(DM)
7. Definicin d el
Condiciona l (DC)
8. Bicondiciona l
(DB)
9. Absorcin
(Abs)

10. Tra nsposici n

A
A

A
A

p
p
p
p
p

q
q
q
q
(q
(q

p
q
q
q
r)
r)

disyuntiva, cuya expresin ms simple es "

se representa as:

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

batera

Ejm.:

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

p
q

p q

Para que este circuito quede cerrado y la lmpara se

encienda, bastar que uno de los interruptores est cerrado.
Esto es, el circuito quedar cerrado, o bien cuando p sea
verdadero o cuando q sea verdadero, o bien cuando ambos
sean verdaderos. Solamente no se encender la lmpara
cuando los dos interruptores estn abiertos, o sea, cuando
p y q, ambos, sean falsos a la vez. Este caso, es la

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

aplicacin de la tabla de verdad de "

pq"

PRINCIPALES COMPUERTAS LGICAS

*

CIRCUITOS ELCTRICOS
Para cualquier frmula proposicional podemos construir un
circuito elctrico que resultar ms fcil en tanto la frmula
tenga slo operadores , y/o ~.
Los circuitos elctricos estn formados por conmutadores o
interruptores que son los rganos lgicos que dejan pasar o no
dejan pasar la corriente elctrica.
Est ado lgico
V
F

Int errup t o r
Cerrado
Abierto

Lmp ara
Encendida
Apagada

Ahora podemos construir los circuitos. El procedimiento que se

sigue es el mismo que se emplea en la construccin de
computadoras electrnicas. Estos circuitos son de dos clases: en
serie y en paralelo.
A. Circuitos en serie: Los circuitos en serie constan de dos o
ms interruptores donde un interruptor est despus de otro
y as sucesivamente. El grfico de un circuito en serie es la
representacin de una frmula proposicional conjuntiva,

", y que

@
lmpara

RELACIN ENTRE LA LGICA Y LA INFORMTICA

I.

pq

q
p

La lgica constituye el fundamento terico de la informtica en cuanto

le proporciona las herramientas para la construccin de lenguajes de
programacin. Entre sus mltiples aplicaciones, la lgica se aplica a la
tecnologa. En este campo, la lgica se aplica a la construccin de
circuitos lgicos y entre ellos los circuitos elctricos, compuertas
lgicas, los diagramas de flujo, etc.

B. Circuitos en paralelo: Los circuitos en paralelo constan de

dos o ms interruptores, donde un interruptor estn en la otra
lnea y as sucesivamente. El grfico de un circuito en
paralelo es la representacin de una frmula proposicional

Co n variables
pro pos ic io nale s

Co n valo re s de e s que ma

Para que este circuito quede cerrado y la lmpara se

encienda, p y q deben estar cerrados, esto es, p y q
deben ser verdaderos a la vez. En otros trminos, es la
aplicacin de la tabla de verdad de la frmula p q.

Son leyes que permiten la transformacin y simplificacin de los

esquemas moleculares en esquema ms simples. Se denominan
equivalencias porque tanto la expresin original como la
expresin simplificada tienen la misma matriz principal en sus
respectivas tablas de verdad. A continuacin las leyes
equivalentes.
Le ye s
Equivalente s

Compuerta AND de dos entradas.

p
q
*

pq

Compuerta OR de dos entradas

p
q
*

Compuerta NOT

p
*

~p

Compuerta NAND de dos entradas

p
q
*

~ (p q )

Compuerta NOR de dos entradas

p
q

~ (p q )

q t es F
Determine los valores de verdad de p, q, r y t.

EJERCICIOS
1)

a)
b)
c)
d)
e)

Seale la matriz principal del siguiente esquema molecular:

[(p q) q] p
a)
b)
c)
d)
e)
2)

VVFV
VFVV
VVVF
FFVV
VVVV

9)

Qu matriz principal corresponde al siguiente esquema

molecular?

r)] (p r)

a) VVVVVVVV b) VVVVVFFV
c) VFFVVFFV d) VVVVVVFF
e) VVVFVVVF

( ) r (s q)
( )

(p r) ~ (r ~ s)

a)
b)
c)
d)
e)

VFF
VVV
FFF
FVV
VVF

10) Si la proposicin compuesta:

Sabiendo que:

Los valores de verdad de las proposiciones p, q, r y s son

respectivamente V, F, F, V.
Obtener los valores de verdad de:
( ) [(p q) r] s

[(p q) ( q

3)

VVVV
VVFF
VFVF
FVFF
FFFF

~ q

~ p ~ q

Seale los valores de:

(p

q)

(p

q)

a) VVVV
b) FFVF
c) FFFV
d) VFVF
e)VVVF

(p q) (r t)

es falsa
Indicar las proposiciones que son verdaderas.
a)
b)
c)
d)
e)

pyr
pyq
ryt
qyt
p;ryt

11) Se tiene que: ~p = F ; q = V y ~r = F.

4)

Si el esquema es F, seale el valor de cada variable (p, q y r)

~ (p q) [p (r q)]
a) VVV b) FFF
d) VVF e) FFV
5)

c)VFV

Si el esquema es V, diga el valor de las variables:

[(~ p
/ q) r] ~ [(r p) s]
a)
b)
c)
d)
e)
6)

(p q) q (r ~ s)

8)

VFVFV
VVFFV
VVVFV
FVFVF
VFVVV

(p q) (s r) es falso, hallar el valor de p, q, r y

Si
s, respectivamente:
a)
b)
c)
d)
e)

VVVF
FVFV
VVFF
VFVV
FVVV

Si se sabe que:

p~ r

rq

a)

(p q) es falso.

b)

p (q ~ r) es verdadero.

c)

(~ p q) es verdadero.

d) ~ r (p q) es falso.
e)

Si el esquema no es V, seale el valor de cada variable

a)
b)
c)
d)
e)

7)

FVVF
FFVF
FVFV
VFVF
VVFF

Entonces:

es F
es V

(r ~ q) es falso.

12) Hallar el valor final en el enunciado siguiente:

"Si Sebastin no estudia y no ayuda en casa, entonces juega
nintendo o no lo hace".
a) Tautologa.
b) Consistencia.
c) Contingencia.
d) Contradiccin.
e) Inconsistencia.
13) Seale la expresin equivalente a la siguiente afirmacin:
"No es cierto que viajes en taxi y no llegues temprano".
a) No viajas en taxi y llegas temprano.
b) Viajas en taxi y llegas temprano.
c) No viajas en taxi y llegas tarde.
d) Si no viajas en taxi, no llegas temprano.
e) No viajas en taxi o llegas temprano.
14) "No se da el caso que Pepe sea mdico y no sea cirujano".
Lo anterior tiene como equivalente a:
a) Pepe es mdico de ah que es cirujano.
b) Pepe no es mdico o es cirujano.
c) Si Pepe no es cirujano entonces no es mdico.
d) Pepe es cirujano o no es mdico.
e) Todas las anteriores.

15) Segn la regla de Morgan, el equivalente de la siguiente

proposicin es:
"Es mentira que nieva y llueva a la vez".
a) No es el caso que nieva o llueva.
b) No nieva ni llueve.
c) No nieva o no llueve.
d) O nieva o llueve.
e) Si llueve, entonces nieva.
16) Utilizando las equivalencias notables, reducir:

~ ~ (p q )~ (~ q ~ p)
.

qp

a)

pq

d)

b)
e)

pq

c)

pq

~ p q

( ~ p q) p ~ (q~

p) p , obtenemos:

Una conjuncin.
Tercio excluido.
Identidad.
No contradiccin.
Idempotencia.

d)

e) p q

23) Reducir la siguiente frmula, usando equivalencias notables:

{p [~ q (~ q ~ p)]} ~ p
a) p q
d) ~ q p

c) q ~ p

b) q ~ p
e) ~p

24) Cules de las siguientes frmulas lgicas son equivalentes?

A. [(p q) q] ~ (p q)

C. [(~ q ~ p) q] (~ p q)
a) A y C
d) B y C

b) C
e) A, B y C

b) A y B

p q ~ (p q)

p# q ~ p ~ q

[(p ~ q)# q] [~ p # (q p)]

~ p ~ q

~ p ~ q

c)

Reduzca:

~ ~ (~ p q ) p q

a)

pq

qp

25) Considerando que:

18) Simplificar

qp

d)

b)

B. (~ p q) ~ (~ q ~ p)

17) Al simplificar el esquema:

a)
b)
c)
d)
e)

a) p q

b)
e)

pq

c)

a)
~ p~ q

q ~ p

q ~ p

c)
e) N. A.

~ qp
~ qp
d)
b)

~ p q

26) La frmula del siguiente circuito lgico es:

p
p
q

19) Simplificando a:

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

, resulta:
a) p
d)

b)

~ pq

~p

c) p q

e) q

20) "Es falso que Juan sea ingeniero y no sea a la vez

matemtico".
Equivale a:
a) Si Juan es matemtico, es ingeniero.
b) Juan es ingeniero o matemtico.
c) Juan no es ingeniero o no es matemtico.
d) Si Juan es ingeniero, es matemtico.
e) Juan es ingeniero o no es matemtico.

a)

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

b)

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

c)

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

d)

(p q) (~ p q q)

e)

p (~ p q) (p q)

27) Reduzca y determine la expresin equivalente:

p

q
p
~p

21) Simplifique:

p
p
~q

[(p q) ~ p] ~ (q ~ p)
a) p
d) ~ p q

b) ~p
e) ~ p q

c)

q
p

p ~ q

22) Determine la proposicin equivalente ms simplificada de:

[(p p) q] [(p p) q] donde:

p q ~ [~ p q]

~q

p
q

a) ~ p ~ q
d) p ~ p

b) p q
p ~ p
e)

c)

pq

28) Determine el diagrama simplificado de :

33) El equivalente de:

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

p
q

~p
~q

a)

c)

d)

b)

~p

e)

a) p

29) El circuito corresponde a:

p'

q'

pq
~ pq
c)
pq
e)
a)

b)
d)

d) ~q

b) ~p

e)

c) q

p q

34) Dado el siguiente circuito:

qp

p
q

~ qp

30) La frmula simplificada de:

s

Si s es falsa.
Cules son los valores de verdad de p y q respectivamente?

s
t

~q

~q
p

a) VV
d) FF

~p

pt

a)

d) ~p

b) ~q
e)

ts

c)

31) Considere

c) FV

35) Los profesores de Aritmtica de la academia TRILCE han

diseado un circuito integrado que recibe p y q como entradas
y s como salida.

~ q ~ p

p x : x A a R / a 4
q x : x 2 4 0
2

b) VF
e) Faltan datos

Determine el valor de verdad de las siguientes

proposiciones:

p1 q2 p2
II. q2 p2 q1
III. ~ p2 ~ q1

I.

a)VVV

b)VVF

c)VFV

d)FFV

e)FVF

a) p

b) q

d) F

e)

36) Sabiendo que la instalacin de cada llave cuesta S/. 20.

Cunto se ahorrara si hacemos una instalacin mnima; pero
equivalente a:

32) Dada la proposicin:

~p

a)VVV b)VVF c)VFF d)FFF e)FFV

r
~p

~ r q r p V
donde se sabe que q es una proposicin falsa.
Halle el valor de verdad de las siguientes
proposiciones:
I. r ~ p ~ q
II. r p q q ~ p
III. r ~ p q p

c) V

pq

~r
~q

a) 80
d) 160

b) 100
e) 180

c) 140

37)

41)

42)

38)

43)

44)
39)

45)

40)

46)