Professional Documents
Culture Documents
Pg
1041
*Se observa que el enunciado se convirti en una proposicin.
CLASES DE PROPOSICIONES: Existen dos tipos de proposiciones:
I) PROPOSICIN SIMPLE O ATMICA:
Aquella que tiene un sujeto y un predicado (no llevan conectivos lgicos)
1041
RAZONAMIENTO MATEMTICO LUIS RUB
IOS
Ejemplo:
p : Vladimiro es un hroe nacional
q : ( 2)2 22
CONECTIVOS LGICOS: Palabras o smbolos que enlazan proposiciones simples, sin f
ormar parte de ellas, sean las proposiciones p, q, luego los ms conocidos
son:
negacin p no p
p q
conjuncin p q p y q
disyuncin p q p o q
Su tabla de verdad ser:
p q p q
disyuncin exclusiva
p q o p o q
V V V
condicional p q si p, entonces q
bicondicional p q p, si y slo si q
II) PROPOSICIN COMPUESTA O MOLECULAR: Combinacin de 2 o ms proposicion
es simples, enlazadas por medio de conectivos.
Estudia y trabaja
V F F
F V F
F F F
p
Su tabla de verdad ser:
q
p q p q
V V V
Para 1
Proposicin
p V
F
Para 2
Proposiciones
p q
V V V F F V F F
V F V
F V V
F F F
Pg
1042
invlido.
Nac en el Per o en el Ecuador
p q
Su tabla de verdad ser:
p q p q
V V F V F V F V V F F F
LGICA PROPOSICIONAL
D) BICONDICIONAL () :
Cuando el conectivo es de la forma : si y slo si, si solamente si, cuando y slo cuan
do, entonces y slo entonces, los cuales equivalen al conectivo , (P es una condic
in necesaria y suficiente para q)
Ingresas si y slo si estudias
Bailare, si me embriago
p q
1) LIGADA: (p)
Yo no estudi
p q
Su tabla de verdad ser:
p q p q
V V V V F F F V F F F V
E) CONDICIONAL ():
1) DIRECTA: (p q)
antecedente (causa) consecuente (consecuencia)
si p entonces q
si p por lo tanto q
p
Su tabla de verdad ser:
p p
V F
F V
p conclusin q
p luego q
p q
3) BINEGACIN: Negacin conjunta, es decir
conjuncin de negaciones y se identifica con el
trmino ni
Si estudias entonces ingresas
p q
Ni atiende, ni estudia.
p q
Su tabla de verdad ser:
p q p q
OJO:
p a menos que q
ningn p es q p excepto q
(p q) p q
p q p q
OJO:
Las proposiciones estarn formadas por una o varias
proposiciones simples formando un esquema
proposicional.
Ejemplo:
Hallar la tabla de verdad del esquema
proposicional de: (p q) q
RESOLUCIN:
OJO:
Despus de las palabras cuando, si ya que, ...., etc., va el antecedente
.
Pg
1043
p q (p q) q
V V F F V V
1043
Operador Principal
(Matriz principal)
Operadores secundarios
RAZONAMIENTO MATEMTICO LUIS RUB
IOS
V F V V F F
F V F F V V
F F F V V F
NOTA 01:
1ra. jerarqua : 2 signos de puntuacin
NOTA 02: En general, los conectivos , son de mayor jerarqua, luego sig
n y que poseen la misma jerarqua entre s; y el de menor jerarqua es
ecuerda que la jerarqua de cada conectivo puede variar dependiendo de los sign
os de puntuacin o de coleccin.
NOTA 03: Se encierra entre signos de coleccin (parntesis, corchete, lla
ves), quien posee menor jerarqua:
Ejemplo: Si trabajas y ganas bien, me caso contigo.
Entonces las proposiciones simples son :
p : trabajas q : ganas bi
en r : me caso contigo.
Ejemplo:
Si no apruebas o no resuelves este problema, entonces es falso, que
haya estudiado o domines la deduccin lgica.
p : apruebas
1 TAUTOLOGA: Un esquema proposicional es una tautologa si al evalua
r todas las posibles ordenaciones de los valores veritativos de las variables
proposicionales que la componen siempre resulta verdadero.
Ejemplo: Hallar la tabla de verdad de: [p q) q] p
p q [ p q) q] p
V V F V F V F F
V F F V F V V F F
V V V
Tautolo
*La evaluacin nos entrega solo valores verdaderos , por lo tant
o es una tautologa.
2 CONTRADICCIN: Es una contradiccin, si al evaluar todas las ordenaciones d
e los valores de verdad de las variables proposicionales que la componen resulta
falso.
Ejemplo: Hallar la tabla de verdad de: [(p q) q] q
p q [(p q) q ] q
V V V F F V F F
F V F V V F F F F
F F V
Contradic
La evaluacin nos entrega solo valores falsos, por lo tanto es una contradiccin.
3 CONTINGENCIA: Un esquema proposicional es una contingencia, si su tabla d
e verdad contiene al menos un verdadero y al menos un falso. Ejemplo: Hallar la
tabla de verdad de:
(p q) p
p q (p q) q
V V V V V V F F V
V F V V F F F F V
F F
Contingen
* La evaluacin nos entrega al menos un valor verdadero y al menos un valor
falso, por lo tanto
q : resuelves
r : estudiado s : domines
Formalizacin:
( p q) (r s)
es una contingencia.
Ejemplo Ilustrativo:
TIPOS DE PROPOSICIN
1044
Pg
1044
LGICA PROPOSICIONAL
PROPOSICIONES EQUIVALENTES ():
A y B son equivalentes cuando unidos por la bicondicional () es un
a tautologa (AB)
Ejemplo: (P) P
CIRCUITOS CONMUTADORES:
Son circuitos elctricos que constan de interruptores para el paso de la cor
riente elctrica. Si p y q son interruptores que dejan pasar la corriente,
entonces
p y q no dejarn pasar la corriente: stos se podrn colocar ya sea en serie o en parale
lo.
Serie : Paralelo:
1) p q 2) p q
3) pq 4) pq
LEYES LGICAS
Consideremos la proposicin: [(p q) p] q cuya tabla de verdad es:
* La proposicin compuesta es (V), inde- pendientemente de los valores de
verdad de las proposiciones componentes. Se dice entonces que tal proposicin e
s una tautologa o ley lgica.
* La proposicin p p es V cualquiera sea el valor de verdad de p, es
otro ejemplo de una ley lgica. En cambio p p es F cualquiera sea el valo
r de verdad de p. Se dice que es una contradiccin.
* En el clculo proposicional se utilizan las siguientes leyes o t
autologas cuya demostracin se reduce a la confeccin de la correspondiente tabla de
valores de verdad.
LEYES LGICAS NOTABLES
Permiten transformar y simplificar frmulas lgicas
1) LEY DE INVOLUCIN (Doble negacin):
(p) p
No, no P, equivale a P
2) LEY DE IDEMPOTENCIA:
Pg
1045
P P P
P P P
3) LEYES ASOCIATIVAS:
p (q r) (p q) r(Conjuncin)
p (q r) (p q) r(Disyuncin)
p(qr) (pq) r.(Bicondicional)
4) LEYES DE MORGAN:
(pq) p q
* La negacin de una conjuncin es equivalente a la disyuncin de las negaciones.
(p q) p q
* La negacin de una disyuncin es equivalente a la conjuncin de negaciones.
5) LEYES BICONDICIONALES:
(p q) (p q) (q p)
(p q) (p q) (q p)
6) LEYES CONMUTATIVAS:
p q q p ..(Conjuncin)
p q q p ..(Disyuncin)
p q q p.(Bicondicional)
7) LEYES DISTRIBUTIVAS:
p (q r) (p q) (p r)
p (q r) (p q) (p r)
p (q r) (pq) (p r)
p (q r) (pq) (p r)
8) LEYES CONDICIONALES:
p q p q
(p q) p q
Ejemplo:
Si Roy es escritor entonces es matemtico. p : Roy es escritor
q : Roy es matemtico.
Simbologa : p q
Su primer equivalente sera: p q
Se lee:
Roy no es escritor o es matemtico
Su segundo equivalente sera:
(p q)
Se lee:
No es cierto que Roy sea escritor y no sea matemtico
1045
RAZONAMIENTO MATEMTICO LUIS RUB
IOS
9) ELEMENTO NEUTRO:
P V P
P F P
10) LEYES DE ABSORCIN:
p (p q) p
p (p q) p q
p (p q) p
p (p q) p q
11) LEYES DE TRANSPOSICIN:
(p q) q p
(p q) (q p)
Ejemplo:
p1 p2 pn q
1
p2
pn
q
El razonamiento es si ocurren p1 y p2,
y pn; por tanto ocurre q.
Su equivalente : q p
Se lee:
Si Jhony no ingresa entonces no estudi duro
12) EXPORTACIN :
[(p q) r] [p (q r)]
13) DISYUNCIN FUERTE:
p q (p q)
SILOGISMO HIPOTTICO ( Implicancia):
[(pq) (qr)] (p r).(Transitividad)
Ejemplo:
Si estudias duro entonces ingresars.
Si ingresas entonces te obsequiar un auto del ao.
p : estudias duro q : ingresars.
r : te obsequiar un auto del ao.
Simbologa : (p q) (q r)
Conclusin : p r
Se lee:
Si estudias duro entonces te obsequiare un auto del ao.
IMPLICACIONES NOTABLES ()
Las implicaciones notables se puede escribir de dos formas: en forma horizont
al y en forma vertical.
1046
Pg
1046
Segn la ley simblica se descubre las siguientes implicaciones notables:
I) LEY DE MODUS PONENS:
[(p q) p] q
Forma clsica: p q p
q
Ejemplo:
Si llueve entonces las pistas estn mojadas
Llueve
Las pistas estn mojadas
II) LEY DEL MODUS TOLLENS:
[(p q) q] p
Forma clsica: p q
q
p
Ejemplo:
Si Luisa gana el concurso de literatura, entonces viajar a Pars
Luisa no viajar a Pars
Luisa no gan el concurso de literatura
III) SILOGISMO HIPOTTICO :
LGICA PROPOSICIONAL
Segn sta ley, es un esquema formado por tres proposiciones condicionales, la pr
imera es una condicional cualquiera, la segunda, el antecedente es el consecuent
e de la primera, y el consecuente es una proposicin nueva, y la conclusin e
st formada por el antecedente de la primera y por el consecuente de la segunda.
[(p q) (q r)] (p r)
Forma clsica p q q r
p r
OJO:
Esta ley indica que la condicional es transitiva
Ejemplo:
Si Martha viaja a Caracas, entonces visitar a su ta.
Si visita a su ta entonces pasar buenas vacaciones.
Ejemplo:
p q
p q p q
p q
p
q
VIII) LEY DE TRANSITIVIDAD SIMTRICA:
Si Martha viaja a Caracas entonces pasar
buenas vacaciones.
p q q r
IV) LEY DEL SILOGISMO DISYUNTIVO:
[(p q) p] q o [(p q) q] p
Forma clsica:
p q p q
p r
q s
p
o q
q p
Pedro pasar sus vacaciones en Trujillo o
Cajamarca
Pedro no pasar sus vacaciones en Trujillo
Pedro pasar sus vacaciones en Cajamarca
III) LEY DE LA SIMPLIFICACIN:
De una premisa conjuntiva se puede concluir en cualquiera de sus miembros.
(p q) p o (p q) q
Forma clsica: p q p q
X) LEY DEL ABSURDO:
[p (q q) ] p
[p (q q)] p
PROBLEMAS RESUELTOS
PROBLEMA 01
Evaluar el siguiente esquema molecular y diga
cuntas verdades tiene el resultado.
[ p (q r)] [(r q) p ]
A) 2 B) 5 C) 6
D) 7 E) Ninguna
p o q
Pg
1047
1047
RAZONAMIENTO MATEMTICO LUIS RUB
IOS
RESOLUCIN:
*Evaluando en una tabla de verdad:
p q r [p (q r)] [(r q) p] VVV F V F F F V
VVF F V V F V V VFV F V V
F V V VFF F V V F V V FVV
V F F F F F FVF V V V F
V V FFV V V V F V V FFF V V
V F V V
Contradiccin!!
entonces no hay verdades
Rpta.: E
PROBLEMA 2
Si la proposicin compuesta:
(p q) (r t) es falsa
Indicar las proposiciones que son verdaderas.
A) p, r B) p, q C) r, t
D) p, q, r E) q, t
Resolucin:
* La proposicin es condicional, pues el operador principal es
* Luego: (p q) (r t) es FALSA cuando el
antecedente (p q) es verdadero y el consecuente (r t) es falso.
* Si (p q) es verdadero , entonces ambas proposiciones p y q so
n verdaderas.
* Si (r t) es falso, entonces ambas proposiciones r y t son falsas.
Las nicas proposiciones verdaderas son p y q
Rpta.: B
PROBLEMA 3
Hallar la proposicin equivalente a:
No es cierto que, hace fro y no se congele. A) Hace fro o no congela
B) No hace fro o no congela
C) Hace fro y no congela D) No hace fro o congela E) Hace f ro o congela
RESOLUCIN:
1048
Pg
1048
* Consideremos: p hace fro q congela
* Formalizando tenemos:
No es cierto que, p y no q
* Simbolizando : (p q) , Morgan
p q
* Es decir, significa: No hace fro o congela
Rpta.:B
PROBLEMA 4
Sabiendo que la proposicin compuesta:
p ( r s) es falsa
Indicar cuales de las siguientes proposiciones son verdaderas:
I ) t (p s) II ) p r
III ) s t
IV ) r p
A) I y II B) II y III C) I, II y III D) I,
II y IV E) Todas
RESOLUCIN:
*Si la proposicin condicional:
p (r s) es FALSA
* entonces el antecedente p es verdadero y el consecuente (r s) es f
also.
* Es decir: p V ; ( r s ) F
F F
(Ver Disyuncin Inclusiva)
* Luego: p V ; r V ; s F
*Ahora analicemos cada proposicin: I ) t p s
t (V F)
t V
* Cualquiera que sea el valor de verdad de t (V F) la condicional t V siempre es
verdadera.
II ) p r
V V siempre es verdadera
III ) s t
(F) t
V t
* Si t fuera verdadero, la condicional ser verdadera en cambio si t fuera FALSO,
la condicional ser FALSA.
LGICA PROPOSICIONAL
V t ; NO podemos concluir su valor de verdad, pues depende de t.
* Luego: V t NO siempre es verdadera
IV ) r p
V V, est condicional siempre es VERDADERA.
Rpta.: D
PROBLEMA 5
Si la proposicin:
(p q) ( r s) es FALSA
Deducir el valor de verdad de:
I ) (p q) q
II ) [(r q) q] [(q r) s] III ) (p r) [p q) q]
A) FVV B) FFV C) VFV D) FFF
E) VFF
RESOLUCIN:
*Sabemos que: (p q) (r s) F
F F
p q F V F
p V , q V
r s F V F
r F , s F
* Luego, analizando cada caso: I) (p q) q F
F F F
F
II) [( r q) q] [(q r) s ] F V V V F F F
V F
III. (p r) [(p q) q] V V F V V F
F F
Rpta.: B
A) Te deseo lo mejor
B) Cuntos aos tienes?
C) Si a 8 y b 3 , (a b)2 a2 2ab b2
D) El lapicero esta cansado
E) Responde correctamente.
A) (p q) r B) r (p q) C) (p q)
D) (q p) E) (q p)
A) 5 B) 2 C) 3
D) 4 E) 1
PRCTICA
DIRIGIDA
LGICA
PROPOSICIONAL
08 Simplificar: (p q)
A) p B) q C) p q
D) p q E) p q
01 Seale la alternativa que muestra una
proposicin.
Pg
1049
09 Simplificar:
1049
RAZONAMIENTO MATEMTICO LUIS RUB
IOS
(p q) (p q) p
A) p q B) p q C) p q
D) p q E) p q
10 Si la proposicin: [(p q) (r s)] r
es falsa. Hallar los valores de verdad de p, q y
r.
A) FFV B) VFF C) VFV D) VVV
E) VVF
11 Si se sabe que el esquema es falso y t es verdadero, diga los valores d
e r, t y s.
[(r s) t] (s w)
A) VFV B) VVF C) VVV D) FVV
E) VFF
12 Formalizar:
No aprueba ni se grada, puesto que, no estudia ni trabaja.
A) (p q) (r s) B) (r s) (r q) C) (p p) (s r) D) (p
13 Formalizar:
Si los tigres y las cebras son mamferos, entonces son vertebrados
A) (p q) r B) p q
C) (p q) (r s) D) (r s) (p s) E) (p q) (r s)
14 Si en Marte no hay agua, entonces no hay vida; en consecuencia, no hay m
arcianos ni platillos voladores.
A) p [p (r s)] B) (p q) (r s) C) (p q) (r s) D) p [q (
15 Formalizar: Es imposible que llueva hoy, ya que hace tiempo que hay sequa
A) p q B) (p q) (q p) C) p q D) q p
E) q p
16 Escrbeme una poesa si estoy enamorado es lgicamente equivalente a:
1050
Pg
1050
A) p q B) q p C) (p q) D) p q
q p
17 Simbolizar:
Fsica y Qumica son ciencias empricas, puesto que experimentan.
A) (p q) B) (p q) r C) (r s) (p q)
D) r (p q) E) (p q) (r s)
18 Qu frmula corresponde a la expresin: Estudi bastante, aprobar el examen.
A) p B) (p q) C) (q p) D) (p q)
E) (p q)
19 Dada las proposiciones:
p : Ral es taxista
q : Ral es un prspero industrial r : Ral es ingeniero.
Simbolizar:
No es el caso que Ral sea un taxista y un prspero industrial, entonce
s es ingeniero o no es taxista.
A) (p q) (r p) B) (p q) ( r p) C) (p q) (r p) D) (p q)
E) (p q) (r p)
20 Al negar la proposicin: Bertha dice que Jos no tiene 15 aos, se obtiene:
A) Bertha dice que Jos tiene 15 aos.
B) Bertha no dice que Jos tiene 15 aos
C) Bertha no dice que Jos no tiene 15 aos
D) Bertha dice que Jos tiene menos de 15 aos. E) Bertha no dice que Jos tiene ms d
e 15 aos.
TAREA DOMICILIARIA
21 El esquema: [(p q) q] p es:
A) Tautolgico B) Contradictorio
C) Incorrecto D) Consistente
E) Inconsistente
22 Si voy entonces no vengo, equivale a: A) No voy entonces vengo
LGICA PROPOSICIONAL
B) ni voy ni vengo
C) no vengo o no voy
D) ni vengo ni voy
E) no vengo entonces no voy
23 Determine el esquema molecular del siguiente razonamiento:
Bertrand Russell fue matemtico ya que, escribi
Principia matemtica y no fue poeta o pintor.
A) [(p (q r)] s B) [q (r s)] p C) [q (r s)] p
(r s)] p E) [p (q r)] s
24 Simplificar el esquema:
(p q) (q p)
A) p q B) (p q) C) p q
D) p q E) q p
25 Si: p [p r) (r q)]
es falso, halle el valor de verdad de: [(p q) r ] (p q)
A) V B) F C) V o F D)
V y F E) No se puede determinar
Pg
1051
1051