Anda di halaman 1dari 11

INACAP

AREA : ADMINISTRACION Y NEGOCIOS

MATEMATICAS I
LENGUAJE MATEMATICO
PROPOSICIONES LOGICAS

GUIA DE APOYO 1

PROYECTO HOMOGENEIZACION CIENCIAS BASICAS


AREA DE MATEMATICAS
2001

LOGICA PROPOSICIONAL
La Lgica Moderna atiende solamente las proposiciones y estudia las relaciones que
existen entre ellas. Tambin es llamada Lgica Proposicional. Su estudio permitir consolidar
recursos lgicos, simblicos y estructurales del lenguaje matemtico.

Se orienta hacia los siguientes objetivos a lograr;


Operar secuencialmente un planteamiento en el lenguaje natural.
Verificar el valor de verdad en proposiciones lgicas.
Analizar expresiones cuantificadas lgicamente.
Aplicar la valoracin lgica en secuencias algortmicas.
Verificar el valor de verdad de una proposicin lgica en calculadora grfica.

Los temas a tratar son;


Argumentos lgicos y variables
Conectivos lgicos y sus propiedades
Tablas de verdad
Cuantificadores
Valoracin lgica y secuencias algortmicas
BIBLIOGRAFA

Razonamiento Matemtico
Matemticas Bsicas
Teora de Conjuntos y temas afines

Rodrguez Ahumada Thomson Editores


John C. Peterson
Cecsa
Seymur Lipchutz
Mc-Graw Hill

2. Edicin
1 Edicin
10 Edicin

LOGICA PROPOSICIONAL
SINTESIS TEORICA
Proposicin:

Es un concepto primitivo, que no se define.


Es el nombre que se le da a todo enunciado que tenga un sentido lgico,
este puede ser verdadero o falso.
Para denotarlas se utilizan las letras minsculas p, q, r, s, etc.

Ejemplos:
1)
Santiago es la capital de ChileProposicin Verdadera.
2)
Cinco es mayor que diez
Proposicin Falsa.
3)
Qu hora es?
No es proposicin ya que no es ni verdadero ni
falso.
Proposicin Simple: es aquella que no esta vinculada a ninguna otra.
1er Principio: El valor de verdad de una proposicin:
Una Proposicin puede ser verdadera o falsa.
2do Principio: Negacin.
La negacin es cambiar el sentido de verdad de la proposicin.
Se denota por: p p p p
Tabla de verdad

Para n proposiciones simples, las entradas a la tabla son 2n. (La mitad
verdadera y la otra mitad falsas).

p
V
F

p
F
V

Dos entradas a la tabla.


n = 1, 2n = 21 = 2

Proposicin Compuesta: esta formada por proposiciones simples que estn vinculadas por
conectivos lgicos.

Conectivos Lgicos

V
V
F
F

V
F
V
F

Conjuncin y
Disyuncin o
Condicional implica, entonces
Bicondicional s y solo si

Conjuncin

Disyuncin

Condicional

Bicondicional

pq

p q

pq

pq

V
F
F
F

V
V
V
F

V
F
V
V

V
F
F
V

Clasificacin de una Proposicin Compuesta:


1)

Tautologa: Una proposicin es una tautologa o teorema lgico si su tabla de verdad es


verdadera en todas sus combinaciones.

2)

Contradiccin: Una proposicin es una contradiccin si su tabla de verdad es falsa en


todas sus combinaciones.

3)

Contingencia: Una proposicin es una contingencia si la tabla de verdad tiene resultados


lgicos verdaderos y falsos, o sea no es tautologa ni contradiccin.

Ejemplo: Construir la tabla de verdad asociada a las siguientes proposiciones:

p (p q)

1)
p

V
V
F
F

V
F
V
F

pq
V
V
V
F

p (p q)

V
V
V
V

Paso

V
V
F
F
2

Mtodo 1

p p
V F
F V

p
V
V
F
F

(p

V
V
V
V
V
V
F
V
V
F
F
V
1
2
3
Mtodo 2

q)
V
F
V
F
1

TAUTOLOGIA

p p

2)

3)

p p
F
F

p
V F
F F
Paso 1 2

p
F
V
1

CONTRADICCION

(p q) (p q)
q p q p q (p q) (p q)
V
V
V
V
F
V
F
F
V
V
F
F
F
F
F
V
Paso

(p
V
V
F
F
1

V
V
V
F
2

q)
V
F
V
F
1

V
F
F
V
3

(p
V
V
F
F
1

V
F
F
F
2

q)
V
F
V
F
1

CONTINGENCIA

ALGEBRA DE PROPOSICIONES
Equivalencia lgica: Dos proposiciones se dicen lgicamente equivalentes si sus tablas de verdad
son iguales y se denota por .

Por Ej.:

1)
2)

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

LEYES DEL ALGEBRA DE PROPOSICIONES


1) Leyes de Idempotencia:

a) p p p
b) p p p
2) Leyes Asociativas

a) (p q) r p (q r)
b) (p q) r p (q r)

3) Leyes Conmutativas

a) p q q p
b) p q q p
4) Leyes Distributivas

a) p (q r) (p q) (p r)
b) p (q r) (p q) (p r)

5) Leyes de Identidad

a) p F p
b) p V p

c) p V V
d) p F F

6) Leyes de Complemento

a) p p V
b) V F

c) p p F
d) F V

7) Ley de Involucin

a) p p
8) Leyes de DeMorgan

a) (p q) p q
b) (p q) p q

Las equivalencias se pueden


construyendo la tabla de verdad.

demostrar

Definicin condicional
Definicin Bicondicional

EJERCICIOS RESUELTOS DE LOGICA PROPOSICIONAL


1)

Identificar las proposiciones simples, los conectivos y escribir en forma simblica.


Las rosas son rojas y las violetas azules

Solucin:

2)

p: Las rosas son rojas


q: las violetas son azules
Conector y
Forma simblica:
pq

Construya la tabla de verdad asociada a la siguiente proposicin compuesta.

(p q) (p q)

Solucin:
p
V
V
F
F

q
V
F
V
F

pq
V
F
F
F

pq
V
V
V
F

~(p q)
F
F
F
V

(p q) (p q)
F
F
F
F
Paso

(p
V
V
F
F
1

V
F
F
F
3

Mtodo 1

3)

Demostrar la siguiente equivalencia: p (~p q) p q

a)
b)

Construyendo la tabla de verdad


Por el lgebra de proposiciones

q) ~
V F F
F F F
V F F
F F V
1
4 3
Mtodo 2

(p
V
V
F
F
1

V
V
V
F
2

q)
V
F
V
F
1

Solucin:

a)
P
V
V
F
F

V
F
F
F

V
F
V
V

(~p
F
F
V
V

q)
V
F
V
F

p
V
V
F
F

V
F
F
F

q
V
F
V
F

Son equivalentes, porque sus


tablas de verdad son iguales

b)
p (~p q)

4)

(p ~p) (p q)
F (p q)
pq

Ley distributiva
Ley de Complemento
Ley de Identidad

Sea p: Hace fro y sea q: Est lloviendo. D una frase verbal sencilla que describa cada
uno de los siguientes enunciados:

a)

~p

b)

pq

c)

pq

d)

q ~p

e)

~p ~q

En cada caso, traduzca, y para que se lea y, o y Es falso que o No, respectivamente,
y luego simplifique la frase.
Solucin:
a)
b)
c)
d)
e)

No hace fro.
Est haciendo fro y est lloviendo.
Est haciendo fro o est lloviendo.
Est lloviendo o no est haciendo fro.
Ni est haciendo fro ni est lloviendo.

5) Con las leyes del lgebra proposicional simplificar: ( p q ) p


Solucin:

(p q) p p (p q)
(p p) (p q)
como p p F
F ( p q)
pq

conmutativa
distributiva
complemento
identidad

LOGICA PROPOSICIONAL, EJERCICIOS PROPUESTOS

1)

Sean p: Cinco es mayor que diez y q: Dos ms dos son cuatro. Describir con un
enunciado verbal las siguientes proposiciones.

a)
b)
c)
d)
e)
f)
2)

Sean p: Pedro habla ingls y q: Pedro habla francs. D una frase sencilla que describa
lo siguiente:

a)
b)
c)
d)
e)
f)
3)

pq
pq
p q
p q
p
(p q)

Construya la tabla de verdad asociada a las siguientes proposiciones:

a)
b)
c)
d)
e)
f)
g)
h)
i)
j)
k)
l)
4)

p
pq
pq
q p
p q
p q

(p p) p
(p q) p
p (p p)
(p q) (p q)
p (q p)
(p q) r
[(p q) q] p
(p r) (q s)
[(p q) r] (r s)
[(p q) r] q
{[(p q) (p r)] (r p)} (p q)
{[(p q) (r s)] (r p)} (p q)

Cuales de las siguientes proposiciones son tautologa:

a) (p q) (p q)
b) p (p q)
c) (p q) (q p)

5)

Identificar las proposiciones simples, los conectivos, escribir en forma simblica y


determinar la verdad de cada uno de los siguientes enunciados:
a)
b)
c)
d)
e)

6)

Demostrar las siguientes equivalencias:


i)
Construyendo la tabla de verdad
ii)
Por el lgebra de proposiciones

a)
b)
c)
d)
e)
f)
g)
h)
i)
j)
7)

p q se lee Ni p ni q

p q p q
Construir la tabla de verdad p q
a)
b)
Demostrar las siguientes equivalencias:
i)

Construyendo la tabla de verdad

ii)

Por el lgebra de proposiciones

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

Si p es una proposicin verdadera, q una proposicin falsa, determinar el valor de verdad


de:

a)
b)
c)
9)

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

La conectiva es la conjuncin negativa;

I)
II)
III)
8)

Si 3 + 2 = 7, entonces 4 + 4 = 8
No es verdad que 2 + 2 = 5, si y slo si, 4 + 4 = 10
Pars est en Inglaterra o Londres est en Francia.
No es verdad que 1 + 1 = 3 o que 2 + 1 = 3
Es falso que si Pars est en Inglaterra, entonces Londres est en Francia.

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

Demostrar que las siguientes proposiciones son tautologa.


Simplifique aplicando el lgebra de proposiciones.

a)
b)
c)
d)
e)
f)
g)
h)
i)
j)

p p
pp
(p q) p
p (p q)
[p (p q)] q
(p q) [p (q r)]
(p q) [(p r) q]
[(p r) q] (p q)
[p (q r)] (p q)
(p q) [(p r) (q r)]

10) Con las leyes del lgebra de proposiciones simplificar:


a) p ( p q )
b) ( p q ) ( p q )

11) Indique si es verdadero o falso:


a) p p q
b) p p q
c) q p q
d) ( p q ) (q p )
e) p p q
12) Si se sabe que

p q =V

Determinar el valor de verdad de

; r p= F
Determinar el valor de verdad de:

qr=F.
[(r q ) (r q )]

13) Sea p q = F

14) Si
a)
b)
c)

pr

(p q ) es falsa. Cul es el valor de verdad de:


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

15) Si p es V, q es F, r es V, anotar el valor de verdad de:


a) ( p q ) r
b) ( p q ) r

Soluciones:
1)
a)
b)
c)
d)
e)
f)
2)

a)
b)
c)
d)
e)
f)

Cinco no es mayor que diez.


Cinco es mayor que diez y dos ms dos son cuatro.
Cinco es mayor que diez o dos ms dos son cuatro.
Dos ms dos son cuatro o cinco no es mayor que diez.
Cinco es mayor que diez si y slo si dos ms dos no son cuatro.
Cinco es mayor que diez, entonces dos ms dos no son cuatro.
Pedro habla ingls o francs.
Pedro habla ingls y francs.
Pedro habla ingls pero no francs.
Pedro no habla ingls o no habla francs.
No es cierto que Pedro no hable ingls.
No es cierto que Pedro no hable ingls o no hable francs.

3)
a) V b) V c) F d) V e) F f) V g) V h) F i) V j) V k) F l) V
V
V
V
V
F
F
V
V
V
F
V
V
V
V
F
V
V
F
V
V
F
V
V
V
V
V
V
V
V
V
F
F
V
F
V
V
F
F
V
F
V
F
V
F
V
F
V
V
F
F
V
F
V
V
F
F
V
V
F
V
V
F
F
V
V
V
V
F
V
V
F
V
V
F
F
V
V
F
V
F
4)

a) y c) son tautologa.

5)
Proposicin simple
p
a)
b)
c)
d)
e)

3+2=7
2+2=5
Pars
est
Inglaterra
1+1=3
Pars
est
Inglaterra

en

Forma
simblica
pq
( p q)
p q

Verdadero
Falso
Falso

en

( p q)
(p q)

Falso
Falso

q
4+4=8
4 + 4 = 10
en Londres
est
Francia
2+1=3
en Londres
est
Francia

Sentido lgico