Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
OBJETIVO N 01
ACTIVIDAD N 01
Conceptualizar
la
lgica
1.1.
ESQUEMTICAMENTE:
Principios
y/o leyes
- Identidad
- No contradiccin.
- Tercio excluido
- Razn
suficiente.
- Unidad y lucha
de contrarios.
- Trnsito de
cantidad en
calidad.
- Negacin de la
negacin
Mtodos
Formas
- Induccin
- Concepto
- Deduccin
- Juicio
- Anlisis
- Raciocinio
- Sntesis
Procedimientos
Propiedades
Definicin
Clasificacin
Divisin
Explicacin
Argumentacin
Refutacin
Demostracin
Exposicin
Investigacin
- Espacio
- Tiempo
- Movimiento
- Cantidad
- Cualidad
Relaciones
Causa
Efecto
Necesidad
Casualidad
Posibilidad
Realidad
Singular,
particular,
universal.
DAM
Lgica Proposicional
LA LGICA Y LA CIENCIA:
Cuando
el
gran
fsico
Albert
Einstein
inici
sus
de
estas
premisas
que
fue
estableciendo
que
el
mundo,
la
humanidad
tambin
lo
DAM
Lgica Proposicional
IMPORTANCIA
DE
LA
LGICA
PARA
EL
AVANCE
CIENTFICO-TECNOLGICO:
Permite en base al conocimiento ya obtenido y validado,
deducir nuevos conocimientos.
En base a razonamientos inductivos (de lo particular a lo
podemos
general),
plantear
hiptesis
predicciones
del
razonamientos
lenguaje
natural,
filosficos,
las
al
anlisis
aplicaciones
al
de
los
mtodo
para
cruzar
una
pista,
porque
previamente
DAM
Lgica Proposicional
ACTIVIDAD N 02
DAM
Lgica Proposicional
OBJETIVO N 02
ACTIVIDAD N 01
Definir
identificar
proposiciones.
En
otras
palabras,
es
el
pensamiento
Alegra
Nmero
Perseverancia
(designa valor)
Todos, algunos
Finalmente,
un
concepto
no
afirma
ni
niega
nada,
DAM
Lgica Proposicional
EL JUICIO:
Es una relacin o conjunto de conceptos que se caracterizan
por construir una afirmacin o aseveracin de algo. Es una
forma, una estructura del pensamiento que objetivamente es
verdadero o falso.
LA ORACIN:
Convencionalmente, es una palabra o conjunto de palabras
con sentido o significado propio.
CLASIFICACIN DE LAS ORACIONES:
1) Declarativas o Aseverativas:
a) Informativas (Informan)
Ej.: 2 + 3 = 5
b) Descriptivas (Describen)
Ej.: La tierra gira alrededor del sol.
c) Explicativas (Explican)
Ej.: El rea de un cuadrado de 4 cm de lado es
16m2 porque para hallar el rea de un cuadrado se
multiplica lado por lado.
2) Expresivas o no Aseverativas:
a) Exclamativas (Sentimientos, interjecciones)
Ej.: Viva el Per!
b) Imperativas (rdenes)
Ej.: Silencio
c) Desiderativas (Deseos, splicas)
Ej.: Quiero viajar al Cuzco
d) Interrogativas (Preguntas)
Ej.: Qu hora es?
LA PROPOSICIN:
Es la expresin lingstica del juicio, de cuyo contenido o
significado se puede saber con certeza si es verdadero o
falso empricamente y que generalmente se expresa como
oracin declarativa. A nivel de pensamiento se llama juicio y
a nivel de lenguaje se llama proposicin, por eso se dice que
las proposiciones son la envoltura material de los juicios.
Ej.: Todo nmero par es divisible por dos.
DAM
Lgica Proposicional
SE REFLEJA
JUICIO
OBJETO
No son proposiciones
Son proposiciones
Las
oraciones Los
aseverativas.
personajes
frmulas
Creencias
matemticas.
Las
literarios.
hechos
frmulas
esquemas lgicos.
religiosas,
supersticiones y mitos.
y/o
Las interrogantes.
Las interjecciones.
Los deseos, dudas y splicas.
Los abiertos o indefinidos.
DAM
Lgica Proposicional
EJEMPLO 1
De
las
siguientes
oraciones,
identificar
las
que
son
proposiciones.
01)Cuando x > 3 entonces x2 > 9
02) Peter Drucker es autor de la obra El Lder del Futuro.
03) La traduccin en ingls de yo te amo es I love you.
04) Viva el Per!
05) Dadme la vida o dadme la muerte.
06) Chimbote! Alma mater de lucha y de inquietud.
07) A qu hora termina el examen?
08) Todo tringulo es un polgono
09) Juega
Solucin:
La
caracterstica
fundamental
de
una
proposicin
es
(oraciones aseverativas)
(frmula matemtica)
no son proposiciones:
5y6
(oraciones aseverativas)
(interjeccin)
(interrogante)
DAM
Lgica Proposicional
13
(refrn)
14
(supersticin)
CLASES DE PROPOSICIONES:
Simples, atmicas o elementales: Aquellas que carecen de
conectores lgicos.
Compuestas, moleculares o coligativas: Aquellas que
tienen uno o ms conectores lgicos.
EJEMPLO 2
De las siguientes proposiciones, identificar las proposiciones
simples y las proposiciones compuestas.
01) No existe la capa de ozono.
02) El SIDA y la TBC son enfermedades.
03) Los ofidios tienen extremidades o bien vrtebras.
04) Los medios de comunicacin son necesarios en la
pedagoga.
05) i2 -1
06) Cero es un nmero par o impar.
07) La relacin
{(x y ) R
1
/ x2 + y 2 = 1
es una funcin y
DAM
Lgica Proposicional
Solucin:
4 y 13 son proposiciones simples pues carecen de
conectores lgicos.
1 y 5 tienen la negacin como conectivo. El smbolo
matemtico "diferente a" es equivalente a "no es igual a".
1, 7, 10, 11 y 12 tienen la conjuncin como conectivo.
3, 6 y 14 tienen la disyuncin como conectivo.
8 y 15 tiene como conectivo el condicional.
9 tiene el bicondicional como conectivo.
10
DAM
Lgica Proposicional
ACTIVIDAD N 02
b) 2 y 5
c) 2, 4 y 5
d) N.A.
e) T.A.
b) 1, 3 y 5
c) 3, 4 y 5
d) 1 y 3 e) slo 1
11
DAM
Lgica Proposicional
a) 1, 2, 4, 5
b) 1, 2, 3 y 4
c) 1,2, 5
d) 1,2 y 3
e) Todas.
04) De las siguientes expresiones:
(1) El agua no se solidifica a 0
(1) tg x = 1 cuando x=/4
(2) 2-1 = no obstante
2 1
=1
1/ 2
b) 2, 3 y 5
c) 1,2 y 3
d) 1,2, 3 y 5
e) 1, 3, 5
05) De las siguientes expresiones:
(01) El ozono filtra los rayos ultravioletas
(02) C (n, k ) =
(03)
n!
, kn
k!(n k )!
1 = i i 2 = 1
b) 1, 2 y 3
c) 1 y 5
d) Slo 1
e) 1 y 2
12
DAM
Lgica Proposicional
OBJETIVO N 03
ACTIVIDAD N 01
Formalizar
proposiciones
usando
variables
proposicionales
y
los
conectivos
lgicos,
y
determinar su valor de verdad.
, ' , __
~ p, p , p ' , p
no p, nunca p,
jams p, tampoco p
es absurdo que p
es inadmisible que p
es falso que p
no acaece que p
es inconcebible que p
no es innegable que p
es imposible que p
no ocurre que p
de ninguna forma se da p
no es verdad que p
es errneo que p
es mentira que p
es incierto que p
nadie que sea p
etc...
13
DAM
Lgica Proposicional
, +
Esquema lgico
p q, p + q
Lectura
p o q
a menos que p, q
p tambin q
p de lo contrario q
p salvo que q
p a menos que q
p excepto que q
p en tal sentido q
etc...
Esquema lgico
p q, p q , p q, p >--< q, p q
Lectura
>--<,
o p q
p no equivale a q
p no se define como q
ya sea p ya sea q
o bien p o bien q
p es diferente a q
ya bien p ya bien q
p se contrapone a q
p excluye a q
p solamente q
p o nicamente q
El Operador de Nicond
Smbolo:
no p no q
es falso que no pe y no q
La Conjuncin
Smbolo:
Esquema lgico
Lectura
, ., &
p q, p.q , p&q
p y q
p pero q
p aunque q
p sin embargo q
p incluso q
p as como q
etc...
14
p tambin q
p del mismo modo q
p de la misma forma q
p tal como q
p al igual que q
p no obstante q
p es compatible con q
no slo p tambin q
siempre ambos p con q
tanto p como, cuanto q
DAM
Lgica Proposicional
El operador de Sheffer
Smbolo:
Esquema lgico
p q, ~p~q, ~(pq)
Lectura
ni p ni q , es falso que p q
El Condicional
Smbolo:
Esquema lgico
Lectura
p q, p q
si p entonces q
cuando p as pues q
con tal de que p es obvio
que q
en virtud de que p es
evidente q
dado p por eso q
en cuanto p por tanto q
de p deviene q
de p deducimos q
p slo si q
En la condicional:
p
El Antecedente
La Hiptesis
La causa
El consecuente
La tesis
El efecto
La
Premisa
La
Conclusin
dado que
la razn es que
a causa de
porque
se puede inferir de
pues
se puede derivar de
se sigue de
se puede deducir de
como muestra
en vista de que
ya que
cuando
si
15
DAM
Lgica Proposicional
Palabra
Indicador de premisa
Premisa
Antecedente
r
Este conectivo se llama REPLICADOR.
El Bicondicional
,
Smbolo:
p q, p q
Esquema lgico
Lectura
p s y slo si q
p es equivalente, equivale a q
p se define como q
p es lo mismo que q
p es idntico a q
p es equipolente a q
etc....
p es de la forma q
p
es
condicin
necesaria
suficiente para q.
EJEMPLO 1
Formalizar o simbolizar las siguientes proposiciones.
1) Estudias Lgica o Biologa, pero no ambas a la vez.
(p
~ (p q)
q)
(p q) ~ (p q) (p q) (p q)
2) O bien los animales son vertebrados o bien invertebrados, pero
(p
p)
(p
p)
(p p) (p p)
3) Un enunciado abierto no es una proposicin a menos que
p
16
DAM
Lgica Proposicional
4) Una condicin necesaria para que Roco no sea premiada con un libro
(q
r)
p (q r)
5) Como es hora laborable, se concluye que en el juzgado
hay jueces y testigos, dado que, si es hora laborable, en
el juzgado hay jueces, y hay testigos, si en el juzgado hay
jueces.
Solucin:
Sean:
p: hora laborable
q: hay jueces en el juzgado
r: hay testigos en el juzgado.
17
DAM
Lgica Proposicional
(A)
(B)
(C)
(D)
(E)
(F)
(G)
pq
pq
pq
pq
pq
p/q
VV
VF
FV
FF
pq pq
V es 1
F es 0
En el lgebra de Boole,
18
DAM
Lgica Proposicional
entonces
p q es
Si p es
V
F
entonces
P q es
V
entonces
p q es
Si p es
F
F
entonces
p q es
EJEMPLO 2
Si la proposicin q r es falsa, el valor de verdad de las
siguientes proposiciones:
I.
II.
III.
r (p r)
~ (q r)
p (q r)
Son respectivamente:
(a) FVFV
(b) VVFV
c) VFVF
d) FFFV
e) FVVF
Solucin:
Sabemos que:
qrF
VF
q V
r F
F
Luego:
I.
r (p r) F
FV
F
19
DAM
Lgica Proposicional
(q r) V
II.
F
V
( r q) p V
III.
( F F) p
F p
V
IV.
p (q r) F
PF
F
EJEMPLO 3
Dadas las proposiciones:
q:
7 es un nmero racional
p y r cualquier proposicin
adems se sabe que:
~[ (r q) (r p) ] es verdadera
r ( p q)
II.
[ ( r (p q)] (q p)
III.
( r p) (q p)
(a) VVV
(b) FFF
c) VFV
d) FVV
e) VVF
Solucin:
Del dato, q F, adems
(r q) ( r p) F
V
(i)
r p F
(ii)
rvqV
V F
VvF
20
p F
q F
r V
DAM
Lgica Proposicional
r (p v q) V
I.
V (V v V)
V V
F
[ (r (p q)] (q p) V
II.
(V F)
(F v V)
V
III.
( r p) (q p) F
(V v V) (F v F)
V
F
Respuesta (c)
EJEMPLO 4
Si se sabe que:
{[(r s) t] (p v q) } {{[(r t) s] (q p)}}
es verdadera, hallar el valor de verdad de:
I.
{[(p q) r ] ( t p )} r
II. [ (r s) t ] (p q)
III. (p q) ( t )
(a) VVV
(b) VFF
c) VFV
d) FVV
e) VVF
Solucin:
Para que toda la proposicin sea verdadera, cada una de las
expresiones entre llaves debe ser verdadera, o sea:
(i)
{[( r s) t ] (p q)} V
(ii)
{{[( r t) p] (q p)}} V
V
21
DAM
Lgica Proposicional
De (ii)
[(r t) s] (q p) F
(r t) s V
V
s V
(q p) F (q v p) F
q v p V
( r s) t F
t F
r V
{[(p q) r ] ( t p )} r V
{[(V V ] ( F p )} V
{V
V} V
V
V
II. [ (r s) t ] (p q) F
[ (V V) V ] (V)
[ (V V ] F
V
F
F
22
DAM
Lgica Proposicional
IV. (p q) ( t ) F
F
( F F)
F
Respuesta (b)
23
DAM
Lgica Proposicional
ACTIVIDAD N 02
b) 2 y 5
c) 2, 4 y 5
24
d) N.A.
e) T.A.
DAM
Lgica Proposicional
b) 2, 3 y 4
c) 3, 4 y 5
d) 2, 4 y 5
e) 1, 3 y 5
9. La frmula q p, se traduce como:
1) Si
eres
buen
estudiante
lgicamente
sers
buen
profesional.
2) Ingresars a la universidad porque eres buen estudiante.
3) De ser buen estudiante obviamente ingresars a la
universidad.
4) Ingresars a la universidad si eres buen estudiante.
5) Crecen las plantas siempre que haya humedad en la
tierra.
Son correctas:
a) 1, 2, y 3
b) 2, 3 y 4
c) 3, 4 y 5
d) 2, 4 y 5
e) 1, 3 y 5
25
DAM
Lgica Proposicional
p q es falsa
II.
r q es verdadera
III.
q p es verdadera
Son ciertas:
a) Slo I
b) slo II
c) Slo I y III
d) Slo II y III
11. Si la proposicin:
(p q) (q r) es falsa, luego:
I.
(p q ) no es falsa
II.
(q v s) no es falsa
III.
(q p) es verdad
Son ciertas:
a) Slo I
b) slo II
d) Slo II y III
e) I, II y III
c) Slo I y III
12. Si la proposicin:
{[(p q) r ] (r s)} es verdadera
Hallar el valor de verdad de:
I.
(p q) (r s)
II.
[(p s) r] (w p)
III.
[q (r w)] [p (sq)]
Son ciertas:
a) VVV
b) FVV
c) FFV
26
d) FFF
e) VFV
DAM
Lgica Proposicional
OBJETIVO N 04
ACTIVIDAD N 01
Determinar
cundo
una
proposicin compuesta es una
tautologa, contradiccin o
contingencia.
EJEMPLO 1
Determinar, previa evaluacin; si cada uno de los siguientes
esquemas moleculares es una tautologa, contradiccin o
contingencia.
1. [(p q) ( r q ) ] [ ( p q) (q r ) ]
2. [ (p q) r ] [ r (p q ) ]
3. [ p (q r ) ] [ (p r ) q ]
27
DAM
Lgica Proposicional
Solucin:
1. N de variables proposicionales: 3
Total de valores por cada variable: 23 = 8
[(p q) ( r q ) ] [ ( p q) (q r ) ]
1
p q r
p 1
rq
2 4
23
57
1 1 1
1 1 0
1 0 1
1 0 0
0 1 1
0 1 0
0 0 1
0 0 0
El esquema molecular
Operador principal o
es una TAUTOLOGIA
de mayor jerarqua
2.
[ (p q) r ] [ r (p q ) ]
p q r
1q
23
pv5
r7
48
1 1 1
1 1 0
1 0 1
1 0 0
0 1 1
0 1 0
0 0 1
0 0 0
El esquema molecular
Operador principal o
es una CONTRADICCIN
de mayor jerarqua
28
DAM
Lgica Proposicional
3.
[ p (q r ) ] [ (p r ) q ]
p q r
q1
p2
4r
56
37
1 1 1
1 1 0
1 0 1
1 0 0
0 1 1
0 1 0
0 0 1
0 0 0
El esquema molecular
Operador principal o
es una CONTINGENCIA
de mayor jerarqua
01
29
DAM
Lgica Proposicional
ACTIVIDAD N 02
EJERCICIOS
SOBRE
EVALUACIN
DE
PROPIEDADES
COMPUESTAS:
Determinar, previa evaluacin, si cada uno de los siguientes
esquemas
moleculares
es
una
tautologa,
contradiccin
contingencia.
1. { (p q) [ p (p q) ] } (p q)
2. {[(p ) q] (q p) } { [ (p ) ( q) ] ( p q) }
3. {[(p q) ( q l p) ] (p q) } [ (p q) (p l q)]
4. [( p q) r ] {[( q r) p] p}
5. [ (p q) (q p)] [ q (p r) ]
6. {[(p q) (r p)] [ (p q) (q r) ] }
7. { [ ( p q) r] (r q)} [p ( r q) ] |
8. Como es hora laborable, se concluye que en el juzgado hay
jueces y testigos, dado que, si es hora laborable, en el juzgado
hay jueces, y hay testigos, si en el juzgado hay jueces.
30
DAM
Lgica Proposicional
OBJETIVO N 05
ACTIVIDAD N 01
Determinar
cundo
dos
proposiciones compuestas son
lgicamente equivalentes y
cuando una implica a la otra.
31
DAM
Lgica Proposicional
A
p q r (pq) (r p)
[ p ( r q )]
q ( r p)
1 1 1
1 1 0
1 0 1
1 0 0
0 1 1
0 1 0
0 0 1
0 0 0
en
su
operador
de
mayor
32
DAM
Lgica Proposicional
Solucin:
1) A implica a C si A C es una tautologa verificando:
A
p
(p
A C
q)
qp
[ (p q)] (qp)
es una tautologa
(q
D B
r)
(p
r)
[(qr)] [(pr)]
Por lo tanto,
no es una tautologa
B no es implicado por D
es una contingencia
33
DAM
Lgica Proposicional
qp
C(A B D)
1 0
1 0
0 0
0 0
1 0
1 1
1 0
1 1
Por lo tanto,
No es una tautologa
C no implica a la disyuncin
es una Contingencia
de A, B y D
A B
C (A B)
0 0
0 0
1 0
1 0
1 0
1 1
0 0
1 1
Por lo tanto,
es una tautologa
34
DAM
Lgica Proposicional
ACTIVIDAD N 02
P = p ( r q)
Q = ( p q) r
R = q (p r)
2.
35
DAM
Lgica Proposicional
II.
36
DAM
Lgica Proposicional
OBJETIVO N 06
ACTIVIDAD N 01
1.6. PRINCIPALES
LEYES
LGICAS
TAUTOLOGAS
NOTABLES:
1) Identidad
(a) p p T
(b) p p p
2) No Contradiccin:
(p p) C T
3) Tercio Excluido:
p p T
4) Idempotencia:
(a) p p p
(b) p p p
5) Conmutativa:
(a) p q q p
(b) p q q p
6) Asociativa:
(a) p (q r) (p q)
(b) p (q r) (p q) r
7) Distributiva:
(a) p ( q r) (p q) (p r)
(b) p ( q r) (p q) (p r)
8) Doble Negacin o Involucin:
(p) p
37
DAM
Lgica Proposicional
9) Absorcin:
(a) p (p q) p
(b) p (p q) p
(c) p (p q) p q
(d) p (p q) p q
10)
Morgan:
(a) (p q) p q p/q
(b) (p q) p q p q
11)
Condicional:
(a) p q p q
(b) (p q) p q
12)
Disyuncin Fuerte:
p q (p q) (p q) (p q) (q p)
13)
Transposicin:
(a) p q p q
(b) (p q) q p
14)
Transitiva:
(a) [(p q) (q r)] (p r)
(b) [(p q) (q r)] (p r)
15)
38
DAM
Lgica Proposicional
tales
como
equivalencia
de
proposiciones y
p = hace fro
q = congela
Formalizando:
No es el caso que p y no q
(p q)
Morgan
p q
cuya lectura es: No hace fro o congela . Respuesta (b)
EJEMPLO 2:
Hallar la proposicin equivalente a:
Hay que pagar 50 soles y servicio para ingresar al Club
(a) No ingresar al club o pagar 50 soles, y servicio.
(b) Pagar 50 soles o ser socio, y no ingresar al club.
39
DAM
Lgica Proposicional
por condicional
(p q) r
Luego:
No es cierto que se pague 50 soles y sea socio, o ingresa al
club.
Respuesta (c)
EJEMPLO 3:
Hallar la proposicin equivalente a:
17 es primo porque, 17 es primo o 30 es par, y 30 es par
(a) Si 17 es primo, entonces 30 no es par.
(b) Si 30 es par, entonces 17 no es primo.
(c) Si 17 no es primo, 30 no es par.
(d) 30 es par o 17 es primo.
(e) 17 es primo ya que 30 no es par.
40
DAM
Lgica Proposicional
Solucin:
Formalizando:
p = 17 es primo
q = 30 es par
[(p q) q] p q p
Por absorcin
Si 30 es par, 17 es primo
q p
Por condicional
30 no es par o 17 es primo
p q
Por transposicin
Si 17 no es primo, 30 no es par
Respuesta (c)
EJEMPLO 4:
Simbolizar y luego simplificar la proposicin:
Viene a casa o se va de viaje, pero no viene; en
consecuencia se va de viaje
(a) T
b) C
d) p q
c) p
e) p q
Solucin:
Formalizando:
Sea
p = viene a casa
q = se va de viaje
p q, pero no p; en consecuencia q
[(p q ) p] q
[(q p) q
por absorcin
41
DAM
Lgica Proposicional
(q p) q
por condicional
(q p) q
por Morgan
p (q q)
asociativa
pT
Tercio excluido
EJEMPLO 5:
Simbolizar y luego simplificar la proposicin:
Cuando obtenga mi ttulo entonces ingres a la carrera
magisterial, pero no ingres a la carrera magisterial; luego
no obtuve mi ttulo
(a) p
b) p
c) p q
d) C
e) T
Solucin:
Formalizando:
Sea
p = obtengo mi ttulo
q = ingreso a la carrera magisterial
Condicional
[p q) p
Absorcin
[p q) p
Condicional
(p q) p
Morgan
q (p p)
Asociativa
q T
Tercio excluido
42
DAM
Lgica Proposicional
EJEMPLO 6
Determinar los esquemas ms simples equivalentes a:
(a) [ (p q) q] p
(b) [ (p q) p ] (q p)
(c) [ p (r) ] [ (q ) (p r) ]
Solucin:
(a) [ (p q) q ] p [ (p q) (q)] p Condicional
[ (p q) q] p
Doble Negacin
[ (p q) q] p
Morgan
[ (p q) q] p
Absorcin
qp
Absorcin
(b) [ (p q) p] (q p)
[ (p q) p] (q p)
Condicional
[ (p p) q ] (q p)
Asociativa
[ p q ] (q p)
Idempotencia
[ (p q) q ] [ (p q) p ]
Distributiva
q (q p)
Absorcin
Absorcin
Condicional
[ p (r)] [ q (p r)]
Morgan
{[ p (r)] (r)} (q p)
Conmutativa y asociativa
r q p
Absorcin
(r p) q
Conmutativa y asociativa
(r p) q
Morgan
(r p) q
Condicional
43
DAM
Lgica Proposicional
EJEMPLO 7:
Si definimos @ como:
p @ q {p [p (q t r) ] } p
Simplificar:
[ (p q) @ (q p) ] @ (p q).
a) p
b) p q
c) p
d) q p
e) p q
Solucin:
Por dato, tenemos:
p @ q {p [p (q t r) ] } p
Por la condicional se obtiene
{p [p (q t r) ] } p
Por absorcin
p
Es decir
p@qp
44
DAM
Lgica Proposicional
ACTIVIDAD N 02
45
DAM
Lgica Proposicional
b) p r
c) T
d) C
e) (p q) r
b) C
c) p
d) p q
e) p q
6. Simplificar el esquema:
p (p q)
a) p q
b) q p
d) q p
e) p q
c) p q
7. Simplificar el esquema:
[(p q) (r p)] (q p)
a) p q
b) p q
d) p
e) q
c) p q
8. Simplificar:
(p q) (q p) (p q)
a) p q
b) p q
d) p q
e) q p
c) p q
46
DAM
Lgica Proposicional
9. Simplificar:
{[ (p q) p] (q p)} (p q)
a) p q
b) (p q)
d) p q
e) (p q)
c) p q
b) q
d) p
e) p q
c) p
47
DAM
Lgica Proposicional
OBJETIVOS
OBJETIVO TERMINAL:
proposiciones
usando
variables
48
DAM
Lgica Proposicional
49
DAM
Lgica Proposicional
PRE
- TEST
POST
TEST
Instruccin:
n!
, kn
k!(n k )!
1 = i i 2 = 1
b) 1, 2 y 3
c) 1 y 5
d) Slo 1
e) 1 y 2
02) Si la proposicin:
{[(p q) r ] (r s)} es verdadera
Hallar el valor de verdad de:
I.
(p q) (r s)
II. [(p s) r] (w p)
III. [q (r w)] [p (pq)]
Son ciertas:
a) VVV
b) FVV
03) Determinar
si
la
c) FFV
siguiente
d) FFF
e) VFV
proposicin
es
Tautolgico,
Contradictorio o Contingente:
Como es hora laborable, se concluye que en el juzgado hay
jueces y testigos, dado que, si es hora laborable, en el juzgado
hay jueces, y hay testigos, si en el juzgado hay jueces.
04) Determinar
cules
de
las
siguientes
proposiciones
son
equivalentes:
P = p ( r q)
Q = ( p q) r
R = q (p r)
Universidad Nacional del Santa
50
DAM
Lgica Proposicional
51
DAM
Lgica Proposicional
b) q
d) p
e) p q
c) p
NOMBRE
FECHA
TIEMPO
: 1 HORA 30 MINUTOS
52
DAM
Lgica Proposicional
BIBLIOGRAFA
Barker, S. (1991). Elementos de Lgica. Mxico: McGrawHill Interamericana de Mxico, S.A. de C.V.
53
DAM
Lgica Proposicional
INDICE
PROLGO
OBJETIVOS
PRE-TEST
CONTENIDO
1.1.
1.2.
1.3.
1.4.
1.5.
1.6.
54
DAM
Lgica Proposicional
PRLOGO
lgicos;
equivalencia e
tautologa,
implicacin
contradiccin
las
principales
contingencia;
leyes
lgicas
tautologas notables.
Los objetivos especficos se logran siempre y cuando los
grupos de ejercicios se resuelvan con una eficacia del 80%, en caso
contrario debern volver a estudiar los cuadros correspondientes y
resolver nuevamente los ejercicios incorrectos o no resueltos.
Resuelva los problemas propuestos del modo siguiente: primero en
forma individual, luego en forma grupal y por ltimo presntelos en
un grupo de un mximo de cinco (05) integrantes.
El Autor
55
DAM