Lec. 4. La lógica y la argumentación
|
|
- Adrián Zúñiga Godoy
- hace 6 años
- Vistas:
Transcripción
1 Lec. 4. La lógica y la argumentación. 1
2 Vocabulario:argumentación, inferencia, razonamiento, explicación, justificación 2
3 Bibliografía: 3
4 Lectura página 85 Comentar la importancia del argumentación 4
5 Protágoras de Abdera, era un filósofo griego, un sofista, que a la segunda mitad del siglo V antes de Cristo enseñaba humanidades, especialmente retórica, en la ilustrada Atenas. Es conocida su afirmación «el hombre es la medida de todas las cosas», es decir, el valor de las cosas depende de los hombres que las valoran, no hay valores universalmente válidos. Para él, todo tiene dos caras, dos perspectivas; su arte o habilidad retórica conducía en descubrir las dos diferentes lecturas de toda cuestión. La "paradoja de Protágoras" es un ejemplo de ello. Veamosla! "Protágoras dice que sobre toda cuestión se puede disputar desde dos puntos de vista y con la misma fuerza, incluso sobre esta cuestión misma de si todo puede ser discutido desde dos puntos de vista." Séneca, Cartas a Lucilio 88,43 Un estudiante, Euatlo, quería asistir a las lecciones de retórica de Protágoras en orden a poder ejercer de abogado pero, desgraciadamente, no disponía de recursos económicos. Protágoras habló con él y observó que era un chico muy listo. Lo acceptó en sus clases estableciendo la condición de que cuando ganara su primer pleito, le pegaría todos los honorarios. El estudiante, encantado, estuvo totalmente de acuerdo con ello. El espabilado Euatlo asistió a las lecciones de Protágoras hasta acabar su formación; después, decidió no dedicarse a la abogacía y, consecuentemente, no pagaba. Protágoras reclamó los honorarios, pero el estudiante no se veía en la obligación de pagar: aún no había ganado su primer caso. Frente a la amenaza de un pleito judicial, el brillante Euatleo, que él mismo quería hacerse cargo de la defensa, argumentaba: «Si vamos a juicio, Protágoras, y yo gano, por este mandamiento judicial, no te tendré que pagar; si pierdo, dado que aún no habré ganado mi primer pleito, y esta era nuestra condición, tampoco no tendré que pagar. Así, pues, Protágoras, no te conviene ir a juicio: seguro que lo perderás.» Pero Protágoras, experto en ver las dos caras de todo, argumentaba: «Si vamos a juicio, Euatlo, y yo gano, por este mandamiento judicial, me habrás de pagar; si pierdo, tú habrás ganado tu primer pleito y por razón de nuestro antiguo pacto, me habrás de pagar.» 5
6 1. La Lógica como ciencia de la argumentación 6
7 1.1. El juego de la argumentación o inferencia La argumentación es una actividad lingüística que se da en un contexto comunicativo. La inferencia es un proceso mental que parte de unos conocimientos implícitos en las premisas y expresados de forma explícita en la conclusión. Razonamiento es un proceso mental 7
8 No todo pensamiento razonamiento. 8
9 No confundir: justificación y explicación Explicación: nos informa de cómo son las cosas Llego tarde porque me he dormido Distinción Justificación: nos informa de un hecho con relación a una norma. Llego tarde porque tuve que ayudar a mi madre 9
10 1.2. Elementos constructivos del argumento La argumentación es un razonamiento que consta de premisas y conclusión. 1º Las premisas(antecedentes) son enunciados que contienen expresamente el conocimiento(las razones q se dan) 2º La conclusión(consiguiente) es el enunciado que está implícitamente contenida en las premisas. 3º Una conclusión se puede convertir en premisa de otra argumentación. 10
11 4º Tesis: enunciado que se quiere justificar. 5º Razones: hechos que justifica la tesis. 6º Garantía: razones que apoyan la tesis. 7º Respaldo: base última que da fiabilidad a la garantía. 11
12 DEDUCTIVO TIPOS DE RAZONAMIENTO INDUCTIVO 12
13 1.3. Lógica formal y lógica informal Los enunciados pueden ser verdaderos o falsos Los razonamientos son correctos o incorrectos 13
14 La lógica formal Prescinde del significado de las premisas. Formaliza los razonamientos (los convierte en estructuras) Estudia estas estructuras puramente formales (relación de antecedentes y conclusión) 14
15 La lógica informal No se fija en la forma. Tiene en cuenta la verdad o la falsedad de las premisas. 15
16 La lógica formal estudia la corrección de los razonamientos. La lógica formal no estudia la verdad o falsedad de los enunciados. 16
17 Para formalizar utilizaremos las últimas letras del abecedario en minúscula, por ej: p, q, r, s O las primeras en mayúscula, por ej.: A,B,C.. 17
18 2. Lógica formal: de la lógica clásica la lógica simbólica. Historia de la lógica Lógica = Alejandro de Afrodisias Ἀφροδισιάς (s. II d C.) al comentar el Órganon aristotélico. 18
19 2.1 Edad Antigua Grecia 19
20 Sócrates Es el primero que empieza a estudiar la lógica, pero no escri- be nada. 20
21 Tipos de lógica 1.Lógica clásica aristotélica y medieval. A es B. B es C. A es C. 2. Lógica proposicional o de enunciados. p^q. 3. Lógica de predicados (intensión). [(^x) (Hx Mx). 4. Lógica de clases (extensión). 5. Lógica de relaciones. 21
22 ARISTÓTELES Lógica de predicados Sistematiza y se le considera PADRE DE LA LÓGICA, como ciencia al estudiar: La relación entre enunciados y consecuencia. La proposición categórica: sujeto con cuantificador -cópula-predicado (lóg. de predicados): todos los hombres son mortales. Y utilizar variables para formalizar expresiones:todo H es M Silogismo: razto. con dos premisas y una conclusión.( tres proposiciones) 22
23 ESTOICOS (IIIa Xto - II d Cto) Lógica de las proposiciones. Estudian la proposición hipotética: si estudias aprobarás. Las proposiciones son bivalentes: 1(v), 0 (f) Las proposiciones simples se unen con conectivas(implicación, conjunción, disyunción es exclusiva): estás vivo o muerto 23
24 2.2 Edad Media 1º Escuelas monacales Boecio (S.V-VI): influencia Aristóteles, estudia el silogismo Pedro Abelardo (s XI-XII) separar la lógica de la metafísica Pedro Hispano (s XIII) estudia la lógica estoica 24
25 Edad Media 2º Escolástica Hacen un sincretismo de la lógica aristotélica y de la estoica+ novedades Dan lugar a: Lógica de los términos. Lógica de las proposiciones. G.Ockham (s. XIV) J. Buridán (s. XIV) Ramón Llull (s. XIII) 25
26 JEAN BURIDÁN El asno de Buridán por dónde empezar a estudiar? 26
27 2.3 Edad Moderna Lógica simbólica Leibniz (s. XVII) Aplicó las reglas de la deducción matemática a los razonamientos filosóficos Para ello tenía que crear un lenguaje artificial, no lo hizo, pero indicó el camino. 27
28 Edad contemporánea (s XIX) Son los creadores de la lógica simbólica o matemática. Boole Frege Ambos algebrizan la lógica aristotélica. Convierte en la lógica en un sistema axiomático deductivo. 28
29 Culminación (s. XIX - XX) Bertrand Russell y Whitehead Principia mathematica,de B. R. es síntesis y culminación de todos los desarrollos de la lógica del siglo XX. 29
30 Lenguaje lógico Hay tres tipos del lenguaje: Natural: es un fenómeno social. No apropiado para la ciencia. Falta exactitud.: He alquilado una casa Artificial: utilizados por las ciencias salvan la inexactitud el lenguaje natural, están limitados en sus ciencias respectivas. 30
31 Formal: es un tipo de lenguaje artificial, consta: Una tabla de símbolos formales(sin significado fijo):p, q - ; ; ; ; Una serie de reglas sintácticas, operativas eficaces como el cálculo. Reglas de formación: -p Reglas de transformación: MP 31
32 3. LOGICA DE ENUNCIADOS 3.1.FORMALIZACIÓN Y TABLAS DE VERDAD Formalizamos con dos tipos de signos: Variables: letras del abecedario: p, q, r.a,b,c. Conectores: 32
33 Conectores o funtores o constantes - negación no v disyunción o ^ conjunción y implicación si entonces equivalencia si..y solo si 33
34 Hay dos tipos de enunciados: Atómicos: no se pueden separar A Moleculares: se pueden separar: A 34
35 Funtores, conectores 35
36 Negación p p -p -p La representamos con el signo - Se lee no No relaciona proposiciones Se coloca delante de las proposiciones o expresiones. Cambia valor de verdad de lo que va detrás. Si p es verdadero, - p es falso Cambia el signo del argumento 36
37 Negación p p -p -p La representamos con el signo - Se lee no No relaciona proposiciones Se coloca delante de las proposiciones o expresiones. Cambia valor de verdad de lo que va detrás. Si p es verdadero, - p es falso Cambia el signo del argumento 37
38 CONJUNCIÓN p ^ q p ^ q Se representa Se lee y Es biargumental. Es verdadera siempre que lo sean sus argumentos. Su valor veritativo 1000 Representa la multiplicación lógica. 38
39 CONJUNCIÓN p ^ q p ^ q Se representa Se lee y Es biargumental Es verdadera siempre que lo sean sus argumentos. Su valor veritativo 1000 Representa la multiplicación lógica. 39
40 CONJUNCIÓN p ^ q p ^ q Se representa Se lee y Es biargumental Es verdadera siempre que lo sean sus argumentos. Su valor veritativo 1000 Representa la multiplicación lógica. 40
41 DISYUNCIÓN p pv q v q Se representa Se lee o Representa la suma lógica. Es falsa cuando lo son sus dos argumentos y verdadera en los demás casos. 41
42 DISYUNCIÓN p pv q v q 1 1 Se representa Se lee o Representa la suma lógica. Es falsa cuando lo son sus dos argumentos y verdadera en los demás casos. 42
43 DISYUNCIÓN p pv q v q Se representa Se lee o Representa la suma lógica. Es falsa cuando lo son sus dos argumentos y verdadera en los demás casos. 43
44 CONDICIONAL o IMPLICACIÓN Se representa p q Se lee si.entonces Es biargumental Al primer argumento se le llama antecedente y al segundo consecuente. La implicación es verdadera siempre menos cuando el antecedente es verdadero y el consecuente falso 44
45 CONDICIONAL o IMPLICACIÓN Se representa Se lee si.entonces Es biargumental p q Al primer argumento se le llama antecedente y al segundo consecuente. La implicación es verdadera siempre menos cuando el antecedente es verdadero y el consecuente falso 45
46 CONDICIONAL o IMPLICACIÓN Se representa Se lee si.entonces Es biargumental p q Al primer argumento se le llama antecedente y al segundo consecuente. La implicación es verdadera siempre menos cuando el antecedente es verdadero y el consecuente falso 46
47 BICONDICIONAL COIMPLICACIÓN Se representa p q Se lee si..y solo si Es biargumental Es condición necesaria. La bicondicional es verdadera siempre que coincidan sus argumentos. 47
48 BICONDICIONAL Se representa Se lee si..y solo si Es biargumental p q Es condición necesaria. La incondicional es verdadera siempre que coincidan sus argumentos. 48
49 BICONDICIONAL Se representa Se lee si..y solo si Es biargumental p q Es condición necesaria. La incondicional es verdadera siempre que coincidan sus argumentos. 49
50 El nº de casos en la tabla de verdad es 2 n Dos variables 2 2 Tres variables 2 3 Cuatro variables
51 Tabla de verdad p q -p p^q pvq p q p q
52 3.2. VERDADES LÓGICAS Y CONTRADICCIONES Verdades lógicas = leyes = tautologías es cuando el valor veritativo es 1 verdadero en todos los casos: p v -p p v-p (tercero excluido) 52
53 3.2. VERDADES LÓGICAS Y CONTRADICCIONES Verdades lógicas = leyes = tautologías es cuando el valor veritativo es 1 verdadero en todos los casos: p v-p (tercero excluido) p v -p
54 3.2. VERDADES LÓGICAS Y CONTRADICCIONES Verdades lógicas = leyes = tautologías es cuando el valor veritativo es 1 verdadero en todos los casos: p v-p (tercero excluido) p v -p
55 3.2. VERDADES LÓGICAS Y CONTRADICCIONES Verdades lógicas = leyes = tautologías es cuando el valor veritativo es 1 verdadero en todos los casos: p v-p (tercero excluido) p v -p
56 3.2. VERDADES LÓGICAS Y CONTRADICCIONES Contradicción lógica es cuando el valor veritativo es 0 Es falso en todos los casos p ^ -p 56
57 3.2. VERDADES LÓGICAS Y CONTRADICCIONES Contradicción lógica es cuando el valor veritativo es 0 Es falso en todos los casos p ^ -p
58 3.2. VERDADES LÓGICAS Y CONTRADICCIONES Contradicción lógica es cuando el valor veritativo es 0 Es falso en todos los casos p ^ -p
59 3.2. VERDADES LÓGICAS Y CONTRADICCIONES Contradicción lógica es cuando el valor veritativo es 0 Es falso en todos los casos p ^ -p
60 3.2. VERDADES LÓGICAS Y CONTRADICCIONES Contingencias: unas veces es verdadero y otras falso Verdades factuales dependen de los hechos Si María va al instituto, entonces Juan va al instituto. María no ha ido al instituto. Luego, Juan no ha ido al instituto 60
61 3.2. VERDADES LÓGICAS Y CONTRADICCIONES Contingentes Verdades factuales dependen de los hechos Si María va al instituto, entonces Juan va al instituto. María no ha ido al instituto. Luego, Juan no ha ido al instituto. p= M. va al instituto q= Juan va al instituto 61
62 3.2. VERDADES LÓGICAS Y CONTRADICCIONES Contingentes. Verdades factuales dependen de los hechos Si María va al instituto, entonces Juan va al instituto. María no ha ido al instituto. Luego, Juan no ha ido al instituto. p= M. va al instituto q= Juan va al instituto 62
63 3.2. VERDADES LÓGICAS Y CONTRADICCIONES Contingentes Verdades factuales dependen de los hechos Si María va al instituto, entonces Juan va al instituto. María no ha ido al instituto. Luego, Juan no ha ido al instituto. [(p q )^ -p] -q 63
64 3.2. VERDADES LÓGICAS Y CONTRADICCIONES Si María va al instituto, entonces Juan va al instituto. María no ha ido al instituto. Luego, Juan no ha ido al instituto. [(p q )^ -p] -q [(p q) ^ -p] -q 64
65 3.2. VERDADES LÓGICAS Y CONTRADICCIONES Si María va al instituto, entonces Juan va al instituto. María no ha ido al instituto. Luego, Juan no ha ido al instituto. [(p q )^ -p] -q [(p q) ^ -p] -q
66 3.2. VERDADES LÓGICAS Y CONTRADICCIONES Si María va al instituto, entonces Juan va al instituto. María no ha ido al instituto. Luego, Juan no ha ido al instituto. [(p q )^ -p] -q [(p q) ^ -p] -q
67 3.2. VERDADES LÓGICAS Y CONTRADICCIONES Si María va al instituto, entonces Juan va al instituto. María no ha ido al instituto. Luego, Juan no ha ido al instituto. [(p q )^ -p] -q [(p q) ^ -p] -q
68 3.2. VERDADES LÓGICAS Y CONTRADICCIONES Si María va al instituto, entonces Juan va al instituto. María no ha ido al instituto. Luego, Juan no ha ido al instituto. [(p q )^ -p] -q [(p q) ^ -p] -q
69 3.2. VERDADES LÓGICAS Y CONTRADICCIONES Si María va al instituto, entonces Juan va al instituto. María no ha ido al instituto. Luego, Juan no ha ido al instituto. [(p q )^ -p] -q [(p q) ^ -p] -q
70 3.2. VERDADES LÓGICAS Y CONTRADICCIONES Si María va al instituto, entonces Juan va al instituto. María no ha ido al instituto. Luego, Juan no ha ido al instituto. [(p q )^ -p] -q [(p q) ^ -p] -q
71 3.2. VERDADES LÓGICAS Y CONTRADICCIONES Si María va al instituto, entonces Juan va al instituto. María no ha ido al instituto. Luego, Juan no ha ido al instituto. [(p q )^ -p] -q [(p q) ^ -p] -q
72 4.DEDUCCIÓN NATURAL Y REGLAS DE INFERENCIA Siguiendo el método natural de deducción de Gentzen vamos a estudiar las reglas de los distintos conectores que nos ayudarán a saber si los razonamientos son correctos o no. 72
73 Reglas de introducción y eliminación Introducción p - - p - negación Eliminación - - p p 73
74 Reglas de introducción y eliminación ^ conjunción Introducción p; q p^ q Eliminación p ^ q p ; p^q q 74
75 Reglas de introducción y eliminación Introducción p (p v q ); q (p v q) v disyunción Eliminación o silogismo disyuntivo [(p v q ) -p] q ; [(p q) -q ] p 75
76 Reglas de introducción y eliminación Introducción p (p v q ); q (p v q) v disyunción Eliminación o silogismo disyuntivo [(p v q ) -p] q ; [(p^q) -q ] p 76
77 Reglas de introducción y eliminación Introducción (p. q ) (p q) PC prueba condicional, intro. implicados implicación Eliminación [(p q )^p] q Modus Ponendo Ponens [(p q)^-q ] -p Modus Tollendo Tollens 77
78 Reglas de definición o equivalencia Las reglas de definición (equivalencia, inferencia) consisten en transformar unos conectores en otros 78
79 Reglas de definición o equivalencia ^ v; - 79
80 Reglas de definición o equivalencia p^q -( -p v -q ) Ley de Morgan v; - 80
81 Reglas de definición o equivalencia ^ p q v; - -p v q si te mueves te disparo, no te muevas o disparo 81
82 Reglas de definición o equivalencia ^ v; - p q [(p q)^(q p)] [(.. 82
83 Reglas de definición o equivalencia ^ v; - p q [(p q)^(q p)] [(-p v q)^(-q v p)] [ 83
84 Reglas de definición o equivalencia ^ v; - p q [(p q)^(q p)] [(-p v q)^(-q v p)] -[-(-p v q)v -(-q v p)] 84
85 Reglas de definición o equivalencia v ^; - 85
86 Reglas de definición o equivalencia p v q ^; - 86
87 Reglas de definición o equivalencia p v q -( -p ^ -q ) Ley de Morgan ^; - 87
88 Reglas de definición o equivalencia ^ p q ^; - 88
89 Reglas de definición o equivalencia ^ p q ^; - -(p ^ -q ) 89
90 Reglas de definición o equivalencia v ^; - p q [(p q)^(q p)] [( 90
91 Reglas de definición o equivalencia v ^; - p q [(p q)^(q p)] [-(p^-q)^-(q^-p)] 91
92 Reglas de definición o equivalencia ^ v ; - p q 92
93 Reglas de definición o equivalencia p^q -(p -q) v ; - 93
94 Reglas de definición o equivalencia ^ p v q ; - -p q 94
95 Reglas de definición o equivalencia ^ v ; - p q [(p q)^(q p)] [ ] 95
96 Reglas de definición o equivalencia ^ v ; - p q [(p q)^(q p)] -[(p q) -(q p)] 96
97 Reglas de definición o equivalencia p p principio de identidad ( ) principio de no contradicción? principio de tercero excluido? Ya estudiadas y equivalentes entre si 97
98 Reglas de definición o equivalencia p p principio de identidad ( p p ) principio de no contradicción? principio de tercero excluido? Ya estudiadas y equivalentes entre si 98
99 Reglas de definición o equivalencia p p principio de identidad ( p p) principio de no contradicción p p principio de tercero excluido Ya estudiadas y equivalentes entre si 99
100 Leyes de la lógica proposicional (p q ) r p (q r) Asociativa de la disyunción p q q p Conmutativa de la disyunción (p q ) r p (q r) Asociativa de la conjunción p q q p Conmutativa de la conjunción 100
101 Leyes de la lógica proposicional p (q r ) (p q ) (p r) Distributiva de la disyunción p (q r ) (p q ) (p r) Distributiva de la conjunción 101
102 Leyes de la lógica proposicional (p q) [(q m) (p m)] Silogismo condicional [(p q) (q r)] (p r) Ley transitiva (p p) p Eliminación disyunción p (q q) p Reducción al absurdo 102
103 Leyes de la lógica proposicional P.C. Dilemas 103
104 Leyes de la lógica proposicional P.C. Dilemas Bertrand Russell 104
105 Leyes CON SUPUESTOS PROVISIONALES PRUEBA CONDICIONAL (P.C.) Si a partir de un conjunto de premisas iniciales y de una premisa provisional X se deduce una fórmula Y, podemos inferir como conclusión la implicación de X sobre Y. 105
106 Leyes DILEMAS DILEMAS: problemas con mas de una solución Razonamiento formado por tres premisas: una disyunción y dos implicaciones, cuyo resultado es otra disyunción: Pueden ser constructivos o destructivos 106
107 DILEMAS CONSTRUCTIVO (MP) DESTRUCTIVO (MT) SIMPLE COMPUESTO SIMPLE COMPUESTO 107
108 Leyes DILEMAS Dilemas constructivos (nos recuerdan al MP) SIMPLE p q p n q n n n COMPUESTO p q p r q n r n 108
109 Leyes DILEMAS Dilemas destructivo (nos recuerdan al MT) SIMPLE n n p n q n p q COMPUESTO r n p r q n p q 109
110 No hay ningún DDestruc del libro Juan López 110
Lógica Proposicional. Sergio Stive Solano Sabié. Marzo de 2012
Lógica Proposicional Sergio Stive Solano Sabié Marzo de 2012 Lógica Proposicional Sergio Stive Solano Sabié Marzo de 2012 Proposiciones Definición 1.1 Una proposición (o declaración) es una oración declarativa
Más detallesSESIÓN 04 LÓGICA PROPOSICIONAL
SESIÓN 04 LÓGICA PROPOSICIONAL La Lógica Proposicional, sentencial o lógica de enunciados, es la parte de la Lógica simbólica que trata de las proposiciones sin analizarlas y de sus combinaciones. 1. PROPOSICIONES
Más detallesIntroducción a la Lógica
Tema 0 Introducción a la Lógica En cualquier disciplina científica se necesita distinguir entre argumentos válidos y no válidos. Para ello, se utilizan, a menudo sin saberlo, las reglas de la lógica. Aquí
Más detallesAmpliación Matemática Discreta. Justo Peralta López
Justo Peralta López UNIVERSIDAD DE ALMERíA DEPARTAMENTO DE ÁGEBRA Y ANÁLISIS MATEMÁTICO 1 Introducción 2 Definición semántica de las proposiciones 3 Diagrama de valores de certeza 4 Evaluación de fórmulas.
Más detallesCapítulo 4. Lógica matemática. Continuar
Capítulo 4. Lógica matemática Continuar Introducción La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y técnicas determina si un teorema es falso o verdadero, además
Más detallesLICENCIATURA EN MATEMÁTICA. Práctico N 1 Lenguaje de la lógica. proposicional VICTOR GALARZA ROJAS 1 5 / 0 5 /
Práctico N 1 Lenguaje de la lógica LICENCIATURA EN MATEMÁTICA proposicional VICTOR GALARZA ROJAS 1 5 / 0 5 / 2 0 1 0 PRÁCTICO N 1 1. Fundamentación: fundamentar la expresión Por lo tanto del siguiente
Más detallesRAZONAMIENTO MATEMÁTICO
RAZONAMIENTO MATEMÁTICO I. LÓGICA PROPOSICIONAL A. Proposiciones B. Conectivos proposicionales B.. Negación B.2. Conjunción B.3. Disyunción B.4. Condicional B.5. Bicondicional B.6. Otros conectivos C.
Más detallesLÓGICA MATEMÁTICA O FORMAL O SIMBÓLICA
LÓGICA MATEMÁTICA O FORMAL O SIMBÓLICA La lógica formal o simbólica, a diferencia de la lógica clásica, utiliza un lenguaje artificial, es decir, está rigurosamente construido, no admite cambios en el
Más detallesINTRODUCCION A LA INTELIGENCIA ARTIFICIAL MÓDULO 6- CÁLCULO DE PREDICADOS Y LÓGICA DE PRIMER ORDEN
INTRODUCCION A LA INTELIGENCIA ARTIFICIAL MÓDULO 6- CÁLCULO DE PREDICADOS Y LÓGICA DE PRIMER ORDEN Referencias: Inteligencia Artificial Russell and Norvig Cap.6. Artificial Intellingence Nils Nilsson Ch.4
Más detalles2. Si P; Q; R son verdaderas y S; T son falsas, determine el valor de verdad de la proposición: [P =) (R =) T )] () [(:P ^ S) =) (Q =) :T )]
Instituto Tecnológico de Costa Rica Escuela de Matemática I semestre 2012 Cálculo Diferencial e Integral. Prof. Juan José fallas. 1 Leyes de la lógica y reglas de inferencia 2 Ejercicios 1 Leyes de la
Más detallesALGEBRA y ALGEBRA LINEAL. Primer Semestre CAPITULO I LOGICA Y CONJUNTOS.
ALGEBRA y ALGEBRA LINEAL 520142 Primer Semestre CAPITULO I LOGICA Y CONJUNTOS. DEPARTAMENTO DE INGENIERIA MATEMATICA Facultad de Ciencias Físicas y Matemáticas Universidad de Concepción 1 La lógica es
Más detallesMás sobre Leyes de implicación
Más sobre Leyes de implicación Dilema constructivo. Se abrevia d.c. Se considera que si hay una disyunción que contiene los antecedentes de dos condicionales, la conclusión será la disyunción de los consecuentes.
Más detallesCálculo Proposicional
Universidad Técnica ederico Santa María Departamento de Informática undamentos de Informática 1 Cálculo Proposicional Dr. Gonzalo Hernández Oliva Dr. Gonzalo Hernández USM I-1 Cálculo Proposicional 1 1)
Más detallesSOBRE LOGICA MATEMATICA. Sandra M. Perilla-Monroy. Departamento de Ciencias Básicas, Universidad Santo Tomás, Bogotá, Colombia.
SOBRE LOGICA MATEMATICA Sandra M. Perilla-Monroy Departamento de Ciencias Básicas, Universidad Santo Tomás, Bogotá, Colombia. Resumen. sandraperilla@usantotomas.edu.co Carrera 9 No 51-11 Bogotá Colombia
Más detallesForma lógica de enunciados
Forma lógica de enunciados Marisol Miguel Cárdenas Lenguaje natural y lenguaje formal El lenguaje natural es aquel que utilizamos cotidianamente. Surge históricamente dentro de la sociedad y es aprendido
Más detallesTEMAS DE MATEMÁTICAS (Oposiciones de Secundaria)
TEMAS DE MATEMÁTICAS (Oposiciones de Secundaria) TEMA 70 LÓGICA PROPOSICIONAL. EJEMPLOS Y APLICACIONES AL RAZONAMIENTO MATEMÁTICO. 1. Introducción. 2. El Lenguaje para la Lógica de Proposiciones. 2.1.
Más detallesMATEMÁTICAS BÁSICAS. 23 de febrero de Universidad Nacional de Colombia MATEMÁTICAS BÁSICAS
23 de febrero de 2009 Parte I Lógica Proposiciones Considere las siguientes frases Páseme el lápiz. 2 + 3 = 5 1 2 + 1 3 = 2 5 Qué hora es? En Bogotá todos los días llueve Yo estoy mintiendo Maradona fue
Más detallesLógica Matemática, Sistemas Formales, Cláusulas de Horn
Lógica Matemática, Sistemas Formales, Cláusulas de Horn Lic. José Manuel Alvarado La lógica se ocupa de las argumentaciones válidas. Las argumentaciones ocurren cuando se quiere justificar una proposición
Más detallesInteligencia en Redes de Comunicaciones. Razonamiento lógico. Julio Villena Román.
Inteligencia en Redes de Comunicaciones Razonamiento lógico Julio Villena Román jvillena@it.uc3m.es Índice La programación lógica Lógica de predicados de primer orden Sistemas inferenciales IRC 2009 -
Más detallesNo ~ Si entonces Sí y sólo si
Principios de lógica. Principios de la lógica y o Objetivo general Establecer el valor de verdad de muchos de los enunciados lógicos, utilizando las leyes de la lógica y las de las inferencias, ya sea
Más detallesUNIDAD 4: INTRODUCCIÓN A LA LÓGICA
UNIDAD 4: INTRODUCCIÓN A LA LÓGICA Bien! hemos pasado a la segunda parte de los contenidos, espero que esos ánimos sigan predispuestos a continuar con el estudio de estos nuevos contenidos. Lo invitamos
Más detallesAPENDICE REGLAS Y LEYES DE LA LOGICA DE PRIMER ORDEN
LOGICA (FCE-UBA) APENDICE REGLAS Y LEYES DE LA LOGICA DE PRIMER ORDEN Una regla lógica, o regla de inferencia (deductiva), es una forma válida de razonamiento que es empleada para inferir deductivamente
Más detallesANOTACIONES BÁSICAS SOBRE LÓGICA PROPOSICIONAL FILOSOFÍA 1º BACHILLERATO
Pág. 1 Lógica Proposicional La lógica proposicional es la más antigua y simple de las formas de lógica. Utilizando una representación primitiva del lenguaje, permite representar y manipular aserciones
Más detallesÍndice general. I Introducción a la Lógica 3
Índice general I Introducción a la Lógica 3 1 Demostraciones 5 1.1. Argumentos rodeados de agua....................... 5 1.1.1. Argumentando........................... 6 1.1.2. Formalizando el argumento....................
Más detallesLógica. Matemática discreta. Matemática discreta. Lógica
Lógica Matemática discreta Lógica: rama de las matemáticas instrumento para representar el lenguaje natural proporciona un mecanismo de deducción 2 y de predicados Razonamientos Cálculo proposicional Cálculo
Más detallesMaterial diseñado para los estudiantes del NUTULA, alumnos del profesor Álvaro Moreno.01/10/2010 Lógica Proposicional
Lógica Proposicional INTRODUCCIÓN El humano se comunica con sus semejantes a través de un lenguaje determinado (oral, simbólico, escrito, etc.) construido por frases y oraciones. Estas pueden tener diferentes
Más detallesMATERIAL DE APOYO PARA EL PRIMER CURSO DE MATEMÁTICAS COMPUTACIONALES.
MATERIAL DE APOYO PARA EL PRIMER CURSO DE MATEMÁTICAS COMPUTACIONALES. Ing. HUGO HUMBERTO MORALES PEÑA MAESTRÍA EN ENSEÑANZA DE LAS MATEMÁTICAS Línea de Matemáticas Computacionales UNIVERSIDAD TECNOLÓGICA
Más detallesIntroducción: Proposiciones, argumentos e inferencias. Inferencias deductivas e inductivas. Deducción: Inferencias transitivas (Silogismos lineales)
Tema 2.- Deducción. Psicología del Pensamiento, Guión del Tema 2 Prof.: Eduardo Madrid Bloque 1: Razonamiento y variedades del pensamiento. Introducción: Proposiciones, argumentos e inferencias. Inferencias
Más detallesRAZONAMIENTO LÓGICO PARA LA ARGUMENTACIÓN JURÍDICA
ESCUELA DEL MINISTERIO PÚBLICO Dr. Gonzalo Ortiz de Zevallos Roedel RAZONAMIENTO LÓGICO PARA LA ARGUMENTACIÓN JURÍDICA Dr. Luis Alberto Pacheco Mandujano Gerente Central de la Escuela del Ministerio Público
Más detallesMatemáticas Discretas TC1003
Matemáticas Discretas TC1003 Módulo I: s Válidos Departamento de Matemáticas ITESM Módulo I: s Válidos Matemáticas Discretas - p. 1/50 En matemáticas y en lógica un argumento no es una disputa. Más bien,
Más detallesFilosofía de la ciencia: inducción y deducción. Metodología I. Los clásicos Prof. Lorena Umaña
Filosofía de la ciencia: inducción y deducción Metodología I. Los clásicos Prof. Lorena Umaña Filosofía de la ciencia: noción de argumento La filosofía de la ciencia debe considerarse como una de las corrientes
Más detallesTaller Matemático. Lógica. Cristóbal Pareja Flores antares.sip.ucm.es/cpareja Facultad de Estadística Universidad Complutense de Madrid
Taller Matemático Lógica Cristóbal Pareja Flores antares.sip.ucm.es/cpareja Facultad de Estadística Universidad Complutense de Madrid 1. Lógica 14 amigos aportan la misma cantidad de dinero, sobre un fondo
Más detallesCoordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo. Contenidos
Coordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo Complementos Contenidos Clase 1: Elementos de lógica: Conectivos, tablas de verdad, tautologías y contingencias.
Más detallesIntrod. al Pens. Científico Nociones básicas de la lógica ClasesATodaHora.com.ar
ClasesATodaHora.com.ar > Exámenes > UBA - UBA XXI > Introd. al Pensamiento Científico Introd. al Pens. Científico Nociones básicas de la lógica ClasesATodaHora.com.ar Razonamientos: Conjunto de propiedades
Más detallesUniversidad Nacional Abierta y a Distancia UNAD-Lógica Matemática - Georffrey Acevedo G. A que viene la lógica?
A que viene la lógica? Autor: Georffrey Acevedo G. Noviembre 16 de 2008. Los conceptos de proposiciones, conectivos e inferencias confluyen al analizar un razonamiento. Para tener claridad sobre los conceptos
Más detallesLógica proposicional. Ivan Olmos Pineda
Lógica proposicional Ivan Olmos Pineda Introducción Originalmente, la lógica trataba con argumentos en el lenguaje natural es el siguiente argumento válido? Todos los hombres son mortales Sócrates es hombre
Más detallesLógica Proposicional. Guía Lógica Proposicional. Tema III: Cuantificadores
Guía Lógica Proposicional Tema III: Cuantificadores 1.7.2. CUANTIFICADORES Los cuantificadores permiten afirmaciones sobre colecciones enteras de objetos en lugar de tener que enumerar los objetos por
Más detallesMATEMÁTICA 1 JRC El futuro pertenece a aquellos que creen en la belleza de sus sueños
MATEMÁTICA 1 JRC LÓGICA Es la ciencia formal que estudia los principios y procedimientos que permiten demostrar la validez o invalidez de una inferencia, es decir, reconocer entre un razonamiento correcto
Más detallesAsignatura: Matemática Fundamental [405036M-02] Taller 1 Lenguaje Simbólico y lógica proposicional
Asignatura: Matemática Fundamental [405036M-02] Taller 1 Lenguaje Simbólico y lógica proposicional 1. Responda las siguientes preguntas: a) Qué es un lenguaje formal? b) Qué es lenguaje matemático? c)
Más detallesEJERCICIOS SOBRE PROPOSICIÓN. DEFINICIÓN Y CLASES
INSTRUCCIÓN. Resuelve los problemas propuestos del modo siguiente: primero en forma individual, luego en forma grupal y por último preséntalo en forma grupal en un máximo de cinco (05) integrantes. EJERCICIOS
Más detalles1.1.1 Conectivos lógicos, formas proposicionales y tablas de verdad.
Tema 1 Lógica. 1.1 Cálculo proposicional. Definición 1.1 Una proposición es una frase o sentencia declarativa que es verdadera o falsa pero no ambas cosas a la vez. Los dos posibles valores de verdad que
Más detallesGuía para el estudiante
Guía para el estudiante Guía realizada por Jefferson Bustos Profesional en Matemáticas Master en Educación Nombre: Fecha: Curso: Dentro del lenguaje común, las palabras y frases pueden tener diversas interpretaciones.
Más detallesCapítulo 1 Lógica Proposicional
Capítulo 1 Lógica Proposicional 1.1 Introducción El ser humano, a través de su vida diaria, se comunica con sus semejantes a través de un lenguaje determinado (oral, escrito, etc.) por medio de frases
Más detalles3. OBJETIVOS ESPECÍFICOS (De formación académica): Como resultado de cada capítulo el estudiante estará en capacidad de:
MATERIA Lógica y Argumentación. CÓDIGO 08273 PRERREQUISITOS: Ninguno. PROGRAMAS: Todos los programas de pregrado. PERÍODO ACADÉMICO: 162-2 (Segundo semestre de 2016) INTENSIDAD HORARIA: 4 horas semanales
Más detallesTeoría del Discurso. Silogismo, entimema
1. Silogismo, entimema LÓGICA ARISTOTÉLICA La que es conocida como lógica clásica (o tradicional) fue enunciada primeramente por Aristóteles, quien elaboró leyes para un correcto razonamiento silogístico.
Más detallesencontramos dos enunciados. El primero (p) nos afirma que Pitágoras era griego y el segundo (q) que Pitágoras era geómetra.
Álgebra proposicional Introducción El ser humano, a través de su vida diaria, se comunica con sus semejantes a través de un lenguaje determinado (oral, escrito, etc.) por medio de frases u oraciones. Estas
Más detallesResumen de deducción natural
Resumen de deducción natural F. Javier Gil Chica 2010 1. Orientación de estas notas El cálculo de argumentos mediante tablas de verdad es un método rápido y seguro. También mecánico, puesto que se puede
Más detallesEjercicios de Lógica Proposicional *
Ejercicios de Lógica Proposicional * FernandoRVelazquezQ@gmail.com Notación. El lenguaje proposicional que hemos definido, aquel que utiliza los cinco conectivos,,, y, se denota como L {,,,, }. Los términos
Más detallesLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL QUE ES LA LÓGICA? El sentido ordinario de la palabra lógica se refiere a lo que es congruente, ordenado, bien estructurado. Lo ilógico es lo mismo que incongruente, desordenado, incoherente.
Más detallesUNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO FACULTAD DE CIENCIAS CARRERA DE MATEMÁTICO CONJUNTOS Y LÓGICA
UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO FACULTAD DE CIENCIAS CARRERA DE MATEMÁTICO CONJUNTOS Y LÓGICA SEMESTRE: Segundo a cuarto CLAVE: 0271 HORAS A LA SEMANA/SEMESTRE TEÓRICAS PRÁCTICAS CRÉDITOS 5/80
Más detallesMétodos de Inteligencia Artificial
Métodos de Inteligencia Artificial L. Enrique Sucar (INAOE) esucar@inaoep.mx ccc.inaoep.mx/esucar Tecnologías de Información UPAEP Contenido Lógica proposicional Lógica de predicados Inferencia en lógica
Más detallesLógicas para la inteligencia natural y artificial
1er día virtual de la comunidad de Inteligencia Artificial Lógicas para la inteligencia natural y artificial México DF, 18 de junio de 2015 Contenido La lógica humana: comprender y razonar sobre lo natural
Más detallesALGEBRA DE BOOLE George Boole C. E. Shannon E. V. Hungtington [6]
ALGEBRA DE BOOLE El álgebra booleana, como cualquier otro sistema matemático deductivo, puede definirse con un conjunto de elementos, un conjunto de operadores y un número de axiomas no probados o postulados.
Más detallesINSTITUCION EDUCATIVA LA PRESENTACION NOMBRE ALUMNA: ASIGNATURA: MATEMATICAS. NOTA
INSTITUCION EDUCATIA LA PRESENTACION NOMBRE ALUMNA: AREA : MATEMATICAS ASIGNATURA: MATEMATICAS. NOTA DOCENTE: HUGO HERNAN BEDOYA TIPO DE GUIA: CONCEPTUAL - EJERCITACION PERIODO GRADO ECHA N DURACION 1
Más detallesFacultad de Informática. Módulo 1 Lógica. Matemática 0 UNLP. Curso de Ingreso 2013 Matemática 0 Página 1
Matemática 0 UNLP Curso de Ingreso 2013 Matemática 0 Página 1 Contenido 1.1 Álgebra de proposiciones 3 Expresiones No Proposicionales 4 Enunciados Abiertos 4 Clasificación de las Proposiciones 4 1.2 Conectivos
Más detallesMatemáticas Básicas para Computación
Matemáticas Básicas para Computación MATEMÁTICAS BÁSICAS PARA COMPUTACIÓN 1 Sesión No. 6 Nombre: Álgebra Booleana Objetivo Durante la sesión el participante identificará las principales características
Más detallesAlgoritmos y Estructura de Datos I
Clase práctica de Especificación - Lógica proposicional Viernes 20 de Marzo de 2015 Menú del día Fórmulas bien formadas Tablas de verdad Tautologías, Contingencias y Contradicciones Relación de fuerza
Más detallesMatemáticas Discretas TC1003
Matemáticas Discretas TC1003 Lógica : Proposiciones, Conectivos, Tablas de Verdad y Departamento de Matemáticas / Centro de Sistema Inteligentes ITESM Lógica Matemáticas Discretas - p. 1/43 En esta lectura
Más detallesEpistemología y Evolución del Pensamiento Científico Cuadernillo para el cursado
Epistemología y Evolución del Pensamiento Científico Cuadernillo para el cursado 2015 Universidad Nacional de Tucumán Fac. Bioquímica Química y Farmacia Profesores: Titular: Dra. María Natalia Zavadivker
Más detallesParte 1: Introducción a la lógica funcional Parte 2: Introducción a la teoría intuitiva de conjuntos
Parte 1: Introducción a la lógica funcional Parte 2: Introducción a la teoría intuitiva de conjuntos Material preparado por: Prof. Ana María Tosetti Revisado y complementado por: Ing. Freddy Rabín Catedrático
Más detallesUNIVERSIDAD NACIONAL DE SANTIAGO DEL ESTERO
UNIVERSIDAD NACIONAL DE SANTIAGO DEL ESTERO FACULTAD DE CIENCIAS EXACTAS Y TECNOLOGÍAS L Ó G I C A Carrera: Programador Universitario en Informática Equipo Docente: Miriam Alagastino Ximena Villarreal
Más detallesPRINCIPIOS DE LÓGICA. 1.1 CONCEPTO Y PROPÓSITO DE LA DE LÓGICA. UNIDAD 1. FUNDAMENTOS DE LÓGICA. Competencias:
UNIDAD 1. FUNDAMENTOS DE LÓGICA. MAPA CONCEPTUAL LÓGICA MATEMÁTICA Como Es Ciencia de la razón Aporta Desarrolla Acción Pedagógica Genera Nuevos Saberse Que desarrollan Habilidades de Pensamiento Aprendizaje
Más detallesCURSO NIVELACIÓN LÓGICA MATEMÁTICA PROYECTO UNICOMFACAUCA TU PROYECTO DE VIDA LAS PROPOSICIONES
LAS PROPOSICIONES Objetivo Brindar al estudiante un concepto claro en la formulación, interpretación y aplicabilidad de las proposiciones. La interpretación de las proposiciones compuestas permite al estudiante
Más detallesLÓGICA PROPOSICIONAL LÓGICA PROPOSICIONAL
PROPOSICIONES LÓGICA PROPOSICIONAL ^ = : verdadero = : falso v v TABLAS DE ERDAD conjunción disjunción disjunción exclusiva. + PROPOSICIONES ~ es la negación de ~ es el ouesto de ~ LÓGICA PROPOSICIONAL
Más detallesNotas de Álgebra y Matemática Discreta
Libros de Cátedra Notas de Álgebra y Matemática Discreta Liliana Alcón FACULTAD DE CIENCIAS EXACTAS NOTAS DE ÁLGEBRA Y MATEMÁTICA DISCRETA Liliana Alcón 2014 Alcón, Liliana Notas de algebra y matemática
Más detallesTópicos de Matemáticas Discretas
Tópicos de Matemáticas Discretas Proposiciones Lógicas y Tablas de Verdad Raquel Torres Peralta Universidad de Sonora Matemáticas Discretas Proposiciones Lógicas Matemáticas Discretas Lógica - La lógica
Más detallesLa Lógica. Grado Décimo GRUPO CUATRO. Ficha No. 003 MARZO 3 de 2016
La Lógica Grado Décimo GRUPO CUATRO 1 PUEDE PROBARSE TODO? El ideal de un método estrictamente científico de la matemática, que he tratado de realizar aquí, y que bien pudiera ser denominado euclídeo,
Más detallesUna proposición es una afirmación que debe ser cierta o falsa (aunque no lo sepamos).
Lógica intuitiva Una proposición es una afirmación que debe ser cierta o falsa (aunque no lo sepamos). A : Las águilas vuelan B : El cielo es rosa C : No existe vida extraterrestre D : 5 < 3 E : Algunos
Más detallesTema 6: Teoría Semántica
Tema 6: Teoría Semántica Sintáxis Lenguaje de de las las proposiciones Lenguaje de de los los predicados Semántica Valores Valores de de verdad verdad Tablas Tablas de de verdad verdad Tautologías Satisfacibilidad
Más detallesExamen final de Lógica y argumentación (Fecha: xxxxxxxx)
1 Examen final de Lógica y argumentación (Fecha: xxxxxxxx) Nombre: Código: Profesor y grupo: 1. 1 (6%) Construya un silogismo de forma: oao-3, con estas especificaciones: Término mayor: Rascacielos Término
Más detallesÍNDICE PRIMERA PARTE METODOLOGÍA JURÍDICA
ÍNDICE INTRODUCCIÓN... 15 PRIMERA PARTE METODOLOGÍA JURÍDICA INTRODUCCIÓN... 21 CAPÍTULO I. LA APLICACIÓN DEL DERECHO. CASOS FÁCILES, CASOS DIFÍCILES Y JUSTIFICACIÓN DE LA RESPUESTA... 25 1. INTRODUCCIÓN...
Más detallesISSN 1988-6047 DEP. LEGAL: GR 2922/2007 Nº 15 FEBRERO DE 2009
LÓGICA PROPOSICIONAL AUTORÍA SILVIA BORREGO DEL PINO TEMÁTICA MATEMÁTICAS. LÓGICA ETAPA UNIVERSITARIA Resumen La lógica forma parte de la filosofía, en la que se distinguen dos dimensiones, la dimensión
Más detallesPLANEACIÓN DIDÁCTICA GENERAL DE LA ASIGNATURA: LÓGICA
PLANEACIÓN DIDÁCTICA GENERAL DE LA ASIGNATURA: LÓGICA ACADEMIA: FILOSOFÍA SEMESTRE: PRIMERO HORAS TEÓRICAS 3 CRÉDITOS 8 HORAS PRÁCTICAS 2 TIPO DE CURSO OBLIGATORIO TOTAL DE HORAS: 5 ELABORÓ MITZI NAZARETH
Más detallesApuntes de Lógica Proposicional
Apuntes de Lógica Proposicional La lógica proposicional trabaja con expresiones u oraciones a las cuales se les puede asociar un valor de verdad (verdadero o falso); estas sentencias se conocen como sentencias
Más detalles1 de 15. LOGICA Y RAZONAMIENTO MATEMATICO Paulina Gómez Depto de Matemáticas
LOGICA Y RAZONAMIENTO MATEMATICO Paulina Gómez Depto de Matemáticas 1.1 CONCEPTO DE LOGICA En nuestro lenguaje habitual, decimos que algo es lógico si es consecuente y ordenado e ilógico si no tiene coherencia
Más detallesNegación Conjunción Dis junción. P -ip P Q P & Q P Q P V Q C F C C C C C C F C C F F C F C F C F F C C F F F F F F P Q P Q
APITULO 4 TABLAS DE ERTEZA 4.1 Tablas de certeza Un método en general más conveniente que el diagrama para analizar los valores de certeza de proposiciones, es el de poner todas las posabilidades de certeza
Más detallesUnidad 2.- Lógica y tablas de verdad. Lógica
Lógica Algebra Booleana Las álgebras booleanas, estudiadas por primera vez en detalle por George Boole, constituyen un área de las matemáticas que ha pasado a ocupar un lugar prominente con el advenimiento
Más detallesUNIVERSIDAD DE ANTIOQUIA SEMILLERO DE MATEMÁTICAS NIVEL 11 TALLER N º 2 LÓGICA MATEMÁTICA
UNIVERSIDAD DE ANTIOQUIA SEMILLERO DE MATEMÁTICAS NIVEL 11 TALLER N º 2 LÓGICA MATEMÁTICA RESEÑA HISTÓRICA Etimológicamente la palabra lógica viene del Griego "logos = razón, idea, razonamiento". Entendida
Más detallesAPUNTES DE LOGICA. Dep. de Informática. Univ. de Castilla-La Mancha. Paseo de la Universidad, 4. 13071 Ciudad Real, España.
APUNTES DE LOGICA Dep. de Informática. Univ. de Castilla-La Mancha. Paseo de la Universidad, 4. 13071 Ciudad Real, España. Dirigirse a pascual.julian@uclm.es para comunicar cualquier sugerencia o error
Más detallesIntroducción a la Lógica Intensional Lógica Temporal Proposicional. Apuntes de Clase : Marzo 26, 2012 Dr. Axel Arturo Barceló Aspeitia
Introducción a la Lógica Intensional Lógica Temporal Proposicional Apuntes de Clase : Marzo 26, 2012 Dr. Axel Arturo Barceló Aspeitia Tablas de Verdad Las tablas de verdad son, por una parte, uno de los
Más detallesTEMA 3: LOGICA. 2. Los razonamientos o inferencias
TEMA 3: LOGICA 1. La lógica y su objeto A menudo habrás escuchado frases como las siguientes: «con lo poco que has estudiado, es lógico que suspendas», o «por lógica, si seguimos el camino, llegaremos
Más detallesLÓGICA DE PROPOSICIONES. a) El rumor y el ir y venir incesante de las abejas. b) No te vayas! c) Hoy es martes.
LÓGICA DE PROPOSICIONES 1. Cuál de las siguientes oraciones es una proposición lógica? a) El rumor y el ir y venir incesante de las abejas. b) No te vayas! c) Hoy es martes. La opción a) no es una proposición
Más detallesCAPÍTULO I ÁLGEBRA DE PROPOSICIONES
ÁLGEBRA DE PROPOSICIONES 1 CAPÍTULO I ÁLGEBRA DE PROPOSICIONES 1.1 PROPOSICIÓN Proosición (o enunciado) es una afirmación verbal a la ue uede asociarse un valor de verdad, es decir, uede ser verdadera
Más detallespersonal.us.es/elisacamol Elisa Cañete Molero Curso 2011/12
Teoría de conjuntos. Teoría de Conjuntos. personal.us.es/elisacamol Curso 2011/12 Teoría de Conjuntos. Teoría de conjuntos. Noción intuitiva de conjunto. Propiedades. Un conjunto es la reunión en un todo
Más detallesUn ejemplo de esta falacia podría ser el siguiente:
Una falacia es un razonamiento que parece correcto, pero que no lo es. Hay falacias cuyo fallo reside en un mal paso lógico y otras que simplemente simulan argumentar; las primeras pueden probarse como
Más detallesF. Javier Gil Chica 2010
lp Manual de usuario y notas de implementación F. Javier Gil Chica 2010 Parte I Fundamentos teóricos 1. Qué es lp lp es un pequeño programa que evalúa la validez de un argumento. Un argumento consta de
Más detallesHoras Trabajo Estudiante: 128
PROGRAMAS DE:: CIIENCIIAS BÁSIICAS E IINGENIIERÍÍAS DEPARTAMENTO DE MATEMÁTIICAS Y ESTADÍÍSTIICA CONTENIIDOSS PPROGRAMÁTIICOSS PPOR UNIIDADESS DE APPRENDIIZAJJE Curso: Créditos: 3 Lógica Matemática Horas
Más detallesLÓGICA SIMBÓLICA. LÓGICA PROPOSICIONAL
LÓGICA SIMBÓLICA. LÓGICA PROPOSICIONAL 1.- Exresión, oración y enunciado: Una oración es una exresión lingüística gramaticalmente correcta que osee sentido comleto. Las oraciones ueden ser, desde el unto
Más detallesInterpretación y Argumentación Jurídica
Interpretación y Argumentación Jurídica INTERPRETACIÓN Y ARGUMENTACIÓN JURÍDICA 1 Sesión No. 10 Nombre: La Argumentación Jurídica Contextualización Como ya se ha visto, un argumento es una afirmación que
Más detallesLa Lógica. Material No.2. Unidad 1. Clase de Lógica Jurídica. UNAH.
La Lógica El estudio de la lógica en el Derecho, le permitirá entender cuál es la importancia de esta, desde una definición general hasta los aspectos específicos dentro de la lógica jurídica. La Lógica
Más detallesMATEMATICAS I INDICE GENERAL
UNIDAD I CONJUNTOS MATEMATICAS I INDICE GENERAL MODULO 1 CONJUNTOS, NOTACION, ORACIONES ABIERTAS, VARIABLES, CONJUNTO DE REEMPLAZAMIENTO, CONJUNTO DE VERDAD MODULO 2 CARDINALIDAD, CONJUNTOS FINITOS E INFINITOS,
Más detallesHoja de ruta IPC. Secuencia recomendada para el uso de los materiales de estudio. - Argumentos y teorías: Capítulo 1. - Guía de Estudio: Unidad 1
Programa Ejes temáticos Secuencia recomendada para el uso de los materiales de estudio Secuencia de realización de actividades propuestas Encuentro Unidad 1 Consideraciones sobre el lenguaje 1.1. Lenguaje
Más detallesPrograma de Lógica para la solución de problemas
Programa de Lógica para la solución de problemas Octubre del 2006 B @ UNAM Asignatura: Lógica para la solución de problemas Plan: 2006 Créditos: 10 Bachillerato: Módulo 2 Tiempo de dedicación total: 80
Más detallesTEMA 4. RAZONAMIENTO DEDUCTIVO (III). RAZONAMIENTO PROPOSICIONAL Introducción a los aspectos formales del razonamiento proposicional.
TEMA 4. RAZONAMIENTO DEDUCTIVO (III). RAZONAMIENTO PROPOSICIONAL 4.1. Introducción a los aspectos formales del razonamiento proposicional. 4.2. El razonamiento disyuntivo. 4.3. El razonamiento condicional.
Más detallesCurso Extraordinario INTELIGENCIA ARTIFICIAL Y SISTEMAS EXPERTOS
Curso Extraordinario INTELIGENCIA ARTIFICIAL Y SISTEMAS EXPERTOS Contenidos del Curso Introducción a la I.A. Cómo razonamos?. Algunas experiencias con el razonamiento automático El problema de representación
Más detallesÍNDICE 1. Qué es la lógica? 2. Lógica informal y falacias. 3. Lógica formal: tablas de verdad. 4. Lógica formal: cálculo lógico.
Fuentes utilizadas para realizar esta presentación: -Web de Fernando Martínez Manrique, profesor de Filosofía de la Universidad de Granada: http://www.ugr.es/~fmmanriq/l1.htm. -Entradas de la Wikipedia:
Más detallesLOGICA DE ENUNCIADOS
Lógica - FCE LOGICA DE ENUNCIADOS 1. El lenguaje de enunciados Si se restringe el lenguaje de primer orden (o lenguaje de predicados) eliminando los cuantificadores y se toma como ultima unidad de análisis
Más detallesINTRODUCCIÓN A LA LÓGICA MATEMÁTICA
INTRODUCCIÓN A LA LÓGICA MATEMÁTICA La Lógica es la disciplina que se ocupa de los métodos de razonamiento, suministrando reglas y técnicas que nos permiten decidir si una argumentación, una deducción,
Más detallesUNIVERSIDAD LIBRE PROGRAMAS ANALÍTICOS SECCIONAL: PEREIRA FACULTAD: INGENIERIAS. PROGRAMA ACADÉMICO: Ingeniería de Sistemas
PROGRAMAS ANALÍTICOS SECCIONAL: PEREIRA FACULTAD: INGENIERIAS PROGRAMA ACADÉMICO: Ingeniería de Sistemas JORNADA: DIURNA 1.- INFORMACION DEL DOCENTE E-mail institucional: E-mail personal: 2.- ESTUDIOS
Más detallesCONTEXTO HISTÓRICO. Burguesía: reclama poder político frente a las monarquías absolutas. República de Cromwell ( )
CONTEXTO HISTÓRICO INGLATERRA (siglos XVII y XVIII) 1ª potencia económica de Europa. Conflictos burguesía-monarquía absoluta: Burguesía: reclama poder político frente a las monarquías absolutas. República
Más detalles