ARITMTICA

LGICA PROPOSICIONAL I
DESARROLLO DEL TEMA
I.

INTRODUCCIN

P(9): 9 > 6 es verdadero.

La lgica estudia la forma de razonamiento. Es una

P(2): 2 > 6 es falso.

disciplina que se utiliza para determinar si un argumento es vlido, tiene aplicacin en todos los campos del

El valor de verdad de P(x) depende del valor de x,

saber; en la filosofa, para determinar si un razonamiento es vlido o no, ya que una frase puede tener dife-

tambin, se le conoce como funcin proposicional.

Clases de proposiciones

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 computacin, para revisar programas y crear sus algoritmos, es
utilizada en el diseo de computadoras. Existen circuitos integrados que realizan operaciones lgicas con los
bits, gracias a estos se ha desarrollado las telecomunicaciones (telefona mvil, internet, ...)

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.

II. ENUNCIADO

Ejemplo: 29 es un nmero primo y 5 es impar.

Es cualquier frase u oracin que expresa una idea.

III. CONECTIVOS LGICOS

A. Proposicin

Smbolos que enlazan dos o ms proposiciones simples

Son oraciones aseverativas que se pueden calificar

como verdaderas o falsas. Se representan con las

para formar una proposicin compuesta.

Los conectores lgicos que usaremos son:

letras minsculas del abecedario: p ; q ; r ; s.

Ejemplo:
Tpac Amaru muri decapitado.

Smbolo

Operacin lgica

Significado

9 < 10

Negacin

No p

45 = 3 2

Conjuncin

pyq

B. Enunciado abierto

Disyuncin

poq

Condicional

Si p, entonces q

Bicondicional

p si y slo si q

Disyuncin
exclusiva

o ...... o ......

Son enunciados que pueden tomar cualquiera de

los 2 valores de verdad.
Ejemplo:
Si: P(x) : x > 6
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.

IV. OPERACIONES LGICAS Y TABLAS DE

VERDAD
La validez de una proposicin compuesta depende de

pq

los valores de verdad de las proposiciones simples que

E. Bicondicional

la componen y se determina mediante una tabla de

Vincula dos proposiciones mediante el conectivo

verdad.

lgico: ".............. si y slo si ..............".

A. Conjuncin
Vincula dos proposiciones mediante el conectivo

Tabla de verdad

lgico "y".

pq

Tabla de verdad
p

pq

F. Negacin
Afecta a una sola proposicin. Es un operador
mondico que cambia el valor de verdad de una
proposicin:

B. Disyuncin
Vincula dos proposiciones mediante el conectivo
lgico "o".

Tabla de verdad
p

Tabla de verdad

pq

Observacin

La cantidad de filas en una tabla es:

# 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-

pq

lecular es tautolgico.

Se dir que el esquema molecular es contradictorio si los valores del operador principal son

todos falsos.

D. Condicional

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

Si los valores del operador principal tiene por lo

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
p V p ; p F F

esquemas moleculares complejos y expresarlos en forma

ms sencilla. Las demostraciones de dichas leyes se hacen
construyendo la tabla de verdad en cada caso.

7. Leyes del Complemento

p ~p V
p ~p F

Principales Leyes
1. Ley de Idempotencia

8. Ley del Condicional

ppp
ppp

pq ~pq
9. Ley de la Bicondicional

2. Ley Conmutativa

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

p q q p
pq qp

p q ~ (p q)

3. Ley Asociativa
10.Ley de Absorcin

(p q) r p (q r)

p (p q) p

(p q) r p (q r)

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

4. Ley Distributiva

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 q) ~ p ~ q

~ (~ p) p

problemas resueltos

Problema 1
Si la proposicin:

p q r s
es falsa. El valor de verdad de p, q, r, s
(en ese orden) es:
UNI 2012 - I
A) FFVV
B) FVVF
C) VFVF
D) VVFF
E) FVFF

Resolucin:
Nos indican que p q r s
es falsa, luego:
v
F

s F
UNI SEMESTRAL 2013 - III

Para que r s sea falsa solo cumple si ambas son verdaderas: r V ;

s V. Luego, para que p q sea
verdadera, se tiene diversas opciones:
p V;q F; p V; q F; p F;q F .
Solo se presentan en las alternativas:
p F; q F; r V; s V .

Respuesta: A) FFVV

Seale el circuito equivalente a la proposicin:

p q p p p q
UNI 2012 - I
p

B)

D)

E)

Resolucin:
p q p p p q
Por la ley de la condicional se transforma a:
p q p p p q

Problema 2

A)

C)

Por Morgan llegamos a:

p q p p p q
En el primer corchete se aplica absorcin:

85

ARITMTICA

TEMA 28

LGICA PROPOSICIONAL I

Exigimos ms!
p p p q

I.

p (1) q (2) p (2)

Aplicando nuevamente absorcin se

reduce a: p, lo cual en circuitos lgicos equivale a:

II.

q (2) p (2) q (1)

III. p (2) q (1)

De: q(x) : x 2 4 0
q(1) : Si x 1 12 4 0 (F)
q(2) : Si x 2 22 4 0 (F)

A) VV V

Luego:

B) VVF

I.

C) VFV

Respuesta: A)

V F V V

D) FFV

II.

E) FVF
Problema 3
Considere:
2

p(x) : x A {a / a 4}
q(x) : x 2 4 0
Determine el valor de verdad de las
siguientes proposiciones:

UNI SEMESTRAL 2013 - III

p(1) q(2) p(2)

Resolucin:
Se pide el valor de verdad de las siguientes proposiciones:
De: p(x) : x A {a / a2 4}

q(1) p(2) q(1)

F V F F
III. p(2) q(1)
FVV
Luego: VFV

p(1) : Si x 1 1 4 (V)
p(2) : Si x 2 22 4 (V)

86

Respuesta: C) VFV

ARITMTICA

TEMA 28