You are on page 1of 7

Departamento de Matemtica Fsica

GUA DE APRENDIZAJES
Terceros Medios 2016
Academia Iquique Bajo Molle

LOGICA MATEMATICA
III MEDIOS- MATEMTICA

NOMBRE:________________________________________________________
CURSO:___________
Objetivos:
Reconocer proposiciones simples y compuestas, analizar el valor verdad de proposiciones
simples y compuestas.
Aplicar las tablas de verdad de la conjuncin, disyuncin, implicacin, bicondicional y negacin.
Recordar y aplicar las leyes de Morgan, funcin proposicional y cuantificadores.
Plantear y resolver problemas que involucran un reforzamiento de los contenidos de lgica.

CONCEPTOS
La lgica es una ciencia formal y una rama de la filosofa que estudia los principios de la demostracin
e inferencia vlida. La palabra deriva del griego antiguo (logike), que significa dotado de razn,
intelectual, dialctico, argumentativo, que a su vez viene de (logos), palabra, pensamiento,
idea, argumento, razn o principio.
Tradicionalmente ha sido considerada como una parte de la filosofa. Pero en su desarrollo histrico, a
partir del final del siglo XIX, y su formalizacin simblica ha mostrado su ntima relacin con las
matemticas; de tal forma que algunos la consideran como Lgica matemtica.
Proposicin: es una expresin del lenguaje a la cual puede aplicarse con sentido uno y solo uno de
los calificativos verdadera o falsa. Smbolo para verdadera: V y para falsa: F.
Las proposiciones se representan con letras (p, q, r, s, t, etc).
EJEMPLO:
p : El ser humano es mortal
q : El perro vuela
CLASE DE PROPOSICIONES
Las proposiciones se clasifican en simples o compuestas.

Las simples son las que constan de un slo enunciado.


Ejemplo: La tierra es cuadrada.
Las compuestas son las que constan de dos o ms proposiciones simples, unidas por ciertas
expresiones o conectivos, como: o, y , entonces , si y slo s .
Ejemplo:
p: las mujeres son hermosas.
Simple
q: los hombres son malos.
Simple
t : si las mujeres son hermosas entonces los hombres son malos. Compuesta

EJERCICIOS
1. En cada oracin identifique si son o no proposiciones.
a) Los gatos ladran.
c) Chile ser campen en Brasil.
e) 5 9 = 7.

b) 2x + 7 = 10.
d) Dos ms tres es igual a cuatro.
f) Hola vas a ir a la playa.

2. Coloca una S a cada proposicin simple y una C a cada proposicin compuesta.


a)
b)
c)
d)

Este libro tiene ms pginas que el otro.


Rosa es menor de edad y su hermano es mayor de 18 aos.
Si las exportaciones disminuyen entonces bajaran las utilidades
2 + ( -7) = 9

NEGACIN DE UNA PROPOSICIN


La negacin de una proposicin es aquella que modifica la proposicin dndole sentido contrario.
Ejemplo:
p : 5 es mayor que 2
verdadera
~ p : 5 no es mayor que 2
falsa
OBSERVACION: Toda proposicin negada, se considera como una proposicin compuesta.
AXIOMA DE LA NEGACIN
p y ~ p , tienen valores de verdad contrarios

p
V
F

~p
F
V

~(~p)
V
F

EJERCICIOS

CONECTIVOS LOGICOS
Conectivo
Conjuncin
Disyuncin
Condicional
Bicondicional

Smbolo

y
o
Si . entonces .
S y solo si

EJERCICIOS
1. Escribe en forma simblica los siguientes enunciados.
a)
b)
c)
d)
e)
f)

Si la produccin aumenta entonces bajaran los precios.


Los precios son altos si y solo si los costos aumentan.
Si aumenta la demanda esto implica que aumenta la oferta y viceversa.
La luna es redonda o la tierra es cuadrada.
Este problema no es correcto.
Mi reloj esta malo o llegamos tarde.

2. Sea p la proposicin hace fro y q la proposicin llueve escribe en forma verbal los
siguiente enunciados.

a) : p

b) p : q

c) p q
e) : p q

d) : q : p
e) q ( p : q )

TABLAS DE VERDAD

Conjuncin
p
V
V
F
F

q
V
F
V
F

Disyuncin

pq
V
F
F
F

p
V
V
F
F

Condicional
p
V
V
F
F

q
V
F
V
F

p q
V
F
V
V

Bicondicional
p
V
V
F
F

q
V
F
V
F

p q
V
F
F
V

q
V
F
V
F

pq
V
V
V
F

Disyuncin Excluyente
p
V
V
F
F

q
V
F
V
F

p q
F
V
V
F

EJERCICIOS
1. Si p y r son proposiciones verdaderas y q una falsa , determina el valor verdad de :

a) p : r

b) : q p

c) : p : r

d)

e) : q r : p

e)

p : r q
: p : q r : q

2. Qu condiciones debe cumplir p y q , para que la siguiente proposiciones sea :

a) q p : q p : q

sea falsa

b) : p q : r : q r
c) : p p q p q

sea falsa
sea verdadera

LEYES DE MORGAN

( pq)pq
( pq)pq

Ejemplos:
t: No es cierto que, las mujeres son buenas o los hombres son malos.
t: Las mujeres son malas y los hombres son buenos
p: La educacin est en crisis y no se arreglara mientras los polticos sigan apegados a sus intereses
partidarios.
p: No es verdad que, la educacin no est en crisis o se arreglara mientras los polticos sigan
apegados a sus intereses partidarios.

: p q p : q
NEGACION DEL CONDICIONAL:

: p q p : q : p q
NEGACION DEL BICONDICIONAL:

EJERCICIOS
1. Aplicando las leyes de Morgas y las negaciones del condicional y bicondicional simplifica las
siguientes proposiciones.

a) : p : q

b) : : p : q

c) : p : q : p q

d) :

e) : p : q : : p q

f)

p q : q
: : p : q q

2. Escriba de otra forma los siguientes enunciados y que signifique exactamente lo mismo.
a) No es cierto que, si 2 + 4 = 7 entonces 4 2 = 2
b) No es verdad que, si practico buenos valores implica que ser buen estudiante y triunfare en la
vida.
c) Est penado con presidio segn la nueva ley de trnsito manejar bajo la influencia del alcohol o
drogas
d) El domingo no ir al futbol o no ir a la playa.
e) Me gustan los helados de frutas y los helados de chocolate.
f) Me gusta jugar al futbol y no me gusta el basquetbol.

TAUTOLOGA: proposicin compuesta formada por dos o ms proposiciones equivalentes. Tabla


cuyos valores son todos verdaderos.
CONTRADICCIN: es aquella proposicin compuesta cuyos valores son todos falsos.
CONTINGENCIA: proposicin compuesta cuya tabla de verdad tiene valores verdaderos y falsos.
EJERCICIOS
1. Demuestre usando tablas de verdad si las siguientes proposiciones son tautologa (T), contingencia
(K) o contradiccin (C).

a. p q : q : q

p q r : p : q r
d.
p q p r p q r
f. : p : q p q

b.

c. : p : q p q

e. p q q r p r

FUNCION PROPOSICIONAL
Funcin lgica: Dado un conjunto A cualesquiera, llamamos funcin lgica a la expresin F(x); con la

condicin de que para todo a A, F(a) es una proposicin.


Ejemplo: Sea M el conjunto de todos los seres vivos.

P(x) : x M/ x vuela.
Cada vez que el smbolo (x) sea reemplazado por un elemento del conjunto M, la funcin proposicional
pasa a ser una proposicin y tiene su valor de verdad.
EJERCICIOS
Dado el conjunto

A x / 4 x 7
y la funcin preposicional

P ( x ) x A / 2 x 4

a) Para qu valores de A, P(x) es una proposicin verdadera.


b) Para qu valores de A, P(x) es una proposicin falsa.

CUANTIFICADORES
Cuantificadores: son frases que transforman una funcin proposicional en una proposicin.
Los cuantificadores son:

Cuantificador universal: se simboliza:


nos indica que para todo x

y se lee: para todo. Este cuantificador Universal

x A; F(x)

A, F(x) es una proposicin verdadera.

Cuantificador existencial: se simboliza por


x

y se lee: existen algunos

x A; F(x)

A, F(x) es una proposicin verdadera.

Cuantificador existencial nico: se simboliza:

!x A; F(x)

y se lee: existe solo un x

A, F(x) es una

proposicin verdadera.
EJERCICIOS

A x / 4 x 7

Dado el conjunto

y la funcin preposicional

P ( x) x A / 2 x 4

Indique si las proposiciones siguientes son verdaderas o falsas.

a. x A ; P( x ) es verdadera.
b. ! x A : P( x ) es falsa.
c. x A : P( x ) no es verdadera.
d. : ( x A ; P( x ) no es verdadera ).
e. : ( x A : P( x ) es verdadera ).

EJERCICIOS
Seleccin mltiple. Resuelve cada uno de los siguientes ejercicios y encierra con una circunferencia la
alternativa correcta.

1. Sean p y q proposiciones, p verdadera y q falsa. Cul alternativa es verdadera?


a)

p q

b)

pq

c)

pq

d)

p q

e)

p q

2. Dadas proposiciones p y q. Si p falsa y q falsa. Cul de las siguientes alternativa es falsa?


a)

p q

b)

p q

c)

p q

d)

( p q) q

e) N.A
3. Cul
a)

p q

b)

pq

c)

pq

alternativa

corresponde a la siguiente tabla?

d) p q
4. Dadas las proposiciones p: -7+10<-5; q: 6+-13>-8. Cul alternativa es verdadera?
a)

q p

b)

p q

c)

p q

d)

pq

e) N.A
5. La proposicin
a)
b)
c)
d)
e)

pq

tiene por tabla:

VVFV
VVFF
FFFF
VVVV
N.A

6. Cul de las siguientes alternativas es una tautologa?


a)

pq

b)

p q

c)

q p

d)

( p q ) ( p q)

e)

( p q) p

7. Sea p y q proposiciones, entonces


a)
b)
c)
d)
e)

Verdadera
falso
tautologa
contradiccin
contingencia

[ p ( p q) ]

es:

f)
g)

8. El enunciado No es cierto, que el hombre ladra y la mujer habla es equivalente a:


h)
a) El hombre no ladra o la mujer no habla
b) El hombre ladra y la mujer no habla
c) El hombre ladra y la mujer habla
d) El hombre ladra o la mujer no habla
e) N.A
i)
j)
9. La negacin del enunciado x; x+1 > x es:
k)
a) x; x+1 < x
b) x; x+1 x
c) x; x+1 > x
d) x; x+1 x
e) N.A
l)
m)
10. La negacin de la frase Todos los hombres son inmortales es:
n)
a) Todos los hombres son mortales
b) Existe un solo hombre inmortal
c) Existen algunos que no son mortales
d) Algunos hombres son inmortales
e) Existe al menos un hombre mortal.
o)
p)

11. Sea la proposicin p: x

IN, x + 2 > 0 entonces ~p es:

q)

a) x

b) x

c) x

d) x

e) x

IN, x + 2 = 0
IN, x + 2 < 0
IN, x + 2 0
IN, x + 2 > 0
IN, x + 2 0

r)
s)

( p q ) : p

12. Dadas las proposiciones p, q entonces el valor de verdad de


t)

a)
b)
c)
d)
e)
u)

FVFV
VFVF
FFVV
VFVV
VVVV

v)
w)
x)
y)
z)
aa)

ab)
ac)
ad)
ae)

es: