Documentos de Académico
Documentos de Profesional
Documentos de Cultura
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
CAPTULO II
CAPTULO III
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
CAPTULO IV
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
Esquema Mnemnico:
10
Modos de Silogismo
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
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
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