Tema 14: Equivalencias notables e implicancias notables

Equivalencias notables
Una frmula A equivale a una frmula B si unidas a travs de la bicondicional o equivalente la
matriz principal resulta una tautologa.
1) Doble Negacin
p p
2) Conmutacin.a) (p q) (q p)
b) (p v q) (q v p)
3) Idempotencia.a) (p p) p
b) (p v p) p
4) De Morgan
a) (p q)

( p v q)

5) Las Definiciones del Condicional.(p q) (p v q)

Implicaciones notables
Una frmula A implica a una frmula B si unidos a travs de la condicional o implicativa la
matriz resultante resulta tautolgica.
1) Modus Ponendo Ponens. pq
p
_____
q
2) Modus Tollendo Tollens. pq
q
_____
p
3) Silogismo Disyuntivo. pq
q
_____
p
4) Silogismo Hipottico Puro. pq
qr
_____
pr
5) Simplificacin
(p q) p
(p q) q
6) Conjuncin
( p q) (p q)

Prctica:
1.- Hallar el equivalente de: no estudio
o trabajo.
a) Trabajo y no trabajo
b) Estudio y trabajo
c) Si estudio, trabajo
d) Trabajo pero estudio
e) Ninguna de las anteriores
2.- Sealar el equivalente de: No es
cierto que estudio y trabajo.
a) Estudio y no trabajo
b) Estudio pero no trabajo
c) No trabajo o estudio
d) No trabajo o no estudio
e) Trabajo o estudio
3.- Seale la conclusin vlida de: Si
estudio mucho, ingresar. Resulta que
estudio.
Por
lo
tanto
_______________.
a) No ingreso
b) Ingreso y estudio
c) Ingresar
d) Estudio ms
e) B y c
4.- Seale la conclusin vlida de: Yo
estudio.
a) Estudio o trabajo
b) No estudio.
c) No es cierto que no estudie o
trabaje.
d) No es cierto que no estudio y no
trabajo.
e) A y d
5.a)
b)
c)
d)
e)

Seale solo equivalencias notables:

Modus ponendo ponens
Modus tollendo tollens
Silogismo disyuntivo
dem potencia
Silogismo hipottico puro

6.a)
b)
c)
d)
e)

Seala solo las implicancias:

dem potencia
Def. de condicional
Morgan
Def. del bicondicional
Modus ponendo ponens

7.- Seale el equivalente de. Estudio o

no juego.

a)
b)
c)
d)
e)

Si estudio entonces juego

No juego y estudio.
Estudio o juego
Si juego, estudio
No juego

8.- Seale la equivalencia notable de:

Juan no es deshonesto.
a) Juan es corrupto
b) Juan es deshonesto
c) Juan es honesto
d) Juan es no honesto
e) Juan no es honesto
9.- Seale la equivalente de: No es
cierto que no te aprecio o no te
respeto.
a) Te aprecio pero no te respeto.
b) Te respeto y te aprecio.
c) Te aprecio y te respeto
d) No te aprecio y tampoco te respeto
e) B y c
10.- Seale la conclusin vlida de:
Veo a Andrea o Adriana. No veo a
Adriana.
Por
lo
tanto________________.
a) No veo a adriana
b) Veo a Andrea y Adriana
c) No veo a Andrea
d) Veo a Andrea
e) No veo a ninguna
11.- Seale la conclusin vlida de:
Estudio y trabajo. Por lo tanto
__________.
a) Estudio
b) Trabajo
c) No y estudio y no trabajo
d) A veces estudio
e) A y b
12.- Seale la conclusin vlida de:
Compramos libros. Por eso_____.
a) Compramos libros o plumones
b) Compramos libros y plumones
c) Si
compramos
libros,
no
compramos plumones.
d) Compramos plumones o libros.
e) A y d
13.- La matriz principal de dos frmulas
equivalentes debe resultar:
a) Contradictoria

b)
c)
d)
e)

Consistente
Contingente
Tautolgica
Innecesaria

14.- Una frmula A implica a una

frmula
B
si
unidas
por
una

____________ la
resulta tautologa:
a) Conjuntiva
b) Disyuntiva
c) Condicional
d) Bicondicional
e) Negacin

matriz

principal

15.- Seale el equivalente de: No es

cierto que no estudio y no juego.
a) Estudio y juego
b) Estudio o juego
c) Estudio o no juego
d) No es verdad que estudio
e) A y b

Tema 15: Proposiciones categricas y silogismo

Las proposiciones categricas

Componentes
Sujeto: Es de quien se afirma o se niega algo. (S)
Predicado: Es lo que se niega o afirma del sujeto. (P)
Cpula: verbo ser.
Tipos de proposiciones categricas
1. por su cantidad:
a. Universales
Todos ningn
b. Particulares
Algunos son algunos no son
2. por su cualidad
a. Afirmativa muestra relaciones de inclusin
b. Negativa muestra relaciones de exclusin
Forma tpica de las proposiciones categricas

Universal afirmativa: Todo S es P SaP

Universal negativa: Ningn S es P

SeP

Particular afirmativa: Algn S es P SiP

Particular negativa: Algn S no es P SoP

Silogismo categrico
Es una inferencia compuesta solo por tres proposiciones categricas (dos premisas y una
conclusin).
Pmayor Todos los pacifistas son solidarios
Pmenor Algunos estudiantes son pacifistas
_____________________________
C
Algunos estudiantes son solidarios
Trminos del silogismo
1.

Trmino menor (S).- Se ubica como sujeto en la conclusin. No aparece en la

Premisa Mayor.

2.

Trmino mayor (P).- Se halla como predicado en la conclusin. aparece en la Premisa

Mayor.

3.

Trmino medio (M).- No aparece en la conclusin. Se encuentra en la Premisa Mayor y

Menor.

Prctica
1.a.
b.
c.
d.
e.

Seale la proposicin atpica:

Todo perro no trina.
Todo hombre es feliz
Algn payaso es triste
Algn mecnico no es manco
Todo peruano es valeroso.

2.a.
b.
c.
d.
e.

Seale la proposicin SaP:

Todo hombre no viaja en bus.
Algn ladrn es responsable.
Algn taxista cobra caro.
Ningn gusano es mamfero.
Todos los perros son lanudos.

3.- Seale la proposicin universal

negativa:
a. Todo hombre es libre.
b. Algn dios no existe
c. Ningn peruano es chileno.
d. Algn padre es respetuoso.
e. Ningn estudiante no es ocioso.

9.- Seale la proposicin categrica

totalmente excluyente:
a. Todo humano es fiel.
b. Todo perro ladra
c. Algn filsofo es psiclogo.
d. Algn mdico es inteligente.
e. Ningn vigilante es dormiln.

4.- seale la proposicin particular

negativa:
a. Todas las moscas vuelan
b. Algn invitado asisti a la fiesta.
c. Vende mercanca barata.
d. Algn anciano no es jovial.
e. Ningn humano vuela.

10.- Seale la proposicin universal

afirmativa:
a. Algn insecto es venenoso.
b. Todos los nios son felices.
c. Algn estudiante es aplicado.
d. La nia de azul.
e. Ningn gato es perro.

5.- Un tipo de razonamiento deductivo

que consta de tres proposiciones
categricas:
a. Silogismo
b. Inferencia inductiva
c. Inferencia inmediata
d. Falacia
e. a y b

11.El silogismo
categrico
considerado
un
aporte
_____________a la lgica.
a. Bacon
b. Toms de Aquino
c. Augusto Comte
d. Scrates
e. Aristteles

6.- El silogismo categrico posee un

trmino que no aparece en la
conclusin:
a. Trmino mayor
b. Trmino menor
c. Trmino medio
d. La cpula
e. El artculo

12.- Seale donde aparece el trmino

menor en el silogismo:
a. En la conclusin
b. En la premisa mayor
c. En la premisa menor
d. En las dos premisas
e. A y c

7.Seale el modo del siguiente

silogismo: Todo humano es mortal.
Todos los precadetes son mortales.
Por lo tanto, todos los precadetes son
humanos.
a. AAA
b. AEA
c. AEI
d. AII
e. III
8.- En el ejemplo anterior seale la
figura del silogismo:
a. Primera
b. Segunda
c. Tercera
d. Cuarta
e. Quinta

es
de

13.- Seale donde aparece el trmino

mayor en el silogismo:
a. En la conclusin
b. En la premisa mayor
c. En la premisa menor
d. En las dos premisas
e. A y b
14.- La proposicin categrica SaP es:
a. Universal negativa
b. Particular afirmativa
c. Particular negativa
d. Universal afirmativa
e. Universal particular
15.- La proposicin categrica SiP es:
a. Universal negativa
b. Particular afirmativa
c. Particular negativa
d. Universal afirmativa
e. Universal particular

Tema 16: Repaso de Lgica

1.a.
b.
c.
d.
e.

Seale la proposicin:
Sale del pas?
Adrin Romero
Este enunciado es falso.
No viene en las maanas.
Byd

2.a.
b.
c.
d.
e.

Seale la proposicin conjuntiva:

Estudia o trabaja
Estudia pero trabaja
Estudia sin embargo trabajo
No estudia
Byc

3.- Seale la proposicin condicional

inversa:
a. Vino y venci.
b. Sali de paseo ya que hizo su
tarea.
c. Si estudia, ingresar.
d. No estudia y no ingresa
e. Canta y juega.
4.- Formalizar: Si trabajo duro
entonces Sandra se casar conmigo y
viviremos en Arequipa.
a.- p q
b.- (pq) r
c.- (pq)(pr)
d.- r ( pq)
e.- p ( qr)
5.- Formalizar: Si voy al parque entonces
no veo a mi vecina, pero si no voy al
parque, entonces veo a mi vecina.
a.- (p
q) ( p
q)
b.- (p
q)V ( r
q)
c.- ( p
q)
(p
q)
d.- p
q
e.- ( p
q)
6.- Seale los conectores respectivos de la
condicional indirecta:
a. Entonces
b. Por eso
c. Por lo tanto
d. De ah que
e. Porque
7.- Seale la equivalencia notable de: No
voy al parque y no voy al cine.

a. No es cierto que voy al parque o voy al

cine.
b. voy al parque o voy al cine
c. voy solo al parque
d. no voy al cine
e. a y b
8.- Seale la equivalencia de: No es cierto
que Martn es deshonesto.
a. Martin es deshonesto
b. Martin es honesto
c. Martin es respetuoso
d. Martin no es honesto
e. Martn es no- honesto
9.- Seale la falacia de atingencia:
a. Equvoco
b. nfasis
c. Anfibologa
d. Falacia formal.
e. Argumentum ad hominem.
10.- No puedo ir a tu casa porque hoy es
viernes 13.Qu falacia se evidencia?
a. Ad hominem
b. Ad populum
c. Causa falsa
d. Ad ignorantiam
e. Ad verecundiam
11.- Seale el modo del siguente silogismo:
todos los visitantes son bienvenidos.
Algunos estudiantes son visitantes. Por lo
tanto,
algunos
estudiantes
son
bienvenidos.
a. AAA
b. AEA
c. AII
d. IIA
e. AIA
12.- Seale la figura en el silogismo
anterior:
a. Primera
b. Segunda
c. Tercera
d. Cuarta
e. Quinta

13.- Seale los valores de la matriz de la

condicional:
a. VVVV
b. VVFF
c. VFVV
d. VVFV

e. FFVV
14.- Seale los valores de la matriz de la
conjuntiva:
a. VVVV
b. VVVF
c. FVVV
d. VFFF
e. FFVV
15.- Seale la clasificacin de la matriz
del siguiente esquema molecular: Si
estudio, ingreso. Sucede que no
estudio. Por lo tanto si estudio
entonces ingreso.
a. Contingente
b. Consistente
c. Contradictorio
d. Tautolgico
e. A y b
16.- Seale el trmino mayor en el
siguiente
silogismo:
Todos
los
estudiantes son responsables. Algunos
estudiantes son honestos. Por lo tanto,
todos los honestos son responsables.
a. Estudiantes
b. Responsables
c. Honestos
d. Es
e. Todos

17.-Para construir una inferencia se

necesita por lo menos de:
a. Una proposicin
b. Dos proposiciones
c. Tres proposiciones
d. Cuatro proposiciones
e. Cinco proposiciones
18.- Los valores de la matriz de la
disyuncin fuerte son:
a. VVVV
b. FFFF
c. FVVF
d. VFFV
e. VVFF
19.- Seale conectores empleados
para la conjuntiva:
a. Adems
b. Pero
c. Sin embargo
d. Y
e. Todas las anteriores
20.- Padre de la lgica antigua:
a. Scrates
b. Aristteles
c. Bacon
d. Frege
e. Wittgenstein