Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
MATEMTICA
Cuarto ao de Secundaria
Docente: Elisban J. Vivanco Gonzales.
Semana del 03 al 14 de abril
VITAPREM N01
EL SECUESTRO:
LOGICA PROPOSICIONAL:
El ser humano en la vida diaria, se comunica con sus semejantes a travs de un lenguaje determinado (oral,
escrito,..., etc.) por medio de las denominadas frases u oraciones, estas pueden tener diferentes significados pero
siempre van a resumirse a las formas de verdaderas o falsas, siendo este el precedente fundamental para el
desarrollo del pensamiento humano. Lo importante en el presente estudio es el hecho de que, a partir de
los enunciados (frases u oraciones) y de acuerdo a su significado es posible establecer una proposicin y a partir de
un conjunto de estas podemos llegar a una conclusin, siendo la ciencia encargada del estudio de estas, la lgica.
1.2. PROPOSICIN.- Una proposicin es un enunciado que tiene la propiedad de ser verdadera (V) o falsa (F),
pero no ambas simultneamente.
Representacin simblica: p, q, r, s, t,..., etc.
Ejemplos:
VALOR DE
REPRESENTACIN PROPOSICIN VERDAD
SIMBLICA
p: El pentgono tiene cuatro lados F
r: Mario Vargas Llosa escribi conversacin en la V
catedral
s: Ica es la regin ms afectada por el terremoto V
del 2 007
t: El parque de la identidad se encuentra ubicado F
en Chilca
p: -4+3=7 F
r: 3,56 > 0,099 V
El valor veritativo o valor de verdad de una proposicin se expresa simblicamente. Si pes una proposicin, su valor
de verdad se denota por V(p)
Se escribe: V(p) = V. Si valor de verdad de la proposicin p es verdadera
Se lee: el valor de verdad de la proposicin p es verdadera
Se escribe: V(p) = F. Si valor de verdad de la proposicin p es falsa
Se lee: el valor de verdad de la proposicin p es falsa
Si en el segundo ejemplo x toma un valor menor o igual que 10 la proposicin es falsa y si x toma un valor mayor
a 10 la proposicin es verdadera.
En el tercer ejemplo las variables o letras x , y pueden tomar infinitos valores para que el valor de verdad de la
ecuacin sea verdadera o falsa.
Conectivas Lgicas
Las Conectivas Lgicas son aquellas que sirven para formar proposiciones compuestas. Simblicamente las
conectivas lgicas se representan del modo siguiente:
Concepto de Proposiciones
Una proposicin es una oracin declarativa de la cual podemos asegurar que es verdadera o que es falsa, pero no
ambas situaciones a la vez.
Proposiciones compuestas o moleculares: son las que constan de dos o ms proposiciones simples entrelazadas por
ciertas particularidades lgicas llamadas conectivas lgicas.
La negacin: la conectiva no es la que se antepone a una proposicin para cambiar su valor de verdad y se
representa por el smbolo o bien o bien .
La conjuncin: es una proposicin compuesta que se obtiene al unir dos proposiciones simples unidas o entrelazadas
mediante el conectivo y, y se representa con el smbolo:
La disyuncin Inclusiva: es una proposicin compuesta de dos proposiciones simples unidas por el conectivo lgico
o, que se representa de la manera siguiente .
La disyuncin Exclusiva: es una proposicin compuesta por dos proposiciones simples entrelazadas por el conectivo
oo y se representa as: V.
La condicional o Implicacin: es la combinacin de dos proposiciones unidas por la conectiva sientonces, que se
representa de la siguiente forma: . La proposicin que aparece entre las palabras Si y Entonces, se denomina
antecedente o hiptesis y la que aparece despus de la palabra Entonces, se le llama consecuente o conclusin.
La Bicondicional o Doble implicacin: es una proposicin que se obtiene al unir dos proposiciones simples mediante
el conectivo si y solo si y se representa as: .
p q pq
La disyuncin Esta proposicin es falsa nicamente cuando las dos proposiciones que la v v v
Inclusiva forman son falsas, en caso contrario es verdadera. v f v
f v v
f f F
p q pq
La disyuncin Esta solo ser verdadera cuando las dos proposiciones que la componen v v f
exclusiva tienen diferentes valores de verdad, en caso contrario es falsa. v f v
f v v
f f f
p q pq
La Condicional Una condicional solo es falsa cuando su antecedente es verdadero y el v v v
o Implicacin consecuente es falso; en los dems casos la condicional es verdadera. v f f
f v v
f f v
p q pq
La Est solo es verdadera cuando las dos proposiciones que la forman tienen el v v v
Bicondicional o mismo valor de verdad, es decir, cuando las dos proposiciones que la forman v f f
Doble ambas sean verdaderas o ambas falsas. En caso contrario la Bicondicional es f v f
Implicacin falsa. f f v
Concepto de Contradiccin v v v
EJERCICIOS DE APLICACIN
Proposicin Proposicin
N Expresin o enunciado N Expresin o enunciado
Si No No Si
1 11 es un nmero impar 6 5 R
X2 = 9
2 6 + 7 = 13 7
es ecuacion de 2 grado
El agua del mar es
3 8 | 3 | = 3
salada
4 Como ests! 9 19 es divisible por 2
Haz caminata
5 10 Vino Julio
temprano
II. En el cuadro anterior Cules de las proposiciones lgicas mostradas tienen el valor de verdad? Y
Cules de las proposiciones lgicas mostradas tienen el valor de falsedad?
III. Expresa simblicamente las siguientes proposiciones compuestas y establece su tabla de verdad
identificando las proposiciones simples con las letras p,q y r. Seala adems su valor de verdad
correspondiente.
IV. Evaluar las siguientes formulas lgicas y establecer si se trata de Tautologa, Contradiccin o
Contingencia.
1) ~ [~ ] 6) ( ) ( )
2) ( ) (~ ) 7) [( ) ]
3) ~( ) [( ) ] 8) ( ) ( )
4) [~ ~ ] 9) [ ] ( )
5) [( ) ~ ] 10) [( ) ( ~ )] ~
V. Dadas las siguientes expresiones unir con una flecha aquellas que sean proposiciones con
PROPOSICIONES y aquellos que sean enunciados abiertos o funciones proposicionales con
ENUNCIADO ABIERTO (marcar con un asterisco las expresiones que no sean ni una ni otra)
N Expresin N Expresin
10 5 es mayor que 2
1 El expreso de la maana
11 Vivimos tiempos de cambio
2 27 es mltiplo de 7
12 Una guerra retrasa el desarrollo
3 X + 5 > 10 PROPOSICIN
13 7x 1 = 56
4 Estudiante excelente
Los nmeros pares siempre tienen
5 Y 2 < 16,5 14
mitad
6 X2 + 5x + 6 = 0 ENUNCIADO
ABIERTO 15 Francisco es ingeniero.
7 2n + 1 es par para todo n 16 El triunfo es de quienes lo buscan
8 El nmero es una idea 17 - 29 + 18 = - 11
9 Estas all? 18 16 es divisor de 4
3) q p ~r
~q q
7)
p p
~r
4) r ~q
8)
~p
APLICO LO APRENDIDO
1. Cul de los siguientes enunciados no es una 3. Mediante una tabla de verdad comprobar las
proposicin lgica? siguientes equivalencias lgicas:
C) D)
r
p q ~q r
q r
r A) (p q) r [(~ p q) r]
B) (p q) r [ (p q)]
C) (p q) r [(~ p q) r]
D) (p q) r [ (~ p ~ q)]
E) N.A
02. Simplificar el siguiente circuito lgico:
~p
06. A qu frmula representa el siguiente
q circuito?
~q
~p p ~p
p q
A) p q B) ~p q C) p q q ~q
D) ~p ~q E) q p ~p
03. Al simplificar el circuito, obtenemos:
~p ~q
(p q) [ q ( p p) ]
p
A)
~p B) {(p q) [(p q) (~q ~p)] ~p} (~p
q
q
p
~q)
C) {(p q) [(p q) (q ~ p)] ~~p} (~ p q)
~p ~q
D) Todas las anteriores
A) p q B) p ~q C) p q E) N.A
D) p ~q E) Ninguna
BIBLIOGRAFIA