Beruflich Dokumente
Kultur Dokumente
QU ES Y PARA QU SIRVE?
Qu es la lgica?
La lgica es la ciencia que estudia la coherencia interna de los razonamientos, es decir su forma y no su
contenido. Su objeto de estudio es la inferencia, el proceso por el cual las conclusiones se derivan de las
premisas.
La lgica determina cundo un razonamiento es contradictorio o incoherente (falso) y cuando es correcto
(posible), y de ese modo permite construir un conocimiento seguro y sin errores.
Mediante esta ciencia podemos advertir qu razonamientos pueden ser ciertos y cules no, cuando son
errneos y cuando pueden ser correctos.
Gracias a que advierte cuando un argumento es plausible (muy posible) y cuando es un error
(improbable), en la vida cotidiana la lgica te ayuda a:
1) Darte cuenta de los errores de tus razonamientos, llevndote a tomas mejores decisiones.
2) Detectar malos argumentos de otras personas, facilitndote evitar que seas engaado.
3) Anticiparte a conflictos que tendrs que enfrentar tarde o temprano, hacindote tener mayor tiempo para
analizarlas tus opciones.
Por eso es til para la vida diaria conocer algunas nociones bsicas de lgica, y tambin es recomendable
para desenvolverse mejor en cualquier discusin, ya sea una discusin laboral, poltica, religiosa, e incluso
sobre ftbol.
La lgica es primordial, porque el hombre es un ser naturalmente social que vive comunicndose
diariamente con otros, y tomando decisiones individuales y en grupo.
PROPOSICIONES LGICAS
S x: Lima, Quito
Enunciado. - Es toda frase u oracin que se Para p (Lima): Lima es la capital del Per es
utiliza en nuestro lenguaje verdadero (V)
Para p (Quito): Quito es la capital del Per
PROPOSICIN. - Es todo enunciado, respecto es falso (F)
de la cual se puede decir si es verdadera (V) o b) q: y + 4 = 11 , y es nmero natural
falsa (F) Y: 0; 1; 2; 3; 4;..
Notacin Para q (1): 1+ 4 = 11 , es falso (F)
Por lo general, a las proposiciones se las q (7): 8+4 = 11 , es verdadero (V)
representa por las letras del alfabeto desde la
letra p, es decir, p, q, r, s, t, etc. Prctica Dirigida N 02
As, por ejemplo, podemos citar las siguientes
proposiciones y su valor de verdad: Determine cuales de los siguientes enunciados
Proposicin son enunciados abiertos y para que valores de la
variable las proposiciones son verdaderas y
q: Rmac es el distrito de la provincia de Lima falsas
(V)
r: El nmero 15 es divisible por 3. (V) a) x es hermano de y
s: El perro es un ave. (F) b) 28 < 15
t: Todos los tringulos tienen cuatro lados (F) c) El es arquitecto
u: Qu da es hoy? No es una proposicin d) Tenga calma ,no se impaciente
p: Viva el Per 1! e) 9x + 3 = 12 , x R
f) x es Ingeniero y Juan es Matemtico
EXPRESIONES NO PROPOSICIONALES g) 3x 8 > 15 , x R
h) x + y 15 , x,y R
a) Levntate temprano! b) Has entendido lo que i) 2x + 5 > 11, x R
es una proposicin? c) Estudia esta leccin! d) j) 3x + 7 = 11, x N
Cul es tu nombre l? e) Prohibido pasar f) Borra l) x es un animal
el pizarrn
CLASE DE PROPOSICIONES
No son proposiciones por no poder ser evaluadas
como verdaderas ni falsas. Las exclamaciones, A) Proposicin Simple o Atmicas. - Son
rdenes ni las preguntas son proposiciones aquellas proposiciones que constan de un solo
enunciado proposicional.
Prctica Dirigida N 01 Por ejemplo, sea la proposicin
p: 3 + 6 = 9
I.-Indique cual (es) de los siguientes enunciados B) Proposicin Compuesta o molecular. - Son
son proposiciones: aquellas proposiciones que constan de dos o ms
a) 5 + 7 = 16 - 4 ( ) proposiciones simples.
b) Estudie lgica proposicional! ( ) Ejemplo:
c) Los hombres no pueden vivir sin oxigeno ( )
d) 3 x 6 = 15 + 1 y 4 - 2 23 x 5 ( ) r: Pitgoras era griego y era gemetra
e) El silencio es fundamental para estudiar?( ) p q
f) 20 -18 = 2 ( )
g) Brea es un distrito de la provincia de Lima ( ) encontramos dos enunciados. El primero (p) nos
h) Un lpiz no es un cuaderno ( ) afirma que Pitgoras era griego y el segundo (q)
i) Eres estudiante de matemtica? ( ) que Pitgoras era gemetra.
j) 15 < 13 ( )
k) Ponga atencin ( ) Ejemplo:
p: Juan es profesor o Manuel es arquitecto
ENUNCIADOS ABIERTOS. - son aquellos Donde podemos observar que la proposicin p,
enunciados que constan de variables. Se convierte se divide en dos proposiciones simples:
en una proposicin cuando se le asigna un valor r: Juan es profesor y
especfico a la variable". Ejemplos: s : Manuel es arquitecto
Es decir, p : r o s
a) p: x es la capital del Per
CONECTIVOS LGICOS. - Enlazan Se trata de una operacin unitaria, pues a partir
proposiciones simples de una proposicin se obtiene otra, que es su
negacin.
A partir de proporciones simples es posible
generar otras, simples o compuestas. Es decir Ejemplo.
que se puede operar con proposiciones, y para
ello se utilizan ciertos smbolos llamados La negacin de
conectivos lgicos p: todos los alumnos estudian matemtica es
~p: no todos los alumnos estudian matemtica
o bien: ~p: no es cierto que todos los alumnos
estudian matemtica
OPERACIONES PROPOSICIONALES ~p: hay alumnos que no estudian matemtica
Ejemplo2
Si p : Hace fri en Invierno , y Doble implicacin de las proposiciones p y q es la
q : Napolen invadi Lima proposicin p q (se lee "p si y slo si q")
p q : Hace fri en Invierno o Napolen invadi
Lima Ejemplo 1:
Por ser al menos una de la proposiciones p : Karina ingresa a la universidad
verdadera la conjuncin es verdadera q : Karina estudia mucho
Entonces:
p q : Karina ingresa a la universidad si y
4.-IMPLICACIN O CONDICIONAL slo si estudia mucho.
Ejemplo 2:
Implicacin de las proposiciones p y q es la Sea i) a = b si y slo si a = b
proposicin p q (si p entonces q). La
proposicin p se llama antecedente, y la El enunciado est compuesto por las
proposicin q se llama consecuente de la proposiciones:
implicacin o condicional.
Ejemplo. p: a = b
q: a = b
Supongamos la implicacin
Esta doble implicacin es falsa si p es F y q es V.
i)Si apruebo, ENTONCES te presto el libro En los dems casos es V.
Tabla de verdad
p q p q p q
Ejemplo. V F V
F V V
Sea p: p q, recordamos su tabla de
verdad
Vemos que para cualquier combinacin de las
proposiciones p y su negacin ~p, la proposicin
t: p ~p es siempre verdadera. Entonces, la
p q p q proposicin t es una tautologa.
Ejemplo.Analizemos ahora la frmula lgica
{(pq)p}q Idempotencia
(p ~p) p
(p ~p) p
p q pq qp {(pq)p}q
Conmutatividad
V V V V V
V F F F V a) de la disyuncin: p q q p
F V V F V b) de la conjuncin: p q q p
F F V F V
Asociatividad
a) de la disyuncin: (p q) r p (q r)
En este caso comprobamos tambin que
independientemente de la combinacin de b) de la conjuncin: (p q) r p (q r)
valores de verdad de las proposiciones p y q, el
resultado de la frmula lgica es siempre V. Distributividad
Decimos, aqu tambin, que esta frmula es una
tautologa o ley lgica. a)de la conjuncin respecto de la disyuncin:
Contradiccin (p q) r (p r) (q r)
Si al estudiar una frmula lgica, a diferencia de
los ejemplos anteriores resulta que para cualquier b)de la disyuncin respecto de la conjuncin:
valor de verdad de las proposiciones (p q) r (p r) (q r)
intervinientes el resultado de dicha frmula es
siempre falso, decimos que dicha frmula es una Leyes de De Morgan
Contradiccin.
~( p q ) ~p ~q
Ejemplo " La negacin de una disyuncin equivale a la
Analizemos la frmula lgica p ~p conjuncin de las negaciones"
p ~p p ~p ~( p q ) ~p ~q
"La negacin de una conjuncin equivale a
la disyuncin de las negaciones"
V F F
F V F
1.1 Negacin de una Implicacin
Contingencia
Encontramos que la frmula es siempre falsa, es
entonces una Contradiccin. Las proposiciones p q y ~(p ~q) son
Si una proposicin no es una tautologa ni una equivalentes, como vemos realizando la tabla de
contradiccin (es decir que contiene al menos un valores correspondientes:
valor V y otro F) es una contingencia.
p q pq (p ~q) ~(p ~q) p q ~(p ~q)
LEYES DEL LGEBRA
PROPOSICIONAL V V V F V V
V F F V F V
F V V F V V
Como bien dijimos arriba, aquellas F F V F V V
frmulas lgicas que resultan ser siempre
verdaderas no importa la combinacin de
los valores veritativos de sus componentes, son Con esto, comprobamos que la negacin de la
tautologas o leyes lgicas. En el clculo primera equivale a la negacin de la segunda, es
proposicional existen algunas tautologas decir ~(p q) ~{ ~(p ~q)}, y podemos
especialmente tiles cuya demostracin se concluir entonces que:
reduce a la confeccin de su correspondiente
tabla de verdad, a saber: ~( p q ) ( p ~q)
5.- Si p y q son proposiciones falsa y verdadera respectivamente , halle el valor de verdad de las
siguientes proposiciones:
a) p V ( p q ) c) p ( p q )
b) ( p V q ) p d) (p V q ) [ p ( p q ) ]
: ( p q ) (: p : q )
4.- Dada las siguientes premisas:
p: Hoy es feriado
q: Maana es da laborable
r: Voy a clase
Formaliza la proposicin: No es verdad que, Hoy sea feriado y que no asista a clase. Por lo tanto voy a
clase.
5.-Si la proposicin: p ( : p q ) , es falsa indicar el valor de verdad de la proposicin:
( p q ) [ p ( p q ) ]
6.-A menos que me equivoque, estoy loco. Pero si estoy loco, tengo que estar equivocado. Por tanto,
estoy equivocado
1.- Cules de los siguientes enunciados son proposiciones , funcin proposicional .Determine su valor de
verdad:
a) El pisco es peruano
b) 3 es un nmero racional
c) Viva el Per!
d) Un tringulo es un polgono de tres lados
e) x es hermano de y
f) 28 < 15
g)Te gusta la Matemtica?
h) El es arquitecto
2
2
i) 36 21
8
j)Tenga calma ,no se impaciente
k) 9x + 3 = 12 , x R
l)18 es mltiplo de 3
ll) x R, x x 1
m)x es Ingeniero y Juan es Matemtico
1
n) x Q / .x 1
3
)Los cuadrilteros tienen 3 lados
o)3x 8 > 15 , x R
p) x + y 15 , x,y R
q) 2x + 5 > 11, x R
r) 3x + 7 = 11, x N
t)x es un animal
2.-
a) Si p es verdadera determinar el valor de verdad de ~pq
b)Si p es falsa p vq
c) Si p es falsa , entonces ~p q es
d) Si la proposicin (p ^ q)r es falsa , determina el valor de las proposiciones:
d .1( p r ) q
d .3( p q ) r
d .2( p q ) r
d .4 ( r p ) ( q p )
ll )x / x 4 4
e)x R, x 0 1 i )x Q / 2 x 1 0 m)x R , x x
a )x N , x 1 2 1
f )x R / x 1 j )x Z , x 2 x 1 0
2
n)x R , x x
b)x N / x 7 0 x k )x I / x 30 1
c )x Q, x 2 4 x 4
2
)x R, x 1
g )x R / x2 l )x x 02
x
d ) Si.x , x 2 0 x2
h)x R / x 2 9 0