ARITMTICA

LGICA PROPOSICIONAL I

DESARROLLO DEL TEMA

I. INTRODUCCIN P(9): 9 > 6 es verdadero.

La lgica estudia la forma de razonamiento. Es una
disciplina que se utiliza para determinar si un argumen-
to es vlido, tiene aplicacin en todos los campos del
saber; en la filosofa, para determinar si un razonamien-
to es vlido o no, ya que una frase puede tener dife-
rentes interpretaciones; sin embargo la lgica permite
saber el significado correcto. Los matemticos usan la
lgica, para demostrar teoremas e inferir resultados que
puedan ser aplicados en investigaciones. En la compu-
tacin, para revisar programas y crear sus algoritmos, es
utilizada en el diseo de computadoras. Existen circui-
tos integrados que realizan operaciones lgicas con los
bits, gracias a estos se ha desarrollado las telecomunica-
ciones (telefona mvil, internet, ...)
II. ENUNCIADO
Es cualquier frase u oracin que expresa una idea.
III. CONECTIVOS LGICOS
A. Proposicin
Son oraciones aseverativas que se pueden calificar
como verdaderas o falsas. Se representan con las
letras minsculas del abecedario: p ; q ; r ; s.
P(2): 2 > 6 es falso.
El valor de verdad de P(x) depende del valor de x,
tambin, se le conoce como funcin proposicional.
Clases de proposiciones
1. Proposicin simple
Son proposiciones que no tienen conjunciones
gramaticales ni adverbio de negacin.
Ejemplo: Cincuenta es mltiplo de diez.
2. Proposicin compuesta
Formada por dos o ms proposiciones simples
unidas por conectivos lgicos o por el adverbio
de negacin.
Ejemplo: 29 es un nmero primo y 5 es impar.
Smbolos que enlazan dos o ms proposiciones simples
para formar una proposicin compuesta.
Los conectores lgicos que usaremos son:

Ejemplo: Smbolo Operacin lgica Significado

Tpac Amaru muri decapitado.
9 < 10 Negacin No p
45 = 3 2 Conjuncin pyq

B. Enunciado abierto Disyuncin poq

Son enunciados que pueden tomar cualquiera de
Condicional Si p, entonces q
los 2 valores de verdad.
Bicondicional p si y slo si q
Ejemplo:
Disyuncin
Si: P(x) : x > 6 o ...... o ......
exclusiva
Se cumple que:

UNI SEMESTRAL 2013 - III 83 ARITMTICA TEMA 28

 LGICA PROPOSICIONAL I
Exigimos ms!
Observacin: La negacin es un conector mondico, Tabla de verdad
afecta solamente a una proposicin.
p q pq

V V V
IV. OPERACIONES LGICAS Y TABLAS DE
V F F
VERDAD
F V V
F F V
La validez de una proposicin compuesta depende de
los valores de verdad de las proposiciones simples que
la componen y se determina mediante una tabla de E. Bicondicional
verdad. Vincula dos proposiciones mediante el conectivo
lgico: ".............. si y slo si ..............".
A. Conjuncin
Vincula dos proposiciones mediante el conectivo Tabla de verdad
lgico "y". p q pq

V V V
Tabla de verdad
V F F
p q pq F V F
V V V F F V
V F F
F V F F. Negacin
F F F Afecta a una sola proposicin. Es un operador
mondico que cambia el valor de verdad de una
B. Disyuncin proposicin:
Vincula dos proposiciones mediante el conectivo
lgico "o". Tabla de verdad
p p
Tabla de verdad V F
p q pq F V
V V V
V F V Observacin
F V V La cantidad de filas en una tabla es:
F F F
# filas = 2 n

C. Disyuncin Exclusiva Donde n es la cantidad de proposiciones simples.

Vincula dos proposiciones mediante el conectivo
lgico: "o ..........., o .............". Importante
Cuando los valores del operador principal son
Tabla de verdad todos verdaderos se dice que el esquema mo-
p q pq lecular es tautolgico.
V V F
V F V Se dir que el esquema molecular es contra-
F V V dictorio si los valores del operador principal son
F F F todos falsos.

D. Condicional Si los valores del operador principal tiene por lo

menos una verdad y una falsedad se dice que
Vincula dos proposiciones mediante el conectivo
es contingente o consistente.
lgico: "Si ............, entonces ..............".

UNI SEMESTRAL 2013 - III 84 ARITMTICA TEMA 28

LGICA PROPOSICIONAL I
Exigimos ms!
V. LEYES DE LGEBRA PROPOSICIONAL 6. Leyes de Identidad
Son equivalencias lgicas que nos permiten reducir p V V ; p F p
esquemas moleculares complejos y expresarlos en forma p V p ; p F F
ms sencilla. Las demostraciones de dichas leyes se hacen
construyendo la tabla de verdad en cada caso. 7. Leyes del Complemento
p ~p V
Principales Leyes p ~p F

1. Ley de Idempotencia 8. Ley del Condicional

ppp pq ~pq
ppp

9. Ley de la Bicondicional
2. Ley Conmutativa
p q (p q) (q p)
p q q p
p q (p q) (~ p ~q)
pq qp
p q ~ (p q)

3. Ley Asociativa
10.Ley de Absorcin
(p q) r p (q r)
(p q) r p (q r) p (p q) p
p (p q) p
4. Ley Distributiva p (~ p q) p q
p (~ p q) p q
p (q r) (p q) (p r)
p (q r) (p q) (p r)
11.Leyes de "De Morgan"
5. Ley de la Doble Negacin ~ (p q) ~ p ~ q
~ (~ p) p ~ (p q) ~ p ~ q

problemas resueltos

Problema 1 Para que r s sea falsa solo cum- C) p

Si la proposicin: ple si ambas son verdaderas: r V ;
D) q
p q r s s V. Luego, para que p q sea
verdadera, se tiene diversas opciones: E) p q
es falsa. El valor de verdad de p, q, r, s
p V;q F; p V; q F; p F;q F .
(en ese orden) es:
Solo se presentan en las alternativas: Resolucin:
UNI 2012 - I
p F; q F; r V; s V .
A) FFVV p q p p p q
B) FVVF
C) VFVF Respuesta: A) FFVV Por la ley de la condicional se transforma a:
D) VVFF p q p p p q
E) FVFF Problema 2
Seale el circuito equivalente a la pro-
Resolucin: posicin: Por Morgan llegamos a:
Nos indican que p q r s p q p p p q p q p p p q
es falsa, luego: UNI 2012 - I

v F A) p En el primer corchete se aplica absor-

p q s F
r cin:
B) q

UNI SEMESTRAL 2013 - III 85 ARITMTICA TEMA 28

 LGICA PROPOSICIONAL I
Exigimos ms!

p p p q I. p (1) q (2) p (2) De: q(x) : x 2 4 0

q(1) : Si x 1 12 4 0 (F)
Aplicando nuevamente absorcin se II. q (2) p (2) q (1)
reduce a: p, lo cual en circuitos lgi- q(2) : Si x 2 22 4 0 (F)
cos equivale a: III. p (2) q (1)
A) VV V Luego:
p
B) VVF I. p(1) q(2) p(2)
C) VFV V F V V
Respuesta: A) p
D) FFV
E) FVF
II. q(1) p(2) q(1)
Problema 3 F V F F
Considere: Resolucin: III. p(2) q(1)
p(x) : x A {a / a 4}2 Se pide el valor de verdad de las siguien- FVV
tes proposiciones:
q(x) : x 2 4 0 De: p(x) : x A {a / a2 4} Luego: VFV
2
Determine el valor de verdad de las p(1) : Si x 1 1 4 (V)
siguientes proposiciones: p(2) : Si x 2 22 4 (V) Respuesta: C) VFV

UNI SEMESTRAL 2013 - III 86 ARITMTICA TEMA 28