CAPTULO I

LA LALGICA: LGICA:HISTORIA HISTORIA

1. ETIMOLOGA

2. CONCEPTO

ETAPAS
1. ANTIGUA

2. MEDIEVAL

3. MODERNA

CAPTULO II

EL ELLENGUAJE LENGUAJEDELA DELA LGICA LGICA

1.- DEFINICIN

FUNCIONES a) Informativa

b) Expresiva

c) Directiva

LENGUAJE LGICO Definicin:

Caractersticas a) Simblico b) Artificial c) Preciso c) Escrito d) Universal

CAPTULO III

LA LALGICA LGICAPROPOSICIONAL PROPOSICIONAL

DEFINICIN:

CLASES 1. ATMICAS Concepto

Clases: a) Predicativas b) Relacionales

2. MOLECULARES Concepto

Clases: c) Conjuntiva

d) Disyuntiva

c) Condicional

d) Bicondicional

e) Negacin

TAREA TAREADOMICILIARIA DOMICILIARIAN N1-2-3 1-2-3

1. La lgica antigua, precursora de la actual 1gica proposicional, fue propuesta por los A) estoicos. B) epicreos. C) escpticos. D) cnicos. E) neoplatnicos. 2. El matemtico de1 siglo XIX que desarroll el lgebra de la lgica fue A) George Peano. B) David. Hilbert. C) George Boole. D) Emil Post. E) Guillermo Leibnitz. 3. La expresin "pgame inmediatamente", est en la funcin del lenguaje. A) implicativa B) expresiva C) directiva D) informativa E) condicional 4. Identificar la proposicin. A} Los hombres del maana. B) La simbologa evolucionista. C) Qu es la lgica? D) El hijo de la inquisicin. E) La lgica es una ciencia fctica. 5. Identifique la proposicin relacional.
4

7. Identificar las funciones del lenguaje presentes en las siguientes expresiones, respectivamente 1) Acarciame con tu mirada de seda. 2) Hay agua en Jpiter. A) Expresiva - informativa B) Directiva - informativa C) Expresiva - directiva D) Directiva- expresiva E) Expresiva-expresiva 8. Seale la caracterstica que no corresponde al lenguaje lgico. A) simblico. B) artificial. C) preciso. D) universal. E) hablado: 9. El lenguaje lgico recurre a frmulas y signos convencionales, por ello es A) artificial. B) preciso. C) escrito. D) simblico. E) universal. A) Scrates naci en Atenas. B} Kelly es sobrina de Rosa. C} El vecino tuvo 3 casas. D) Pedro Y Mana estn en Huancayo. E) Jams he visitado las brisas 6. Marque la alternativa que contenga una proposicin atmica predicativa.

A) Zedna es el dcimo planeta. B) Jos y Miguel son primos. C) Presntate maana temprano. D) Sat6lite natural de la Tierra. E) Maa no sabe leer. 10. Marque la alternativa que contiene una proposicin atmica predicativa.

A) 3 es mayor que 4: B) Debes estar ah antes de las 7 a.m. C) Patricia no es limea. D) El autor de los hermanos Karamazov E) 7 es un nmero par.

CAPTULO IV

SIMBOLIZACIN SIMBOLIZACINY Y FORMALIZACIN FORMALIZACIN

SIMBOLIZACIN REGLAS 1.2.SMBOLOS ELEMENTOS TABLA DE VERDAD Definicin PARTES Superior Izquierda Inferior Izquierda Superior Derecha Inferior Derecha FUNCIN

TABLA DE LOS PERADORES LGICOS OPERADOR Conjuncin Disyuncin inclusiva Disyuncin exclusiva Condicional Bicondicional Negacin Binegacin Frmula lgica de Scholz Leyes de verdad Operadores en lenguaje natural y, aunque, sin obstante. o o....o Si....entonces s y slo s, cuando y slo cuando, entonces y slo entonces. No, es falso que, no es cierto que, es imposible que, no es el caso que. ni....ni...... TABLA DE LAS FUNCIONES MOLECULARES Conjuncin Disyuncin Dbil Disyuncin Fuerte Condicional embargo, no

Bicondicional

Negacin Binegacin

CLASES DE FUNCIONES PROPOSICIONALES CRITERIO: Por la composicin de la matriz de valor

TAUTOLOGIA (T) CONTINGENCIA (C) CLASES CONTRADICTORIA (L)

FORMALIZACIN DEL LENGUAJE NATURAL 1.REGLAS 2.3.EJERCICIOS Proposiciones en lenguaje natural Formalizacin Si sacas el mayor puntaje, ingresars Eres estudiosos, pero tambin futbolista O estudias hoy o maana. El poltico naci en Lima o en el Callao. Es falso que estudies y leas el curso de lenguaje. Ni comes ni dejas comer. Llegar si y slo si viene el mnibus o no llega el mnibus y no llegar. Jorge cambi de opinin no obstante dijo la verdad, pero o dijo la verdad o dijo una mentira DETERMINACIN DE LA VALIDEZ DE ESQUEMAS MOLECULARES CON UNA O MS VARIABLES.

TAREA TAREADOMICILIARIA DOMICILIARIAN N44

1. Las proposiciones se simbolizan mediante..y cada conectiva por..
7

A) letras - una frmula bien formada . B) frmulas - un operador nico. C) un operador - una constante nica. D) nmeros - unos smbolos adecuados E) variables - un operador. 2. La simbolizacin de "El canario comi ayudn, luego cay, adems porque Florin se descuid, el canario muri" es 3. El grfico que nos permite establecer el valor de verdad de una frmula proposicional a travs de la combinacin de los valores de verdad de las variables y operadores que lo componen, se denomina A) tabla de verdad. B) circuitos lgicos. C) cuadro de Boecio. D) formalizacin. E) simbolizacin. 4. Las tablas de verdad bsicamente para el anlisis de A) proposiciones moleculares. B) frmulas proposicionales. C) inferencias mediatas. D) proposiciones atmicas. E) inferencias inmediatas. sirven

C) FFFFFFFF D) VVVVVVFF E) VVVVVFVV 7. Simbolizando la proposicin ''No es verdad que salgas a correr al parque y vayas a la playa, debido a que ests enfermo" se obtiene. A) ( -p A q) -> r B) r -(pAq) C) -(p A q) -> r D) r A (-p A q) E) r -> (-pAq) 8. I- (r v q) A r I -> - q ,la matriz principal es A) contingencia. B) verdad C) tautologa. D) falsedad E) contradiccin 9. La matriz principal de - {[( -p A q) V (p q)] (q -p)} es A) VFFV B) VVVV C) VFVV D) VVVF E) FVVF 10. Cuando la matriz principal de un esquema contiene nicamente valores de verdadero, se denomina

5. La siguiente proposicin molecular: "Paola viaja a Hunuco o Ayacucho, pero necesita viajar a Nueva York", es

A) tautologa. A) disyuntiva. B) contingente. B) condicional. C) consistente C) conjuntiva. D) inconsistente. TAREA DOMICILIARIA N 1-2-3 D) bicondicional. contradictorio. TAREA DOMICILIARIA NE) 1-2-3 E) negativa. 11. La frmula [(p 6. En la siguiente frmula r) es (p v q) (p v r), la matriz lgica es: A) tautologa. A) VFFFFFVV B) verdadera. B) VVVFFFFF C) contradictoria.
8

q) A (r

q)]

(p

D) falsa. E) contingente. 12. La frmula - [(p v - q) (--) (- p q)] corresponde el esquema molecular

A) consistente B) falso C) vlido D) contradictorio E) tautol6gico

CAPTULO V

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 -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
10

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. (4) B 1,3 MP

TAREA TAREADOMICILIARIA DOMICILIARIAN N55

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. 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

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.
11

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

CAPTULO VI

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:

12

5.- De cambio del antecedente a la conclusin:

TAREA TAREADOMICILIARIA DOMICILIARIAN N66

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

13

CAPTULO VII

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
14

a) Equvoco

b) Anfibologa

c) nfasis

TAREA TAREADOMICILIARIA DOMICILIARIAN N77

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

15

CAPTULO VIII

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:

16

TAREA TAREADOMICILIARIA DOMICILIARIAN N88

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

17

18