e)
c)
d)
e)
VV
VF
FV
FF
( p1 ) ( p2 ) .... ( pn )
Antecedente
I)
1.
2.
3.
4.
5.
6.
VV
F V
F F
F F
V
V
V
V
V
F
V
F
PRACTICA
Formalizar y determinar la validez de las
siguientes inferencias.
Los tomos son istopos, cuando y solo cuando,
poseen el mismo nmero de protones o diferente
nmero de neutrones. Por consiguiente, si tiene el
mismo nmero de protones y neutrones, son istopos.
Un silogismo es vlido por diagrama de Venn cuando y
slo cundo la conclusin est graficada en el diagrama
de Venn. Pero la conclusin no esta graficada en el
diagrama de Venn. Por ello el silogismo no es vlido.
Ocurre que el material o es de madera o es de plstico,
sucede que no es de plstico ni de madera; por lo tanto
el material es inservible.
Los dibujos animados son propicios para los nios
siempre que no contengan escenas violentas y no
provoquen falta de autoestima. Pero sucede que los
dibujos animados contienen escenas violentas y
provocan falta de autoestima. Por lo anterior, los
dibujos animados no son propicios para los nios.
El lgebra y la aritmtica forman parte de la
matemtica, si esta es considerada una ciencia. Pero la
matemtica si es una ciencia. Luego, la aritmtica
adems del lgebra forman parte de la matemtica.
p q
q r
p r
b)
p q
~ q
p
c)
q p
q
p
Consecuente
En el ejemplo:
(p q)p p
E) Evaluar el esquema por tabla de verdad.
pq ( p q ) p q
V
F
V
V
d)
q p
p q
~ p q
p q
VV
VF
FV
FF
~ p r
r q
p q
e)
(p q ) r
Propiedades de la implicacin
1.
Cualquier frmula (A) se implica a si misma:
A A
2.
Cualquier frmula (A) implica a una tautologa
(T): A T
3.
Una contradiccin () implica a cualquier
frmula: A
4.
Propiedad transitiva: Si A B y B C
entonces A C
Ejemplo:
a)
b)
A= p q
B=~(~p~q)
Estas 2 frmulas se unen a
bicondicional, y se aplica la tabla de
travs del
verdad.
(pq) ~(~p~q)
pq
VV
VF
FV
FF
V
V
V
F
V
V
V
V
V
V
V
F
F
F
V
V
F
F
F
V
F
V
F
V
M a tr ic e s
ig u a le s
c)
Propiedades De La Equivalencia
1.
Cualquier frmula se equivale a si misma: A
A
2.
Relacin Simtrica: A B, entonces
B
A
3.
Relacin Transitiva: Si A B y B C,
entonces A C
4.
Todas las frmulas tautolgicas son
equivalentes .
5.
Todas las frmulas contradictorias son
equivalentes.
Dado
p q ( p q ) ( q p ) ( p q ) ( q p)
e) q ( r p )
La proposicin No es el caso que Luis est con
varicela o con sarampin implica a:
a) Luis est con fiebre entonces est con varicela.
b) Si Luis est con fiebre entonces est con
sarampin.
c) Luis est con varicela y sarampin.
d) Si Luis est con sarampin entonces est con
fiebre.
e) Luis est, o con varicela o con sarampin.
10. Segn la propiedad transitiva de la implicacin, la
frmula.............. es tautolgica.
a) ( p q ) ( q r ) . . ( p r )
b) ( p q ) ( q r ) . . ( p r )
c) ( p q ) ( q r ) . . ( r p )
d) ( p q ) ( r q ) . . ( p p )
e) Ninguna de las anteriores.
11. Si A = T y B = , entonces:
I) A implica a B.
12.
13.
14.
9.
15.
16.
17.
I)
18.
15.
16.
17.
18.
19.
I)
1.
2.
d)
3.
4.
5.
6.
7.
8.
1.
2.
3.
(pq)r..q(pr)
a) VVVVVVVV - Tautolgica
b) VVFFVVVV - Contingente
c) FFFFFFFF
- Contradictoria
d) VVVVVVVV - Contradictoria
e) FFFFFFFF
- Tautolgica
La frmula ( p q ) implica a:
a)
p(rq)
b) p ( r q )
c) p ( q r )
d) ( p q ) r
PRACTICA
Formalizar y determinar si los esquemas
propuestos son equivalentes
a) A = Estudia ingeniera o estudia medicina.
B = No estudia ingeniera pero si estudia
medicina.
b) A = No es cierto que sea nominalista y realista
a la vez.
B = O es nominalista o es realista.
c) A = La msica es agradable si y slo s relaja
el espritu.
B = No relaja el espritu por ello no es
agradable.
Determinar si las siguientes frmulas son
equivalentes
a) p q . . ~ q . r
b) ~ r p . . p ~ q
c)
p p.. ~p~p
d) ~ r (p q ) (~ p ~ q ) ~ r
Formalice y establezca si los esquemas forman
una relacin de implicacin lgica
a) A = Es un buen periodista dado que es
objetivo
B = No es un buen periodista o no es objetivo.
b) A = Las ballenas estn en extincin no
obstante continan su caza indiscriminada,
de ah que sea necesario tomar una
medida inmediata.
B = Si es necesario tomar una medida
inmediata, entonces, ya no existe caza
indiscriminada de ballenas, o no era cierto
que las ballenas estn en extincin.
c) A = Delia es alegre si y slo s no tiene
problemas.
B = Alicia y Delia juegan juntas por eso Delia
es alegre.
d) A = O dices la verdad o es necesario que
investiguemos los papeles.
B = No investigamos los papeles porque dices
4.
la verdad.
Ubique el esquema que es implicado por A:
A=(pq) (~p~q)
a) ~ p q
b) ~ ( p q )
c) ~ ~ (~ p ~ q )
d) p q
e) ~ p q
PRINCIPIOS
Principios
Lgicos LGICOS
2.
3.
Expresin Formal:
pq
p p
V V V
F V F
Expresin Lingstica:
Si ests enamorada, entonces lo ests
Principio de No Contradiccin ( Platn )
Una proposicin no puede ser verdadera y falsa
simultneamente
Expresin Formal:
~(p~p)
~(p ~p)
V V F F
V F F V
Expresin Lingstica:
Es imposible que ests vivo y muerto.
~
p
~p
Ejercicio:
Reconocer que principio se encuentra en una de las
proposiciones
1.
Si ests enfermo, no ests sano ________________
2.
Te quedas o te vas __________________________
3.
No est cierto que est vivo o muerto____________
4.
Si eres cuerdo entonces no eres loco ____________
5.
Eres justo o injusto __________________________
6.
Eres bueno o malo __________________________
7.
Es falso que est vivo y muerto ________________
Recordando la Formalizacin de Proposiciones
1.
Si digo la verdad, me castigas. Pero si miento, me
premian. Por tanto no miento o es imposible que no
me premien.
2.
3.
4.
5.
6.
7.
8.
9.
10.
IIMPLICANCIAS NOTABLES
Son estructuras lgicas que se han comprobado como
vlidos, es decir que son siempre coherentes,
permitindonos reconocer desde razonamientos hasta
esquemas, siendo ya til o un prdida de tiempo realizar
su respectiva tabla veritativa.
1.
Modus Ponendo Ponens (MPP):
( Modos de afirmar el consecuente).- Segn el
MPP, si se afirma el antecedente de una premisa
condicional, se concluye en la afirmacin del
consecuente. Formalmente es:
A B
A
2.
B
Modus Tollendo Tollens (MTT):
7.
8.
A B
~B
3.
II)
A
Silogismo Disyuntivo (SD):
Segn el silogismo disyuntivo, si negamos uno de los
miembros de una premisa disyuntiva, se concluye en la
afirmacin del otro miembro. Formalmente se expresa:
4.
5.
6.
A B
A B
A
B
B
A
Silogismo Hipottico Puro ( SHP):
Segn el SHP, el condicional es transitivo.
Formalmente se expresa:
A B
BC
A C
De Morgan (DM):
Las reglas DM se expresan en las siguientes dos
versiones:
1.- ( A B ) A B
2.- ( A B ) A B
Dilema Constructivo:
Premisa 1: Un condicional
Premisa 2: Otro condicional
Premisa 3: Disyuncin de los dos
1.
2.
3.
4.
pq
q
(pq)r
r
(pq)r
pq
5.
pq
rs
Antecedentes
pr
Conclusin: Disyuncin de los dos
Consecuentes
qs
Dilema Destructivo:
Premisa 1: Un condicional
pq
Premisa 2: Otro condicional
rs
Premisa 3: Disyuncin de ambos
consecuentes negados
qs
Conclusin: Disyuncin de ambos
antecedentes negados
p r
Regla de la Implicacin:
Una proposicin implicativa equivale a una
disyuncin con el primer componente negado.
Formalmente se expresa as::
( A B ) A B
Regla de la Equivalencia:
Una proposicin equivalente, equivale a una mutua
implicacin de sus componentes. Formalmente es
as:
(A B ) . . (A B ) ( B A)
PRACTICA
Obtenga la conclusin de cada conjunto de
premisas que aparecen expresadas en frmulas o
proposiciones, en indique la regla utilizada para
cada caso.
pq
q
(pq)
6.
p q
7.
8.
Pq
(pq)r
s(pq)
9.
10.
11.
12.
13.
14.
p(qr)
(qr)