01. Cuntas de las siguientes frmulas equivalen a: ? 1) q p v 2) ( ) q p . 3) p q
A) una A) dos A) tres A) ninguna A) no se puede
02. Dadas las siguientes frmulas proposicionales: I) (A B) II) (A . B) III) A B IV) (A v B) Podemos decir que: a) I y III son equivalentes b) II y III son equivalentes c) III y IV son equivalentes d) I y IV son equivalentes e) N.A.
03. Dados los siguientes enunciados: I) - (- BA) II) -(-A v B) III) -(-A / -B) Son equivalentes: A) I, II A) I, III A) II, III A) Todas A) N.A.
04. Las equivalencias de A B son: 1) A v B 2) A v B 3) A B 4) B v A 5) (A v B) Son ciertas: A) 1, 2 y 3 A) 1, 3 y 4 A) 1, 4 y 5 A) 1, 3 y 5 A) 2, 3 y 5
05. Si estamos en viernes entonces maana ser sbado. Equivale a: No estamos en viernes o maana ser sbado.
NOMBRE DE LA LEY:
01. Si me esfuerzo entonces aprobar el curso de Razonamiento Lgico. Equivale a: Si no aprob el curso de Razonamiento Lgico entonces no me esforc.
NOMBRE DE LA LEY: 06. La regla de inferencia: Si se afirma una de las proposiciones de una premisa disyuntiva excluyente, se niega la otra proposicin en la conclusin es conocida con el nombre de: A) Ponendo Tollens A)Tollendo Ponens A) No hay regla A) Ponendo Ponens A) N.A.
07. La regla de inferencia: Si se niega una de las proposiciones de una premisa disyuntiva excluyente, entonces se afirma la otra proposicin en la conclusin es conocida con el nombre de: A) Ponendo Ponens A)Tollendo Ponens A) No hay regla A) Ponendo Tollens A) N.A.
08. Del siguiente argumento: Si llueve entonces el suelo se moja. El patio del colegio no est mojado. Luego, no llovi. Se afirma que es: A) No vlido A) Vlido A) Falso A) Verdadero A) N.A.
09. Del siguiente argumento: Si llueve entonces el patio del colegio se moja. No llovi. Luego, el patio del colegio no est mojado. Se afirma que es: A) No vlido A) Falso A) Vlido A) Verdadero A) N.A.
10. Del siguiente argumento: Si estudio entonces apruebo el curso de Razonamiento Lgico. No aprob el curso de Razonamiento Lgico. Luego, no estudi . Se afirma que es: A) Vlido A) No vlido A) Verdadero A) Falso A) N.A.
q p 11. Del siguiente argumento: Si estudio entonces apruebo el curso de Razonamiento Lgico. Aprob el curso de Razonamiento Lgico. Luego, estudi . Se afirma que es: A) Falso A) Vlido A) No vlido A) Verdadero A) N.A.
Escribe la conclusin, si la hubiera, en cada argumento:
12.
P1 : A B P2 : - B
..
P1 : A B P2 : - B
..
P1 : A B P2 : - A
.. 13.
P1 : A v B P2 : - A
..
P1 : A v B P2 : - B
..
P1 : A v B P2 : - A
..
P1 : A v B P2 : - B
. 14. En los espacios punteados encuentra la conversa de cada premisa, si la tiene. S P
S P ... S P S P S P ... ... ... ..
15. En los espacios punteados encuentra la conversa de cada premisa:
S P S P S P S P
... ... ...
16. En los espacios punteados encuentra la contrapuesta parcial de cada premisa:
S P S P S P S P
... ... ...
17. En los espacios punteados encuentra la contrapuesta total de cada premisa:
S P S P S P S P
... ... ...
18. Determina la proposicin de la que se obtuvo la siguiente obversa: (Construye el Cuadro de Obversas y en los espacios punteados formaliza la premisa de la forma tradicional y escribe su traduccin). A E
I O OBVERTIENTE ................................................................. J R OBVERSA Varios jvenes no son no responsables
19. La proposicin de la que se obtuvo la siguiente obversa: Ningn A es no B, es: A
A A A A l o s
e s p a c i o s
l i n e a d o s E
l o s
e s p a c i o s
l i n e a d o s I
O
O l o s
e s p a c i o s
l i n e a d o s E
l o s
e s p a c i o s
l i n e a d o s O
O l o s A
A A A A l o s
e s p a c i o s
l i n e a d o s I
O
O l o s
e s p a c i o s
l i n e a d o s E
A
A A A A l o s
e s p a c i o s
l i n I
O
O l o s
e s p a c i o s
l E
A
A A A A l o s
e s p a c i o s
l i n e a d o s I
O
O l o s
e s p a c i o s
l i n e a d E
A) Todo A es B B) Todo A no es BC) Todo A es no B D) Todo no A es BE) N.A.
20. La conversa de: Varios matemticos no son intuicionistas, es: A) Algunos intuicionistas son matemticos. B) Cualquier intuicionista es matemtico. C) Ningn matemtico es intucionista. D) Todas E) N.A.
FELICES FIESTAS DE NAVIDAD Y AO NUEVO
TEMARIO TERCERO DE SECUNDARIA PRIMER BIMESTRE TERCERO DE SECUNDARIA VERDAD FORMAL TABLAS DE VERDAD: Reglas de Valores de Verdad: CLASES DE ESQUEMAS MOLECULARES a) Esquemas Tautolgicos b) Esquema Contingente c) Esquemas Contradictorios
SEGUNDO BIMESTRE TERCERO DE SECUNDARIA LEYES DE PRODUCCION LOGICA DOBLE NEGACIN (DN) LEYES DE MORGAN CONMUTACIN CONTRAPOSICIN (CP) ASOCIACIN DISTRIBUCIN ABSORCIN DEFINICIN DEL IMPLICADOR DEFINICIN DEL BIIMPLICADOR RELACIN ENTRE BIIMPLICADOR Y DISYUNTOR EXCLUYENTE DEFINICIN DEL DISYUNTOR EXCLUYENTE EXPORTACIN MUTACIN EXPANSIN LEY DE IDEMPOTENCIA LEY DEL COMPLEMENTO IDENTIDADES
TERCER BIMESTRE TERCERO DE SECUNDARIA REGLAS DE INFERENCIA MEDIATA I
1. MODUS 1.1. MPP (++)
1.2. MTT (- -)
1.3. MPT (+ - )
1.4. M T P (- + )
2. SILOGISMO CATEGRICO
REGLAS DE INFERENCIA MEDIATA II
DILEMAS: D. CONSTRUCTIVO
D. DESTRUCTIVO
SIMPLIFICACIN CONJUNCIN ADICIN O NUEVO FACTOR
CUARTO BIMESTRE TERCERO DE SECUNDARIA LGICA CUANTIFICACIONAL
CUANTIFICADORES LOGICOS. EL UNIVERSALIZADOR, GENERALIZADOR O CUANTIFICADOR UNIVERSAL. EL PARTICULARIZADOR, EXISTENCIALIZADOR O CUANTIFICADOR EXISTENCIAL EJERCICIOS DE FORMALIZACION Y TRADUCCION DE PROPOSICIONES CATEGORICAS CON UN PREDICADO. LEYES GENERALES DE EQUIVALENCIA EN UN UNIVERSO INFINITO. EQUIVALENCIAS DE CUANTIFICADORES
INFERENCIAS INMEDIATAS TRADICIONALES INFERENCIAS POR CONVERSIN: INFERENCIAS POR OBVERSIN O EQUIPOLENCIA. INFERENCIAS POR CONTRAPOSICIN. CONTRAPOSICIN PARCIAL CONTRAPOSICIN TOTAL