INDICADOR: Formula proposiciones conjuntivas, disyuntivas,

bicondicionales, determinando su valor de verdad.

condicionales

LA PROPOSICIN
Contesta (5p)
Una proposicin es:
Completa el siguiente cuadro.
Operador o conectivo lgico

Smbolo

Se lee

Valores de verdad de una proposicin compuesta.

p

~p

p q

p^q

p q

pvq

p q

V V

V V

V V

V F

V F

V F

F V

F V

F V

F F

F F

F F

p q

Sean la proposicin p: La vicua es un auqunido y q: la vicua es una animal, Relacione:

a) Si la vicua no es un animal entonces no es un auqunido

( )

q v p

b) La vicua es un auqunido si y solo si es un animal

( )

pq

c) La vicua es un animal o es un auqunido

( )

~q ~q

d) La vicua no es un auqunido y no es un animal

( )

~p q

Lee correctamente y simboliza (7)

a) Diego llega temprano o no ir al cine
b) Fiorela no ir de paseo si y solo si no hace su tarea

c) Me comprar una cuatrimoto o me ir de viaje. No me comprar la cuatrimoto,

entonces me ir de viaje.
d) Si mi casillero est desordenado, debo ordenarlo. Mi casillero esta desordenado,
entonces debo ordenarlo.
Evala cada formula lgica e identifica si es tautologa, contradiccin o contingencia.
(8p)
a) p ( p q)

b) ( p q ) ~q

c) ( p q ) ~p

d) ( p q ) ( p q )

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

EVALUACIN

_________________________________________
FIRMA PADRE/MADRE/APODERADO

INDICADOR: Resuelve operaciones con conjuntos organizando la informacin en

diagramas de Venn Euler
Utiliza los diagramas de Venn y achura la operacin indicada (utiliza solo dos
conjuntos) (8p)
Unin

Diferencia

Interseccin

Simetra

Diferencia

Complemento

Determina los conjuntos por interseccin y luego completa el crucinmero (4p)

a) { x |N / x = 2 , 2 x < 12 }
b) { x / x es divisor de 10, x < 1 }
c) { b b / b Z, -3 < b -1 }
d) { n - 4 / n Z , 0 < n 5 }
e) { x Z / x = 144 }
f) { 2x + 3 / x N , 18 2x 24 }

D
F
A
B
E
C

Observa el diagrama y halla lo que se le pide (4p)

a) A
A
B

D
9

2
10

11

b) ( A U D ) C

c) n [ ( B U C) ]

5
11

d) ( A C ) U D

Muy atento (7p)

1. Si n(A) = 8 ; n(B) = 14 y n(A U B) = 20 , halla n(A B)

2. De 110 turistas, 60 visitaron el Colca, 54 el can de Cotahuasi y 68 el museo de

Santa Catalina. Los que visitaron los 3 lugares son: la mitad de los que visitaron el
Colca y el can de Cotahuasi , la tercera parte de los que visitaron el Colca y
monasterio de Santa Catalina, y tantos como los que fueron solo al can de
Cotahuasi y el museo de Santa Catalina. Si 18 no visitaron estos lugares. Cuntos
turistas fueron a estos lugares?

3. En un saln, los alumnos y alumnas opinan sobre el mejor jugador de Futbol Brasil
2014. Eligen entre el jugador colombiano James Rodriguez., el argentino Lionel
Messi y el brasileo Neymar. Se sabe que en el saln hay 18 mujeres, 5 hombres
eligieron al brasileo Neymar, 18 votaron por Lionel Messi, 5 hombrs votaron por
James Rodriguez, 7 en total por Neymar y 10 mujeres eligieron a Messi. Cuntos
estudiantes tiene la clase?

EVALUACIN

_________________________________________
FIRMA PADRE/MADRE/APODERADO

Indicador: Analiza y aplica definiciones para hallar el producto cartesiano

Relaciona al nmero 2 con su doble, al 24 con su tercera parte y 3 con su cubo
utilizando:
Tabla de doble entrada

Diagrama digital

Diagrama cartesiano

Defina con un ejemplo que es una relacin binaria.

Analiza las reglas y halla los productos cartesianos

a) Sean L = { x Z / -3 < x < 0 }

P={xZ/ 4<x<8}

Calcular L x P

b) SI A = { 2x + 1 N / -1 < x < 3 }

Halla A x A

c) Sean M = { x N / 1 x 6 } y la relacin binaria R1 = { (x,y) M x M / x+y = 6 .

calcule la suma de los elementos del dominio y rango.

d) Sean los conjuntos N = { x Z / -3 x 3 }

P = { x Z / -2 < x < 4 } y la relacin binaria.
R1 = { (x , y) N x P / x + y = 0 }
Calcula sus elementos del domino y rango.

EVALUACIN

_________________________________________
FIRMA PADRE/MADRE/APODERADO

INDICADOR: Determina el valor de verdad de proposiciones compuestas, conjuntivas,

disyuntivas, condicionales y bicondicionales, utilizando tablas de valores de
verdad.

Define (2p)
-

Enunciado: ........................................................................................................

Proposicin: .......................................................................................................

Proposicin simple: ............................................................................................

Proposicin compuesta: .....................................................................................

Crea 5 proposiciones simples y 5 proposiciones compuestas (3p)

Proposiciones simples
.
.
.
.
.

Proposiciones compuestas
.
.
.
.
.
Crea enunciados para las siguientes formulas (5p)
a) p q = ....................................................................................................
b) p q = ...................................................................................................
c) p q = .................................................................................................
d) p q = .................................................................................................
e) ~(p q) s = .......................................................................................

Complete las siguientes tablas de verdad.

Conjuncin

Disyuncin

Negacin

Condicional

Bicondicional

Lo mximo en la lgica (10p)

a) Determina el valor de verdad de las siguientes proposiciones.
i.

Si 4 + 12 = 16, entonces 16 es un nmero impar

( )

ii.

O 7 es un nmero racional o es irracional

( )

b) Si p V

qF

rF

i.

~ (p q) ~r

ii.

( r ~p) ~( q s)

sV

determine el valor de verdad de:

c) Si la proposicin ( p ~q) ( ~r s) es falsa determina el valor de verdad de:

~[ (~r q ) p ] ~ (~ q s )

d) Evala la siguiente frmula:

i.

[ ( p q ) q ] ~q

ii.

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

iii.

( ~p ~q ) ( p ~q )

iv.

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

EVALUACIN

_________________________________________
FIRMA PADRE/MADRE/APODERADO

INDICADOR: Resuelve operaciones de unin, interseccin, diferencia, diferencia

simtrica, y complemento de un conjunto.

Dados los siguientes conjuntos:

A={m;n; p}

y = { a ; m ; p ; t ; n}

B={m;p;t}

Determine el valor de verdad de las siguientes afirmaciones

a) ( A B ) = { a ; n ; t }

b) A B = A

c) A B = { a ; m }

Observa el grfico y halla los cardinales indicados:

U
A

B
n(A) =

n(A U B) =
n(A B) =

4
7

n( B C) =
n() =

Colorea la regin que corresponde a cada operacin.

a) (A B) (B C)
A

b) ( B U C) (A C)
A

Al mximo con los problemas.

a) Si encuesto a 148 familias sobre el uso de algunos artefactos: Tv, microondas y
refrigeradora y 98 de ellos tiene por lo menos 2 artefactos y 5 familias no tienen
ninguno, Cuntas familias tienen exactamente un artefacto?.

b) En una competencia de 14 pruebas participaron 34 atletas de los cuales 5

conquistaron medallas de oro, plata y bronce, 8 solo de oro y plata, 6 solo de plata y
bronce y 5 solo de oro de bronce, Cuntos atletas no obtuvieron ninguna medalla?

c) En una poblacin, el 50% toma leche y el 40% come carne. Adems, los que solo
comen carne o solo toman leche son el 54%. Cul es el porcentaje de los que no
toman leche ni comen carne?

d) En el quiosco del colegio venden dos sabores de helado: chocolate y vainilla. Andrea
y 24 amigas van a comprar helados. Si 15 de ellas piden de vainilla y 20 de chocolate,
Cuntas compraron helados de los sabores?

EVALUACIN

_________________________________________
FIRMA PADRE/MADRE/APODERADO

INDICADOR: Identifica conectivos lgicos que cumplan cierta jerarqua, adems relaciona
conectivos gramaticales con conectivos lgicos.
Muy fcil: de esta lectura extrae las proposiciones simples y compuestas (2p)
Luisa fue un excelente ejemplo de tolerancia, estudio y responsabilidad, por tal motivo en
las vacaciones hizo pasar unas excelentes vacaciones a su familia, llenas de aventura, sol
y playa.
Proposiciones simples o atmicas.
.
.
.
.
.
Proposiciones compuestas o moleculares.
.
.
.
.
Completa la siguiente tabla (2p).
Operacin
lgica
Negacin
Conjuncin
Disyuncin
Disyuncin Fuerte
o exclusiva
Condicional
Bicondicional

Conectivo u
operador

Se lee

Esquema

Significado

No

~p

No p

Completa las siguientes tablas de verdad (3p)

Conjuncin

Disyuncin

Disyuncin
fuerte

Condicional

Bicondicional

Identifica cuales son proposiciones y determina su valor de verdad (1p)

a) Los perros son mamferos. .................................................................... ( )
b) La raz cuadrada de 20 es un nmero natural ....................................... ( )
c) Cllate! ................................................................................................. ( )
d) Ests de vacaciones? ......................................................................... ( )
e) El sueo de un matemtico .................................................................... ( )
f) Te quiero! ............................................................................................. ( )

Dadas las proposiciones (3p)

p: Marcelo es risueo.
q: Marcelo tiene ojos claros.

a) Marcelo es risueo y tiene ojos claros. ................................................. ( )

b) Marcelo no es risueo ............................................................................ ( )
c) No es verdad que Marcelo tiene ojos claros .......................................... ( )
d) Marcelo no es risueo y tiene ojos claros .............................................. ( )
Si la frmula ( p q ) ( p r ) es falsa, Cuntas de las siguientes afirmaciones
son correctas? (2p)
a) ( p q ) es falsa
b) ( p q ) es verdadera
c) p es verdadero y q es falsa
d) ( p r ) es falsa

Rpta: .
Si la frmula (p q) [ q ( r ~s) ] es falsa, determina el valor de verdad de cada
una de las variables proposicionales (2p)

Identifica el conectivo lgico de mayor jerarqua, luego evala (5p)

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

b) [ ( p q ) r ] [ ~q ( r ~p ) ]

c) [ ~( p q ) r ] ( ~q ~r )

INDICADOR: Aplica leyes lgicas para simplificar frmulas lgicas.

Comprende, aprende y reconoce la siguiente tabla.
Ley de la doble Negacin

Leyes de Morgan

~(~ p ) p

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

Leyes de Idempotencia

Leyes de absorcin

ppp...pp
ppp...pp

p(pq)p
p(pq)p

Leyes conmutativas

Leyes asociativas

pqqp
pqqp
pqqp

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

Leyes distribucin

Leyes del Condicional y Bicondicional

p(q
p(q
p(q
p(q

r)(pq)(pr)
r)(pq)(pr)
r)(pq)(pr)
r)(pq)(pr)

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

Ya! Lo entendiste, ahora mira cmo se aplica.

Simplifica { ( ~p q ) ( q p ) } p
{ ( ~p q ) ( q p ) } p
{ ~( ~p q ) ( q p ) } p

(condicional)

{ [~( ~p) ~q ] ( q p ) } p (de Morgan)

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

(doble negacin)

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

(condicional)

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

(conmutativa)

{ [ p ~q ] p p

(idempotencia y absorcin)

Aplica lo aprendido (10p)

a) p ( p q )

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

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

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

Interpreta y simplifica (10p)

a) Si p q ~p ~q
simplifica p (~p p )

b) Si p q p ~q y p q = ~p q
simplifica ~( p q ) ( p q )

c) Si p q p ~q y
p q ~p q
simplifica ( p q ) ( p ~q)

d) Si r s = ~r s
simplifica
[ (~r s) ( ~s r ) ] ~r

EVALUACIN

_________________________________________
FIRMA PADRE/MADRE/APODERADO

INDICADOR: Establece relaciones entre la teora de conjuntos y la lgica proposicional a

travs de equivalencias entre operaciones lgicas y operaciones conjuntivas.
Completa el siguiente cuadro, t puedes (2p)
Operacin
lgica

Simbolizacin

Representacin Grfica
U
P

Conjuncin

p q regin 2 P Q

Disyuncin Inclusiva

p q regin 1, 2 y 3 P Q

Disyuncin
Exclusiva

p q regin 1, 2 y 3 P Q

Condicional

p q regin 2, 3 y 4 (P Q)

Q
1

p q regin 2 y 4 (P Q)

Bicondicional

Analiza el desarrollo de los siguientes ejemplos y resuelve los propuestos.

Sean las proposiciones
p: Papuchi estudio medicina, y q: Papuchi trabaja.
Representa simblica y grficamente cada proposicin.
a) Papuchi estudia medicina o trabaja.
p

(pq)PQ
={1;2} {2;3} ={1;2;3}

U
P

Q
1

3
4

b) Si Papuchi estudia medicina entonces no trabaja.

p
p ~q P Q ( P Q)

= [{ 1 ; 2 }] { 1 ; 4 }] = { 2 } = { 1 ; 3 ; 4}

Q
1

3
4

Te toca querido Alumno (4p)

a) Sean las proposiciones p: Luisa es seria, y q: Luisa es amorosa. Qu regiones del
diagrama de Venn representa cada uno de los siguientes enunciados? Simblica y
grficamente.
i.

Luisa es seria y amorosa

ii.

Si Luisa es seria, entonces es

amorosa

iii.

Luisa es seria o amorosa

iv.

No es el caso que Luisa sea

seria o amorosa

l cine

Bladi va

teatro

Bladi

aa

al

Hay ms: Segn el diagrama. Qu regiones representa cada proposicin? (4p)

4
a) Bladi va al cine o al teatro

b) O Bladi va al cine o al teatro

c) Bladi va al cine o a la vez que al teatro

d) Si Bladi va al teatro, no va al cine

Finalmente: con ayuda de un diagrama de Venn para tres conjuntos, determina las
regiones que representa cada proposicin.
a) ~r ( q p )

b) ( p q ) r

c) [ ( p q r ) ( q ~( r p ) ) ]

d) ( p q) ( r q )

EVALUACIN

_________________________________________
FIRMA PADRE/MADRE/APODERADO

INDICADOR: Expresa simblicamente proposiciones compuestas utilizando variables y

conectivos lgicos.
Remember y completa (2p)
Operaciones lgicas
Variables
p

Conjuncin

Disyuncin
inclusiva

Disyuncin
exclusiva

Condicional

Bicondicional

pq

pq

pq

pq

pq

Importante aporte
Conectivo
lgico

Conectivo gramatical

No, no es cierto que, es falso que, no ocurre que, no es verdad que,

no es el caso que.

Pero, adems, aunque, sin embargo, a la vez, tambin, no obstante

O ; al menos.

O .. o .. ; a menos que ; salvo que ;

Si . entonces ; luego ; por lo tanto ; en conclusin.

Si y solo si ; cuando y solo cuando ; entonces y solo entonces ; es

igual a .

Halla los valores de verdad de p, q, r, y s si la proposicin ( p ~q ) ( r ~s) es

falsa (2p)

Si ( p q ) y ( q r ) son falsas, halla el valor de verdad de ( p q ) (2p)

Evala las siguientes frmulas lgicas (8p)

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

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

c) [ ( p q ) ( p r ) ] ( q ~r )

d) [ ( p q ) ( q r ) ] ( p r )

Formaliza las siguientes proposiciones (4p)

a) Mario es diseador y vive en Arequipa

b) Juan Pablo es diseador o vive en Arequipa

c) Gabriel no es diseador ni vive en Arequipa

d) No es cierto que Sergio sea diseador y viva en Arequipa

Formaliza y evala la proposicin Si te preparas para triunfar, entonces triunfars;

sin embargo, no te preparas para triunfar

EVALUACIN

_________________________________________
FIRMA PADRE/MADRE/APODERADO

INDICADOR: Establece relaciones entre operaciones lgicas y operaciones conjuntistas

de manera grfica y simblica.
Remember y completa (2p)
Operacin
lgica

Simbolizacin

Representacin Grfica
U
P

Conjuncin

p q regin 2 P Q

Disyuncin Inclusiva

p q regin 1, 2 y 3 P Q

Disyuncin
Exclusiva

p q regin 1, 2 y 3 P Q

Condicional

p q regin 2, 3 y 4 (P Q)

Q
1

Bicondicional

p q regin 2 y 4 (P Q)

Sean las siguientes proposiciones formaliza mediante conjuntos (5p)

p: Scrates fue filsofo.
q: Scrates naci en Atenas
r: Scrates es inmortal
i.

Si Scrates fue filsofo, entonces es inmortal.

ii.

Scrates no fue filsofo, ni naci en Atenas

iii.

Si Scrates no fue filsofo, y naci en Atenas, entonces no es inmortal.

iv.

Si Scrates no fue filsofo, ni naci en Atenas, entonces es inmortal.

Dados los conjuntos U = { - 2 , 0 ; 2 ; 4 ; 6 ; 8 }

P = { 2 ; 4 ; 8 } y Q = { -2 ; 2 ; 6 } Determina (4p)
a) p q

b) p q

c) p q

d) p q

e) ~p

f) (p q) r

Demuestra a travs de conjuntos si las siguientes equivalencias son correctas (9p)

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

b) [ p ( q ~r ) ] [ ~r ( q ~p) ]

EVALUACIN

_________________________________________
FIRMA PADRE/MADRE/APODERADO

INDICADOR: Determina la validez de un argumento mediante el mtodo de comparacin

por analoga con las principales reglas de inferencia.
Elaboramos la estructura del argumento a la frmula lgica y luego se confrontan la
estructura obtenida con sus leyes de las reglas de inferencia conocidas.
Completa (2p)
Modus: Ponendo ponems (MPP)

Modus: Tallendo Tallens (MTT)

P1 : p q
P2 : p
-----------------C:q
Ley:

P1 : p q
P2 : ~q
-----------------C : ~p
Ley:

Silogismo Hipottico (SH)

Modus: Ponendo Tallens (MPT)

P1 : p q
P2 : q r
-----------------C:pr

P1 : p q
P2 : p
-----------------C : ~q
Ley:

Ley:
Modus Tallendo Ponems (MTP)

Silogismo Disyuntiva (SD)

P1 : p q
P2 : ~p
-----------------C:q
Ley:

P1 : p q
P2 : ~p
-----------------C:q
Ley:

P1 : p q
P2 : ~q
-----------------C:p
Ley:

P1 : p q
P2 : ~q
-----------------C:p
Ley:

Crea un enunciado para cada regla de inferencias o analogas (8p)

MPP

MTT

SH

MPT

SD

MTP

SD

Aplica el mtodo de comparacin por analoga para determinar la validez de los

siguientes argumentos:
a) O Olenka estudia Matemtica o Filosofa. Sabemos que Olenka estudia Matemtica,
por lo tanto, Olenka no estudia Filosofa

b) Mario es Filsofo o socilogo. Sabemos que Mario no es socilogo, por consiguiente

es filsofo.

c) Si Juan estudia para el examen, entonces aprobar el curso. Juan estudio para el
examen. Por consiguiente aprobar el examen.

d) Si en la playa nos exponemos mucho al sol, nuestro cuerpo se broncea mucho.

Nuestro cuerpo no se bronceo mucho. Por consiguiente, no nos exponemos mucho
al sol.

EVALUACIN

_________________________________________
FIRMA PADRE/MADRE/APODERADO