Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Peano-Russell
Hilbert
Lukasiewicz
p
p
-A
Np
MATEMTICA
CONECTIVOS
CONECTIVOS
LOGICOS
LOGICOS
*Palabras usuales:
no, Nunca, Jams, Es falso que,
No es posible que, Es mentira que,
No es cierto que, De ninguna forma,
Es absurdo que, etc.
*Tabla de verdad:
P
V
F
p
F
V
2. CONJUNCIN:
*Smbolos:
Scholz
Peano- Russell
Hilbert
Lukasiewicz
pq
P.q
AB
Kpq
*Palabras usuales:
...y, adems, tambin,
...sin
embargo, no obstante, tal como,
al igual que, as como, incluso...,
pero, aunque, a la vez, etc
1. NEGACIN:g
*Smbolos
*Tabla de verdad:
p
q
V
V
V
F
F
V
F
F
pq
V
F
F
F
3. DISYUNCIN INCLUSIVA:
*Smbolos:
Scholz
Peano- Russell
Hilbert
Lukasiewicz
pq
pq
AB
Apq
*Tabla de verdad:
*Smbolos:
Scholz
Peano- Russell
Hilbert
Lukasiewicz
*Palabras usuales:
Si.entonces....., ..por lo tanto.,
.por consiguiente., .luego, ....en
consecuencia., ....por ello., .implica
8. LEYES DE MORGAN :
8.1 (p q) p q
8.2 (p q) p q
*Tabla de verdad:
*Palabras usuales:
No o no
*Tabla de verdad:
p
q
p q
V
V
F
V
F
V
F
V
V
F
F
V
9. LEYES DE ABSORCION :
9.1 p (p q ) p
9.2 p (p q ) p
9.3 p (p q ) p q
9.4 p (p q ) p q
*Equivalencia:
p qpq
LEYES DEL ALGEBRA
PROPOSICIONAL
q
V
F
V
F
BICONDICIONAL
02IMPLICACION:
pq
pq
AB
Cpq
9. NEGACION ALTERNA:
7.
5. LEYES DE BICONDICIONAL:
5.1 p q (p q) (q p)
5.2 p q (p q) (p q)
*Palabras usuales:
.si., . siempre que ,
si es
que, debido a que, dado que,
puesto que, ya que, porque, etc.
pq
p
V
V
F
F
01
pq
F
F
F
V
4. LEY DE LA CONDICIONAL:
p q p q
p
q
p
q
A B
Jpq
*Palabras usuales:
O... o...,
O bien. o bien.,
O es que.. o es que.., etc.
*Tabla de verdad:
p
q
pq
V
V
F
V
F
V
F
V
V
F
F
F
5.
IMPLICACION
MATERIAL
CONDICIONAL:
pq
3.2 p (q r) (p q) (p r)
*Equivalencia:
pqpq
Scholz
4. DISYUNCION EXCLUSIVA:
*Smbolos:
Scholz
Peano- Russell
Hilbert
Lukasiewicz
*Tabla de verdad:
p
q
V
V
V
F
F
V
F
F
*Smbolo:
pq
V
V
V
F
*Smbolo:
Scheffer
*Palabras usuales:
Noy no, Ni ni
p
q
pq
V
V
V
V
F
F
F
V
V
*Palabras usuales:
F
F
V
o, salvo que, a menos que,
6. REPLICA MATERIAL:
excepto que, etc.
*Tabla de verdad:
p
q
V
V
V
F
F
V
F
F
8. NEGACION CONJUNTA:
*Smbolos:
Scholz
Peano- Russell
Hilbert
Lukasiewicz
pq
V
V
F
V
O
DOBLE
pq
pq
AB
Epq
*Palabras usuales:
...si y solo si, siempre y cuando, es
idntico a, equivale a que,
es, .....entonces y solo entonces,
siempre que y solo cuando, es una
condicin necesaria y suficiente., etc.
*Tabla de verdad:
p
q
V
V
V
F
F
V
F
F
pq
V
F
F
V
*Smbolo:
Scheffer
p q
1. LEYES DE LA CONJUNCION:
1.1 p p p (Idempotencia)
1.2 p q q p (Conmutativa)
1.3 (pq) r p (q r) (Asociat iva)
1.4 p p F(No contradiccin)
1.5 p V p
1.6 p F F
2. LEYES DE LA DISYUNCION:
2.1 p p p (Idempotencia)
2.2 p q q p (Conmutativa)
2.3 (pq) r p (q r) (Asociativa)
2.4 p p V (Tercero Excluido)
2.5 p V V
2.6 p F p
3. LEYES DISTRIBUTIVAS:
3.1 p (q r) (p q) (p r)
LEYES DE LA INFERENCIA
PQ
P
Q
(PP)
2. Modus Tollendo Tollens (TT)
PQ
Q
P
(TT)
3. Silogismo Disyuntivo (SD)
PQ
PQ
P
Q (SD)
Q
P (SD)
6
PQ
P
Q
PQ
Q
P
(IE)
(IE)
PQ
QR
P R (SH)
6. Conjuncin (C)
P
Q
P Q
7. Simplificacin (S)
PQ
P (S)
(C)
PQ
Q (S)
(A)
PR
QS
PQ
R S (DC)
10. Dilema Destructivo (DD)
PR
Q S
R S
P Q (DD)
PROPOSICIONES CATEGRICAS
Formas Tpicas:
:Todo S es P
5
E:Ningn
S es P
I: Algn S es P
O:Algn S no
es P
8. Adicin (A)
P
P Q
SILOGISMO CATEGORICO
Universal Afirmativa
Universal Negativa
Existencial
Afirmativa
Existencial Negativa
Es
y
el
se
MP
SM
SP
PM
SM
SP
MP
MS
SP
03 Ejm.
PM
MS
SP
MP
MS
SP
Ejm.
Algn msico es pianista y
todo artista es msico,
cierto pianista es artista.
PM
MS
SP
4. Modos
del Silogismo:
Estn
constituidos por las diferentes formas
tpicas de las proposiciones categricas,
Ejm.
Ningn insecto es vertebrado, y
cierto vertebrado no es alado,
algn alado es insecto.
Modo:
EOI
E: corresponde a la premisa mayor
O: corresponde a la premisa menor
I: corresponde a la conclusin
5. Forma de un Silogismo: Es colocar
ordenadamente el modo y figura de un
silogismo.
Ejm.
Todas las frutas son dietticas, y
algunas frutas son econmicas,
pocas dietticas son econmicas.
Fig: 3ra
MP
Modo: I A I
MS
Forma: I A I 3
SP
6. Modos Vlidos del Silogismo: Se
sabe que los modos posibles que se
pueden organizar con tres trminos son
64 en total, pero esto es en una sola
figura, lo cual indica que en total se
puede
obtener
256
silogismos
totalmente diferentes, de los cuales
solamente 24 son vlidos, de ellos 19 se
les conoce con una nombre latino con las
vocales de las proposiciones categricas,
estos modos vlidos son los siguientes:
1RA FIGURA
2DA FIGURA
BARBARA
CESARE
CELARENT
CAMESTRES
DARII
FESTINO
FERIO
BAROCO
AAI
AEO
EAO
EAO
3RA FIGURA
DARAPTI
FELAPTON
DATISI
DISAMIS
BOCARDO
FERISON
4TA FIGURA
BAMALIP
CAMENES
DIMATIS FESAPO
FRESISON
AEO
PM
MS
SP
(CAMENES)
Ejm.
Cada anarquista es rebelde, adems
cierto testarudo es rebelde,
existen testarudos anarquistas.
Fig: 2da
Modo: A I I
Forma: A I I 2
Validez: No vlido
PM
SM
SP
7.
Validez
mediante
Diagramas
Booleanos: Una manera de comprobar la
validez de los silogismos categricos es
graficar las premisas y analizar si la
conclusin concuerda con la grafica
establecida, para ello es necesario conocer
la grfica correspondiente de cada forma
tpica:
A
Todo S es P
E
Ningn S es P
I
algn S es P
q] v [(~ q) p]
III. [(~ p) (~ q)] v [p q]
II. [(~ p)
a) III
d) II y III
b) II
e) I y III
c) I
{[(p
]
a) q
d) p
PROBLEMAS PROPUESTOS
1.- Si el siguiente esquema molecular es
falso:
[(~p r)
q]
[(p ~q) v (r
Hallar el valor de verdad de:
I. [~(p q)
s)]
~ r] s
(p ~ q)
p] v ~ q
II.
(~ s r)
III.
a) VFF
d) FFV
[(s v r)
b) VVV
e) VFV
c) FVV
[(p r) v (~ q v s)]}
~ {(p s)
es verdadera.
Hallar el valor de verdad de:
I.
x) ~ (p q s)]
p) (s w)]}
~ {~[~(q
~ (s r)
(~ q s)
~ [(r
II.
III.
a) VVF
b) VVF
c) FFF
d) VFV
e) FVV
3.- Si: S es verdadera y la proposicin
{[(p
b) p
c) p q
e) ~ p v ~ q
6.- Dado:
p @ q
{~ p
p
Simplificar:
[p (q t r)]}
[(p
q) @ (q p)] @ {p
q}
a) p
b) p ~ q
c) ~ p
d) ~ q v ~ p
e) ~ p v q
7.- Sean p, q dos proposiciones cuales
quiera. Se define el conectivo * en la
forma siguiente:
P
Q
P*q
V
V
F
V
F
F
F
V
F
F
F
V
Simplificar:
[(p * q) * q] * [(p * q) * ~ q]
a) ~ p
b) p
c) q
d) ~ p
e) p v q
8.- Dado el siguiente circuito:
Su equivalente es:
a) p v q
b) p q
d) p
e) p v q
q] v [q p]
c) r
06
q)?
I. [(~ p)
5
r) ~ (s r)] (s v ~ r)} 05
v
q
Es falsa. Halle los valores de verdad de
p.q y r
a) VFF
b) FFF
c) FFV
d) FVF
e) VFV
a: ~(p
q)v~p](~q p)}[qv(rs)
Donde: x
Z+
Halle EL valor de verdad de la siguiente
14.proposicin:
~[p(6)
~ p(8)][~(q(8) ~(~(q(7)))]
a) Verdadero
b) Tautologa
c) Falso
d) Contradiccin
e) Consistencia
10.- Se define:
p%q
{[(~q
p)
~ p] q} v ~ p
Simplificar:
[(p% ~q)%(q% ~p)]% p
a) q
b) ~ q
c) p
d) ~ p
e) p v ~ q
te
ayudar
en
tu
trabajo
Podemos concluir:
I.
Te debo 100 soles
II. Ir al cine con Maribel
III. Eres mi amigo
11.- Expresar la proposicin:
a) Slo I es correcta
(p q) v (r v s)
de otra manera, en las que nicamente b) Slo I y II son correctas
c) Slo II y III son correcta
intervengan los conectivos (~) y (
)
d) I, II y III son correctas
e) Ninguna es correcta
a) (p
q)
~ (r
s)
~ q) (~ s ~ r)
~ q) (~ r s)
(p
q) (s r)
~ (p
~ q) (r s)
~ (p
(~ p
II.
Si no va
deporte.
al
banco,
practicar
II.
b) 1. r v
2. p r / q
p
2. s
3. ~r/
c) 1. ~ (r v t)
2. s
d) 1. q
r/ ~ s
e) 1. (p v q)
2. p s/
2. q p/
p
r
q
r
2. (pq)
f) 1. p
pq
3. ~(pr)/
~p
~s
g) 1. r
~p
2. ~ p
3. q v r
h)1.(~p~q)
2. r
p/ ~s
4. q
i) 1. p v (qr)
s
r/ r
3. s
2. p
3. ~ p/
~q
q
2. r
s
3. ~r
4. (~p
~t)(~t
j) 1. p
~r)
s
5
5. p v ~ p/
B.
Mediante
el
mtodo
de
las
derivaciones demuestra la validez de las
siguientes inferencias:
a) 1. p v q
b) 1. q ~ s
2. ~(p v r)/
~p
c) 1. (pq)
2. ps
(rs)/
d) 1. p ~ q
2. p
3. q/
2.p
~r
3.q v ~s/
~ (rvs)
e) 1. (p v q)
p
2. s
s
q
3. t
4. s v t/
~w
g) 1. p
(rs)
3. s/
f) 1. ~ (t r)
2. ~ r
w v r
~(q r)
2. (s v q)
~t)
~p
3. ~ t
4.
s
~s/
w
07
h) 1.(pvq)
2. ~p
(t
3. ~ r/
~t
Corresponde a:
A. Clase vaca
B. Clase universal
C. Clase incluida
D. Clase no vaca
E. Clase nula
3. No es una forma estandar
proposicin categrica:
A. Ningn profesor es grosero
B. Algn camello es domstico
C. Todo nio no es perverso
D. Algn simio no es mamfero
E. Todo hombre es imperfecto
de
7.
a)
S P
c) S P
e)
b) P H
S P
P H
b)
d) S P
S P
c) P H
d)
P H
e)
Corresponde a:
La frmula:
P H
d)
Algunos
lenguaje
C I
C I
c) C I
e)
b)
C I
P I
22.- La grfica:
b) P I
P I
P I
e)
Determinar
si
las
siguientes
proposiciones son equivalentes con el
uso de los diagramas volanos:
16.- Todos los poetas son insensatos
Ningn poeta es insensato
17.- Ciertos hombres son infieles
Existen fieles que no son hombres
18.- Ningn descortes apoltico
Todos los polticos son corteses
09
a)
d)
S P
S P
S P
b)
c)
S P
e) S P
10
( ) S: ___________________
( ) M:___________________
( ) P: ___________________
( ) S: ___________________
( ) M:___________________
37.- mentira
Ningn cantante
es leal, los
siempre
27.- Es
que todos
no que
algnsean
artista
sea leal, inclusive
fumadores
dependientes:
muchos cantantes son artistas
( ) P: ___________________
( ) S: ___________________
( ) M:___________________
( ) P: ___________________
( ) S: ___________________
( ) M:___________________
( ) P: ___________________
( ) S: ___________________
( ) M:___________________
02
50.- Todo mueco es diablico, pero todo 55.- El silogismo: Es falso que todo
diablico es imaginario, por ello hay guerrero sea hroe, as como es mentira
muecos que son imaginarios.
que ningn hroe sea no valiente; por lo
tanto es verdad que todo guerrero sea
51.- El silogismo cuyo modo es AEI valiente, tiene como modo:
indica que para su premisa menor, a) OOA
podra ser la proposicin.
b) IOA
a) Todo auqunido es de Harvard
c) AOA
b) Alguna anciana no es Karateca
d) OIA
c) Cierto simio es profesor
e) IIA
d) Ningn perro es agresivo
e) Algn marciano es tacao
56.- Para que el silogismo cuyas premisas:
P1: Todo simio es culto,
52.- Hallar el modo del siguiente P2: Algn simio es ateo,
silogismo:
Tenga como modo IAE; la conclusin
Cada pescador es modesto,
debera ser:
y algunos fuertes no son modestos,
a) Ningn ateo es culto
por consiguiente ningn pescador es
b) Algn culto es ateo
fuerte
c) Cierto culto es ateo
a) EAO
d) Ningn ateo es inculto
b) OAE
e) Todo culto no es ateo
c) AOE
d) OEA
e) EOA