CAPTULO I

INFERENCIAS INFERENCIASY YPRINCIPIOS PRINCIPIOS LGICOS LGICOS

INFERENCIAS
Definicin: Equivalencia: Implicacin:

PRINCIPIOS LGICOS
Definicin: De no-contradiccin: (p -p) Ejemplos: 1) No es posible a la vez que Juan sea joven y viejo. 2) No es cierto que Fido est vivo y muerto 3) Es imposible que tu primo haya ingresado y no haya ingresado. De identidad: ( p p) Ejemplos: 1) Si Juan es artista, entonces es artista. 2) Si l es el presidente de la Repblica, entonces lo es Del tercio excluido: ( p v p) Ejemplos: 1) Juan est en casa o no est en casa. 2) El alumno havenido o no ha venido. 3) El equipo gan el partido o no ha ganado el partido.

TAUTOLOGAS NOTABLES
Definicin: Modus Ponens A B A B

p p q

Ejemplos: 1.- Si ha llovido, entonces la tierra est hmeda; ha llovido . Por tanto la tierra est hmeda. 2.- Si ha venido, entonces ha llegado; ha venido. En consecuencia ha llegado. 3.- Si ha vendido, entonces tiene dinero; ha vendido. En conclusin tiene dinero. Modus Tollens A B p q
1

-B -q -A -p Ejemplos: 1.- Si ha llovido, entonces la tierra est hmeda; la tierra no est hmeda. Por tanto no ha llovido. 2.- Si ha venido, entonces ha llegad; no ha llegado. En consecuencia no ha venido. 3.- Si ha vendido, entonces tiene dinero, no tiene dinero. Entonces no ha vendido Silogismo Disyuntivo A v B p v q -B -q A p Ejemplos: 1.- Ha llovido o la tierra est seca; la tierra no est seca. Por tanto ha llovido. 2.- Ha venidos ha ido; no haido. En consecuencia ha venido. 3.- Ha vendido o ha comprado, no ha comprado. Entonces ha vendido Silogismo Hipottico A B p q B C q r A C p r Ejemplos: 1.- Si viene, entonces llega. Si llega, entonces juega Si viene, entonces juega. Adicin A C: A v B p C: p v q

Ejemplos: 1.- Mariano es estudiante. En conclusin, Mariano es estudiante o es ajedrecista. 2.- Las rosas son rojas. En conclusin, las rosas son rojas o son fragantes. 3.- Los caballos son mamferos. Por lo tanto, los caballos son mamferos o son veloces. Simplificacin A B p q A p Ejemplos: 1.- Pedro es presidente y tambin es ingeniero . En conclusin, Pedro es presidente 2.- Los obreros trabajan y tambin juegan. En conclusin, los obreros trabajan. 3.- Los alumnos estudian en el colegio y tambin estudian en la academia. Por lo tanto, los alumnos estudian en el colegio.
Deduccin Natural.- Proceso de razonamiento cuya conclusin se deduce de las premisas abriendo lneas nuevas(adicionales) en base de las premisas dadas usando las equivalencias notables, proceso que termina cuando se llega a la conclusin que se quera probar. EJEMPLO: (1) A B (2) A A C Conclusin: B (3) A 2 simpl.
2

(4) B 1,3 MP

TAREA TAREADOMICILIARIA DOMICILIARIAN N11

1. La definicin clsica de la verdad se denomina teora de la(s) A) dos verdades. B) inferencia. C) interferencias. D) deduccin. E) correspondencia. 2. "Todo nmero par es tal si slo si es divisible por dos". En este enunciado el principio lgico es A) condicional. B) de tercio excluido. C) excluyente. D) de contradiccin E) de identidad. 3.El siguiente esquema: [p -> (p v q) J equivale a A) p-) q B) -p A -q C) -(p A q) D) (p A q) -) q E) -p v q 4. La frmula que indica el principio de no contradiccin es A) -(p A -p) B) -(p A q) C) -(p v -q) D) -(p v -p) E) -(p -) q) 5.La frmula (-p -) q) v -(-p -) q) representa al principio A) del tercio excludo. 7. El razonamiento "Si Juan es estudioso entonces ingresar a la universidad. Juan es estudioso. Por lo tanto ingresar a la universidad" Sigue a la regla a la regla tautolgica denominada. A) Modus Ponens B) Silogismo Disyuntivo C) Modus Tollens D) Simplificacin E) Silogismo Hipottico 8. El enunciado: "Si el dlar sigue subiendo, entonces mis ahorros ganan ms intereses. No gana ms intereses. Luego, el dlar no sigue subiendo", Expresa la tautologa notable denominada A) Principio de no contradiccin B) Modus Tollens C) Modus Ponens D) Silogismo hipottico E) Silogismo clsico B) del modus tollens. C) del silogismo disyuntivo D) de identidad. E) de no contradiccin 6. La frmula de la tautologa notable contenida en el enunciado "Julin es aplicado y responsable. Por lo tanto es responsable" es

CAPTULO II

FALACIAS FALACIASFORMALES FORMALESDE DELA LA LGICA LGICAPROPOSICIONAL PROPOSICIONAL

FALACIAS FORMALES Definicin: 1.- De afirmacin del consecuente:

2.- De negacin del antecedente:

3.- De afirmacin de los extremos:

4.- Medio concluyente:

5.- De cambio del antecedente a la conclusin:

TAREA TAREADOMICILIARIA DOMICILIARIAN N22

1.- El enunciado: "Subir el precio de los alimentos por el aumento del precio del petrleo a nivel mundial. Subi el precio de los alimentos. Por lo tanto aument el precio del petrleo a nivel mundial" es un caso de A) Falacia de afirmacin del consecuente. B) Falacia de esquema de cadena falso. C) Modus Tollens. D) Modus Ponens. E) Falacia de negacin del antecedente. 2.- La falacia de antecedente infringe notable de A) MT B) SH C) MP D) SD E) Simpl. negacin del la tautologa 3. La falacia de afirmacin de los extremos, no sigue la regla del A) Modus Ponens. B) Silogismo Hipottico. C) Modus Tollens. D) Adicin. E) Silogismo Disyuntivo. 4.- Reconocer la falacia que se produce en el razonamiento: "Si viajas a Londres, entonces hablas ingls. Si hablas inters, eres buen estudiante. Por lo tanto, si eres buen estudiante, entonces viajas a Londres." A) de negacin del antecedente. B) de cambio del antecedente de la conclusin. C) del medio concluyente D) de afirmacin de los extremos. E) del cuarto trmino.

No es vencedor quien cambia a los dems, sino quien se cambia a s mismo

CAPTULO III

FALACIAS FALACIASNO NOFORMALES FORMALES

DEFINICIN: De inatingencia a) Argumentum ad baculum

b) Argumentum ad ignorantium

c) Argumentum ad misericordiam

d) Argumentum ad populum

e) Argumentum ad verecundiam

f) Causa falsa

De ambigedad a) Equvoco

b) Anfibologa

c) nfasis

TAREA TAREADOMICILIARIA DOMICILIARIAN N33

1. Cuando alguien dice: "Profesor le ruego me disculpe por no venir a rendir el examen, pues no vine porque mi hermano est muy enfermo", incurre en la falacia de A) argumentum ad misericordiam. B) causa falsa. C) equvoco. D) argumentum ad populum. E) argumentum ad ignorantiam. 2. Cuando alguien afirma: "Existen los fantasmas, porque hay plantas de higo" comete la falacia de A) la ignorancia. B) ad populum. C) la piedad. D) causa falsa. E) equvoco. 3. En la expresin: "Aquella joven enferma no tiene esquizofrenia, sino que se encuentra poseda por el demonio segn lo afirma el Pastor de su iglesia" se comete la falacia de A) argumentum ad verecundiam. B) argumentum ad ignorantiam. C) causa falsa. D) equvoco. E) argumentum ad hominen.. 4. La falacia presente en: "SE REGALA COMPUTADORAS": "Aproveche, se regala computadora por la compra de automvil de ltimo modelo''', es de A) equvoco. B) causa falsa. C) anfibologa. D) ad hominen E) nfasis.

El hombre es libre para elegir y decidir, as como responsable de ello mismo

CAPTULO IV

PROPOSICIONES PROPOSICIONES CATEGRICAS CATEGRICAS

Definicin: TRMINOS Cuantificador: Sujeto: Verbo: Predicado: PROPIEDADES Cantidad: Cualidad: FORMAS TPICAS A: E: I: O: CUADRO DE BOECIO O DE OPOSICIN Definicin:

TAREA TAREADOMICILIARIA DOMICILIARIAN N44

1. Seale la proposicin categrica Universal negativa. A) Ningn gato es len. B) Algunos animales son perros. C) Todos los alumnos son estudiosos. D) Todos los asnos son animales. E) Luis es ingeniero. 2. Indique los trminos sujeto y predicado de la proposicin "Algunos filsofos no son epistemlogos". A) filsofos, epistemlogos. B) no, son. C) algunos, filsofos. D) epistemlogos, filsofos. E) algunos, son.

3. La contraria de la contradictoria de la subcontraria de la subalterna de "Ningn gallo es moro" es A) Todo moro es gallo. B) Algunos gallos no son moros. C) Ningn moro es gallo. D) Ningn gallo es moro. E) Todo gallo es moro. 4. El silogismo "Ningn hombre es idlatra Todo sabio es hombre Ningn sabio es idlatra corresponde al modo y figura A) EAE 4 B) AEE 2 C) EAE 2 D) AEE 4 E) EAE 1

El hombre de excelencia no espera que las cosas sucedan, sino que van tras de ellas para que sucedan

CAPTULO V

EL ELSILOGISMO SILOGISMO CLSICO CLSICO

Definicin: Caractersticas del Silogismo Clsico Trminos del Trmino mayor: silogismo Trmino menor: Trmino medio: Proposiciones Premisa mayor: del silogismo Premisa menor: Conclusin: Figuras del Primera figura silogismo Segunda figura Tercera figura Cuarta figura Las Figuras suelen resumirse de la siguiente manera: 1 FIGURA M S P M 2 FIGURA P S M M 3 FIGURA M M P S 4 FIGURA P M M S

Esquema Mnemnico:

10

Modos de Silogismo

REGLAS DEL SILOGISMO Reglas de los trminos del silogismo 1. 2. 3. 4.

Reglas de las Proposiciones del Silogismo 1. 2. 3. 4.

11

CAPTULO VI

PRUEBA PRUEBA DE DEVALIDEZ VALIDEZDEL DEL SILOGISMO SILOGISMOMEDIANTE MEDIANTELOS LOS DIAGRAMAS DIAGRAMASDE DEVENN VENN Y YEL EL LGEBRA LGEBRADE DEBOOLE BOOLE
Conjunto vaco Conjunto no vaco Conjunto vaco y no vaco en la interseccin de dos conjuntos

S=O S=O S=O S=O Complemento vaco y no vaco de un conjunto en la interseccin de dos conjuntos

S=O

S=O

P=O

S=O

DIAGRAMACIN DE LAS CUATRO PROPOSICIONES CATEGRICAS A PARTIR DE LOS DIAGRAMAS DE VENN Y EL LENGUAJE DE BOOLE A: Todo S es P E: Ningn S es P I: Algunos S son P O: Algunos S no son P

SP=O

SP=O

SP=O

SP=O

12

PRUEBA DE VALIDEZ O INVALIDEZ DEL SILOGISMO POR EL MTODO DE LOS DIAGRAMAS DE VENN Y EL LENGUAJE DE BOOLE Normas 1.- Simbolizar el silogismo con el lenguaje de Boole. 2.- Graficar los diagramas para cada trmino del silogismo. 3.- Diagramar las premisas comenzando por la universal. 4.- la conclusin ya no se diagrama, pues debe leerse en el diagrama. El silogismo es vlido si la conclusin qued diagramada con precisin al diagramar las premisa en cualquier otro caso, ser invlido. Silogismo Simbolizacin Diagramacin Todos los mortales Ejemplo Algunos mamferos. Algunos mortales. caballos caballos son son mamferos son

Criterio decisivo

INFERENCIAS INMEDIATAS VLIDAS EN EL CUADRO DE BOECIO POR EQUIVALENCIA A E I O A -O E -I I -E O -A -O A -I E -E I -A O -O -I -E -A -O -I -E -A A E I O

Todos los delfines son acuticos. No es cierto que algunos delfines no son acuticos. No es cierto que algunos maces no son vegetales. Todos los maces son vegetales. Ningn nio es un adulto . No es cierto que algunos nios son adultos. No es cierto que algunos profesionales han sido analfabetos. Ningn profesional ha sido analfabeto. Algunos estudiantes son ajedrecistas. No es cierto que ningn estudiante es ajedrecista. No es cierto que ninguna persona es buena. Algunas personas son buenas. Algunos animales areos no son mamferos. No es cierto que todos los animales areos son mamferos No es cierto que todos los pases son capitalistas . Algunos pases no son capitalistas.
13

INFERENCIAS INMEDIATAS VLIDAS POR IMPLICACIN EN EL CUADRO DE BOECIO POR IMPLICACIN Contrarias A -E Todos los delfines son acuticos. No es cierto que ningn delfn es acutico. E -A Ningn maz es vegetal. No es cierto que todos los maces son vegetales. Subcontrarias -I O No es cierto que algunos nios son adultos. Algunos nios no son adultos. -O I No es cierto que algunos campesinos no han sido analfabetos. Algn campesino ha sido analfabeto. Subalternas. A I Todos los estudiantes son ajedrecistas. Algunos estudiantes son ajedrecistas E O Ninguna persona es buena. Algunas personas no son buenas. Subalternantes. -I -A No es cierto que algunos animales areos son mamferos. No es cierto que todos los animales areos son mamferos. -O -E No es cierto que algunos pases no son capitalistas. No es cierto que ningn pas es capitalista.

TAREA DOMICILIARIA N 6
1.- el diagrama corresponde a la proposicin: A) no hay interseccin de S con P B) S es diferente de vaco C) hay interseccin de S con P D) hay conclusin entre S y P. E) S es complemento de P. 3. Identifique cul de las siguientes frmulas booleanas corresponde al diagrama de Venn que aparece dibujado. A) Todos los peruanos son asiticos. B) Algunos peruanos son asiticos. C) Todos los peruanos no son asiticos. D) Ningn peruano es asitico. E) Algunos peruanos no son asiticos. 2. Si SP =O debe interpretarse como "
14

A) SP=O B) SP=O C) SP=O

D) SP=O 4. El diagrama corresponde a la proposicin

E) SP=O D) Ningn astronauta es ruso. E) Algunos astronautas son rusos. 6. El diagrama: corresponde a la proposicin

A) Todos los nardos son flores. B) Algunas flores son nardos. C) Pedro no ha tendido nardos. D) Ningn nardo es clavel. E) Algunos vegetales no son nardos. 5. De la proposicin: No es el caso que algunos astronautas no sean rusos" se concluye por equivalencia que A) No es el cuso que Yuri Gagann sea astronauta. B) Todos los astronautas son rusos. C) Algunos rusos no son astronautas

A) Algunos abogados no son doctores. B) Almenas un abogado es doctor. C) Alguno;, no abogados no son doctores. D) Ningn abogado es doctor. E) Algunos 110 abogados son doctores. 7. La conversa simple de "algunos gallos son cantores" es A) Algunos gallos son cantores. C) Algunos cantores son gallos. E) Algunos gallos son gallos. B) Ningn cantor es gallo. D) Ningn gallo es cantor.

El soador nato, tiene sus ideas en los cielos y los pies en el suelo

15

16

17