Vous êtes sur la page 1sur 27

LGICA : Estudio de los mtod

os que aplican definiciones y leyes con el propsito de determinar la validez


o invalidez del razonamiento.

ENUNCIADO: frase u oracin que se utiliza en el


alt=""id="BLOGGER_PHOTO_ID_544770475356277
2642" /></a>

OJO:
Las proposiciones se denotan con letras minsculas, como p, q, r, s, etc.
Ejemplos:
p : Toledo es huaracino (V)
q : 2 3 (F)
lenguaje comn.



Ejemplos: T eres lo mximo
7 3 4
Qu mujer tiene el mejor fsico?
Porqu se suicidan los matemticos?
ENUNCIADO CERRADO O PROPOSICIN LGICA: Expresin coherent
e que se caracteriza por el hecho de poseer un nico valor de verdad (V) o
falsedad (F)
OJO:
Los mandatos, preguntas, exclama-ciones, no son proposiciones lgicas, ya que
no se pueden calificar como verdaderas (V) o falsas (F)
Ejemplo:
Viva el Per!
En qu mes hablan menos las mujeres?
sin ambigedad, en un determinado contexto.

<a href="http://2.bp.blogspot.com/_xfRtZrrza7c/S5oin0w WbwI/AAAAAAAAALA/r


etkbeMul84/s1600- h/4PERACIONS_1.jpg"><img style="float:left; margin:0
10px 10px 0;cursor:pointer; cursor:hand;width: 400px;
height: 291px;" src="http://2.bp.blogspot.com/_xfRtZrrza7c/S5oin0w Wb
wI/AAAAAAAAALA/retkbeMul84/s400/4PERACI
ONS_1.jpg" border="0"
alt=""id="BLOGGER_PHOTO_ID_544770476682971
9298" /></a>
<a href="http://4.bp.blogspot.com/_xfRtZrrza7c/S5oinnjx ALI/AAAAAAAAAK4/B
UVXiFJOnpg/s1600- h/4PERACIONS_2.jpg"><img style="float:left; margin:0
10px 10px 0;cursor:pointer; cursor:hand;width: 400px;
height: 290px;" src="http://4.bp.blogspot.com/_xfRtZrrza7c/S5oinnjx A
LI/AAAAAAAAAK4/BUVXiFJOnpg/s400/4PERACI ONS_2.jpg"
border="0" alt=""id="BLOGGER_PHOTO_ID_544770476328727

Observacin:
Toda proposicin es un enunciado, pero no todo enunciado es una proposicin.
ENUNCIADO ABIERTO: Enunciado en el que intervienen una o ms variables, qu
e admiten la posibilidad de convertirse en una proposicin lgica, cuando cada
variable asume un determinado valor, tambin se le conoce como funcin proposicio
nal.
Ejemplo:
x2 5 4
* Es un enunciado abierto donde la variable es x , y se puede denotar como
P(x), dando valores a la variable:
32 5 4 (F)
62 5 4 (V)
3650" /></a>
<a href="http://1.bp.blogspot.com/_xfRtZrrza7c/S5oinDV Q5KI/AAAAAAAAAKw/ZlEe4sTj
Wd4/s1600- h/4PERACIONS_3.jpg"><img style="float:left; margin:0
10px 10px 0;cursor:pointer; cursor:hand;width: 400
px; height: 289px;" src="http://1.bp.blogspot.com/_xfRtZrrza7c/S5o
inDV Q5KI/AAAAAAAAAKw/ZlEe4sTjWd4/s400/4PERACI ONS_3.jpg"
border="0"

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:

Las proposiciones compuestas se pueden clasificar de acuerdo a su enlace lgico p


rincipal en:
A) CONJUNTIVAS ():
Cuando el conectivo es de la forma y , pero, tambin, sin embargo, adems, tal
tante, aunque, a la vez..... etc.; los cuales equivalen al conectivo .
Ejemplo:
Smbolo
Conector lgico
Operacin

Lgica Esquema Significado
yo ingres y ella se cas

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

B) DISYUNCIN DBIL ():

inclusiva, se presenta cuando es posible que sus


miembros componentes sean aceptados a la vez.

Mabel estudia o trabaja


p q

OJO:

Los valores de verdad de una o ms proposiciones se pueden esquematizar por
medio de una tabla de verdad, como:

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

C) DISYUNCIN FUERTE ():


exclusiva, se presenta cuando slo uno de sus
miembros puede ser aceptado, el otro queda
Para 3 proposiciones:
p q r
V V V V V F V F V V F F F V V F V F F F V F
F F
Observacin:
1042

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

F) EN CASO DE LA NEGACIN ():

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

2) LIBRE: ( ( )) cuando afecta a


proposiciones compuestas.
Es falso que, no es cierto que, es
imposible que, etc.

No es cierto que juegues y bailes


(p q)

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

si q no ocurre entonces p ocurrir


2) INDIRECTA: (q p)
p cuando q
p si q
p cada vez que q
p ya que q
p debido a que q
p puesto que q
p a menos que no q
p porque q
p dado que q
p siempre que q
V V V V F F F V V F F V
q p
q p q p p q

ningn p es q p excepto q
(p q) p q

todo p es q p salvo que 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

FORMACIN DE ESQUEMAS MOLECULARES


En un prrafo que presenta proposiciones simples, conectivos, signos de p
untuacin, se requiere para su representacin simblica, el buen uso de los signos
de agrupacin (parntesis, corchetes, llaves), estos ltimos sirven pa
ra indicar la jerarqua de los conectivos y as evitar ambigedades; po
r lo que debemos tomar en cuenta lo siguiente:

NOTA 01:
1ra. jerarqua : 2 signos de puntuacin

2da. jerarqua : Punto seguido


3ra. jerarqua : Punto y coma
4ta. jerarqua : Coma

5ta. jerarqua : Sin 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.

Anlisis: Se aprecia que la coma hace el papel de


, con lo que tendr mayor jerarqua que ,
entonces este ltimo va dentro del parntesis.
Formalizacin: (p q) r

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:

a) FORMA HORIZONTAL : Cuando la conjuncin


de premisas que implican a la conclusin

p1 p2 pn q

se escriben horizontalmente en forma explcita


usando los conectores , .

b) FORMA VERTICAL (forma clsica): En este


caso no se escriben, en forma explcita los
conectivos: , . La conjuncin de premisas se
escriben verticalmente uno despus de otro y al
trmino de la ltima premisa se escribe una raya
horizontal y tres puntos para luego escribir la
conclusin.
p
Si Jhony estudia duro, entonces ingresar
p : Jhony estudia duro q : Jhony i
ngresar.
Simbologa : p 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:

Platn fue poltico y filsofo


Platn fue poltico

OTRAS IMPLICANCIAS NOTABLES

VI) LEY DE ADICIN:

p q
p q p q

VII) LEY DE LA INFERENCIA EQUIVALENTE:

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

IX) DILEMA CONSTRUCTIVO:


p q
r s
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.

02 Indique la expresin que muestra una proposicin


simple.

A) Tengo claros mis objetivos, lograr mis metas.


B) Nunca digas mentiras
C) Roberto es descuidado
D) El tringulo es issceles
E) El verano es ingrato

03 Seale la proposicin condicional directa :

A) Ya que tengo hambre, buscar comida.


B) Busco comida si tengo hambre
C) No tengo hambre y busco comida
D) Busco comida ya que tengo hambre
E) Tengo hambre y no busco comida.

04 Indique la expresin que muestra una disyuntiva


exclusiva.

A) Tomo jugo o un refresco


B) Tengo sed
C) O tomo jugo o un refresco
D) Si tomo jugo, no tomo refresco
E) Tomo refresco y no tomo jugo.
05 Si simbolizas: El tiempo que tomamos en llegar
es inversamente proporcional al tiempo que
tardamos en regresar, qu obtienes.
A) (p q) B) (p q) C) p
D) (p q) E) (p q)

06 Simbolizar: Carlos como es probo, no va a ser


corrompido, pues esta firme en sus principios.
Que se obtiene.

A) (p q) r B) r (p q) C) (p q)
D) (q p) E) (q p)

07 La lgica, que es una ciencia formal, estudia las


inferencias y determina su validez. Cuntas
variables proposicionales empleamos al simbolizar
la expresin anterior?.

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