You are on page 1of 6

LGICA PROPOSICIONAL 5) Quisiera algn da poderte dar un beso

INTRODUCCIN Son proposiciones lgicas:


Es una disciplina que se utiliza para determinar si un argumento es vlido,
tiene aplicacin en todos los campos del saber; en la filosofa, para determinar a) 1, 2 b) 2, 3 c) 3, 4 d) 2, 4 e) 4, 5
si un razonamiento es vlido o no, ya que una frase puede tener diferentes
interpretaciones; sin embargo la lgica permite saber el significado correcto. Solucin:
Los matemticos usan la lgica, para demostrar teoremas e inferir resultados 1) Creencia (no es proposicin)
que puedan ser aplicados en investigaciones. En la computacin, para revisar 2) La ley de Tricotoma (si es proposicin)
programas y crear sus algoritmos, es utilizada en el diseo de computadoras. 3) Metfora (no es proposicin)
4) Equivalencia lgica (si es proposicin)
ENUNCIADO: Es cualquier frase u oracin que expresa una idea. 5) Deseo (no es proposicin)

PROPOSICIN: Son oraciones aseverativas que se pueden calificar como CLASES DE PROPOSICIONES:
verdaderas o falsas. Se representan con las letras minsculas del 1. Proposicin Simple o Atmicas: Son proposiciones que no tienen
abecedario: p ; q ; r ; s. conjunciones gramaticales ni adverbio de negacin.
Ejemplo:
1. No son proposiciones lgicas Cincuenta es mltiplo de diez.
- Las creencias, mitos o leyendas. 3+6=9
- Las metforas o refranes.
- Las supersticiones. 2. Proposicin Compuesta o Molecular: Formada por dos o ms
-Los hechos de la literatura o personajes ficticios proposiciones simples unidas por conectivos lgicos o por el adverbio de
- Hechos discutibles: La Moral, los valores, la belleza, etc. negacin.
- Enunciados abiertos o indefinidos: + + = 180. Ejemplo:
- Las oraciones: 9 es un nmero primo y 5 es impar.
Exclamativas (admiracin, sorpresa) Juan es profesor o Manuel es arquitecto
Dubitativas (dudas) Donde podemos observar que la proposicin, se divide en dos
Desiderativas (deseos) proposiciones simples:
Interrogativas (preguntas) Juan es profesor y
Imperativas (rdenes, splicas, prohibiciones) Manuel es arquitecto
2. Son proposiciones lgicas CONECTIVOS LGICOS: Smbolos que enlazan dos o ms proposiciones
- Las frmulas cientficas ya demostradas. simples para formar una proposicin compuesta.
- Las leyes o hiptesis cientficas aceptadas. Los conectores lgicos que usaremos son:
- Enunciados cerrados o definidos: + + = 180, si , , = ngulos de un
mismo tringulo. Smbol
- Las Oraciones: Operacin asociada Significado
o
Informativas (informacin)
Negacin
Descriptivas (caracterstica de algn sujeto) ~ no p o no es cierto que
Explicativas (causa efecto) Conjuncin o producto
p
lgico
pyq
Ejemplo: Disyuncin o suma
poq
Dados los siguientes enunciados: lgica
1) El seor algn da te perdonar si p entonces q
Condicional
p si y slo si q
Bicondicional
2) a, b R; a > b a = b a < b
3) El Per es un mendigo sobre un banco de oro OPERACIONES LGICAS Y TABLAS DE VERDAD
4) P q - q - p
La validez de una proposicin compuesta depende de los valores de verdad de
las proposiciones simples que la componen y se determina mediante una tabla 3. Condicional: Vincula dos proposiciones mediante el conectivo lgico:
de verdad. Si, entonces..
El condicional es un operador que opera sobre dos valores de verdad,
1. Conjuncin: Vincula dos proposiciones mediante el conectivo lgico y devolviendo el valor de verdad falso slo cuando la primera proposicin es
La conjuncin es un operador que opera sobre dos valores de verdad, verdadera y la segunda falsa, y verdadero en cualquier otro caso.
devolviendo el valor de verdad verdadero cuando ambas proposiciones
son verdaderas, y falso en cualquier otro caso. Es decir es verdadera
cuando ambas son verdaderas

Tabla de Verdad
p q p q Tabla de Verdad
V V V
V F F p q p q
F V F V V V
F F F V F F
F V V
Ejemplo F F V
Si p: 3 es mayor que 7
q: Todo nmero par es mltiplo de dos Ejemplo.
Supongamos
Entonces:
Si apruebo, ENTONCES te presto el libro
p q: 3 es mayor que 7 y todo nmero par es mltiplo de dos
Por ser ambas verdaderas la conjuncin de ellas es verdadera p q

2. Disyuncin: Vincula dos proposiciones mediante el conectivo lgico o. La implicacin est compuesta de las proposiciones
La disyuncin es un operador que opera sobre dos valores de verdad,
devolviendo el valor de verdad verdadero cuando una de las proposiciones p: apruebo
es verdadera, o cuando ambas lo son, y falso cuando ambas son falsas. q: te presto el libro

Tabla de Verdad Nos interesa conocer la verdad o falsedad de la condicional, en relacin a la


p q p q verdad o falsedad de las proposiciones p y q. El enunciado puede pensarse
V V V como un compromiso, condicionado por p, y podemos asociar su verdad al
V F V cumplimiento del compromiso. Es evidente que si p es F, es decir si no
apruebo el examen, quedo liberado del compromiso y preste o no el apunte la
F V V
condicional es verdadera.
F F F Si p es verdadera, es decir si apruebo el examen, y no presto el libro, el
compromiso no se cumple y la proposicin es falsa. Si p y q son verdaderas,
Ejemplo entonces la proposicin es verdadera pues el compromiso se cumple.
Si p: Hace fri en invierno
q: Napolen invadi Lima 4. Bicondicional: Vincula dos proposiciones mediante el conectivo lgico:
.si y slo si..
p q: Hace fri en invierno o Napolen invadi Lima El bicondicional o doble implicacin es un operador que funciona sobre
dos valores de verdad, devolviendo el valor de verdad verdadero cuando
Por ser al menos una de las proposiciones verdadera la conjuncin es ambas proposiciones tienen el mismo valor de verdad, y falso cuando sus
verdadera valores de verdad difieren.
No es el caso que
Tabla de Verdad No sucede que
p q p q O
V V V V disyuncin A menos que
V F F p es condicin suficiente
F V F p q para q
F F V condicional Si p , q
Ejemplo q si p
p: Karina ingresa a la universidad Que p siempre que q
q: Karina estudia mucho Cuando p , q
q es condicin necesaria
Entonces: para p
En caso de que p entonces
p q : Karina ingresa a la universidad si y slo si estudia mucho. q
p solo si q
5. Negacin: La negacin es un operador que opera sobre un nico valor de
Si y slo si
verdad, devolviendo el valor contradictorio de la proposicin considerada. P q Cuando y slo cuando
bicondicional Equivale a
Tabla de Verdad
~ Es necesario y suficiente para
p En el caso , y slo en el caso ,
p
V F de que

F V
Construccin de tablas de verdad
Ejemplo. Cuando tenemos ms de una variable, las combinaciones de valores de verdad
La negacin de sern varias. Para saber cuntas combinaciones de valores de verdad podemos
p: todos los alumnos estudian matemtica es obtener, elevamos 2 al nmero de variables distintas que aparezcan.
~p: no todos los alumnos estudian matemtica Colocamos dichos valores repartndolos por la mitad en la primera variable,
~p: no es cierto que todos los alumnos estudian matemtica por la mitad de esta en la siguiente, etc.
~p: hay alumnos que no estudian matemtica
Ejemplo
Si: [(P ^ Q) > ( P)] v ( Q)
CONECTIVOS SINNIMOS Tenemos dos variables: P y Q
LGICOS Entonces 2 al cuadrado = 4
y
Tambin Por lo tanto la tabla de verdad quedar as:
^ conjuncin An P Q [(P ^ Q) > ( P)] v ( Q)
A la vez V V
No obstante V F
Adems F V
Pero F F
Sin embargo
Aunque
No es cierto que
~ negacin Es falso que
FICHA DE TRABAJO a. p: Lima es la capital de Bolivia ( )
b. r: La luna es un satlite de la tierra. ( )
1. Cules de las siguientes expresiones son c. s: Martes es un mes del ao. ( )
proposiciones lgicas? d. q: Cinco puntos no forman un pentgono. ( )
I. Esta fruta est verde. e. v: Francisco Bolognesi muri en la batalla de Arica ( )
II. 3 + 7 = 10 f. t: 22+(39) 4 = 27 ( )
III. La suma entre dos nmeros naturales es un nmero
natural. 5. Escribe (S) si la proposicin es simple y (C) si es
IV. El general Don Jos de San Martn era de nacionalidad compuesta.
argentina. a. P: Jorge estudia y aprueba el examen.
V. Ests contenta? ( )
b. q: Si Manuel viaja maana, entonces faltar al colegio.
a. I, II y III b. II, III y IV c. I, II y IV d. I, III y IV ( )
c. s: Omar juega futbol. (
2. Cuntas de las proposiciones son compuestas? )
I. Si el cielo est nublado entonces el avin no despegar d. r: Mario viaja maana a Italia. (
del aeropuerto. )
II. En el imperio de los incas la llama era usada como animal e. u: Luca est en el mercado y compra una lata de aceite.
de carga. ( )
III. Un nmero es positivo si y solo si es mayor que cero. f. v: Ganas el partido si y solo si juegas desde el inicio.
IV. Carlos es estudiante y futbolista. ( )
V. 10 5 = 45. FICHA DE TRABAJO

a. 1 b. 2 c. 4 d. 3 1. Cules de las siguientes expresiones son


proposiciones lgicas?
3. La proposicin conjuntiva es: VI. Esta fruta est verde.
a. El Per exporta cobre si y solo si exporta estao. VII. 3 + 7 = 10
b. La quiwicha es deliciosa y la quinua tiene grandes VIII. La suma entre dos nmeros naturales es un nmero
propiedades. natural.
c. El Per no es el primer productor de harina de pescado. IX. El general Don Jos de San Martn era de nacionalidad
d. Hay estabilidad de precios porque el dlar no sube de argentina.
precio. X. Ests contenta?

4. Determina el valor de verdad de las siguientes a. I, II y III b. II, III y IV c. I, II y IV d. I, III y IV


proposiciones:
2. Cuntas de las proposiciones son compuestas? 6. La tabla de verdad de la conjuncin se rige por la
VI. Si el cielo est nublado entonces el avin no despegar regla:
del aeropuerto. a. Es verdadero cuando por lo menos uno de sus
VII. En el imperio de los incas la llama era usada como animal componentes es verdadero.
de carga. b. Es falso solo cuando el antecedente es verdadero y el
VIII. Un nmero es positivo si y solo si es mayor que cero. consecuente es falso.
IX. Carlos es estudiante y futbolista. c. Es verdadero nicamente cuando sus dos componentes son
X. 10 5 = 45. verdaderos.
d. Es verdadero cuando sus dos componentes o son
a. 1 b. 2 c. 4 d. 3 verdaderas o son falsas a la vez.

3. La proposicin conjuntiva es: 7. La tabla de verdad de la condicional se rige por la


a. El Per exporta cobre si y solo si exporta estao. regla:
b. La quiwicha es deliciosa y la quinua tiene grandes a. Es falso nicamente cuando sus dos componentes son
propiedades. verdaderos.
c. El Per no es el primer productor de harina de pescado. b. Es falso slo cuando el antecedente es verdadero y el
d. Hay estabilidad de precios porque el dlar no sube de consecuente es falso.
precio. c. Es falso cuando sus dos componentes o son verdaderas
o son falsas a la vez.
4. Determina el valor de verdad de las siguientes d. Es falso nicamente cuando sus dos componentes son
proposiciones: falsos.
a. p: Lima es la capital de Bolivia ( )
b. r: La luna es un satlite de la tierra. ( ) 8. A partir de las siguientes proposiciones simples, forma
c. s: Martes es un mes del ao. ( ) proposiciones compuestas.
d. q: Cinco puntos no forman un pentgono. ( ) a. Condicional ()
e. v: Francisco Bolognesi muri en la batalla de Arica ( ) p: Pedro estudia mucho.
f. t: 22+(39) 4 = 27 ( ) q: Pedro ingresa a la universidad.
_____________________________________________
5. Escribe (S) si la proposicin es simple y (C) si es
compuesta. b. Conjuncin ()
a. P: Jorge estudia y aprueba el examen. r: Jorge sale el domingo.
( ) s: Jorge va al cine.
b. q: Si Manuel viaja maana, entonces faltar al colegio. ______________________________________________
( )
c. s: Omar juega futbol. ( c. Bicondicional ()
) u: Manuel aprueba el examen.
d. r: Mario viaja maana a Italia. ( v: Manuel estudia mucho.
)
e. u: Luca est en el mercado y compra una lata de aceite. e. Disyuncin (V )
( ) t: Luis va al cine.
f. v: Ganas el partido si y solo si juegas desde el inicio. m: Luis va a la fiesta.
( ) _______________________________________________
8. A partir de las siguientes proposiciones simples, forma
proposiciones compuestas.
6. La tabla de verdad de la conjuncin se rige por la a. Condicional ()
regla: p: Pedro estudia mucho.
a. Es verdadero cuando por lo menos uno de sus q: Pedro ingresa a la universidad.
componentes es verdadero. _____________________________________________
b. Es falso solo cuando el antecedente es verdadero y el
consecuente es falso. b. Conjuncin ()
c. Es verdadero nicamente cuando sus dos componentes son r: Jorge sale el domingo.
verdaderos. s: Jorge va al cine.
d. Es verdadero cuando sus dos componentes o son ______________________________________________
verdaderas o son falsas a la vez.
c. Bicondicional ()
7. La tabla de verdad de la condicional se rige por la u: Manuel aprueba el examen.
regla: v: Manuel estudia mucho.
a. Es falso nicamente cuando sus dos componentes son
verdaderos. e. Disyuncin (V )
b. Es falso slo cuando el antecedente es verdadero y el t: Luis va al cine.
consecuente es falso. m: Luis va a la fiesta.
c. Es falso cuando sus dos componentes o son verdaderas _______________________________________________
o son falsas a la vez.
d. Es falso nicamente cuando sus dos componentes son
falsos.