LÓGICA Y RAZONAMIENTO DR. LUIS ALBERTO PACHECO MANDUJANO
|
|
- Monica Miguélez Sosa
- hace 7 años
- Vistas:
Transcripción
1 LÓGICA Y RAZONAMIENTO JURÍDICO DR. LUIS ALBERTO PACHECO MANDUJANO
2 LAS PROPOSICIONES I.- CONCEPTO.- Las proposiciones son expresiones declarativas (y no emotivas, interrogativas ni exclamativas) que afirman o que niegan algo y que, con sentido, pueden ser verdaderas o falsas.
3 II.- PROPIEDADES.- Dos son las propiedades fundamentales de la proposición, a saber: a) De significancia; es decir, la significación de las proposiciones es la condición de su verdad o falsedad. Si antes no sabemos qué significa la proposición, no podremos determinar el valor veritativo de ésta. b) De aleticidad; o llamada también comúnmente propiedad bivalente, lo cual quiere decir que una proposición, que significa algo, puede ser verdadera o falsa, pero no verdadera y falsa a la vez (Principio de No Contradicción). * Ejemplo de proposiciones: - África es el continente negro. - Albert Einstein no nació en América. - Una molécula de agua tiene dos átomos de hidrógeno. - Todos los artiodáctilos son ungulados. * No son proposiciones: i - El sol está hecho de papa a la huancaína. -Jorge Luis. - Te amo! - Qué rica manzana! - Dios existe. * Casos complejos: - Tierra! x = 17 - x
4 III.- CLASES DE PROPOSICIONES.- Históricamente, las proposiciones se clasifican en: 1. Proposiciones simples o atómicas a)proposiciones simples predicativas b)proposiciones i simples relacionales l 2. Proposiciones compuestas o moleculares a)proposiciones compuestas conjuntivas b)proposiciones compuestas disyuntivas b.1. Disyunción débil o inclusiva b.2. Disyunción fuerte o exclusiva c) Proposiciones compuestas condicionales c.1. Condicional lógica u ordenada o directa c.2. Condicional ordinaria u desordenada o indirecta d) Proposiciones compuestas bicondicionales e) Proposiciones Negativas o Negación
5 a) Proposiciones Compuestas Conjuntivas; que resultan de la unión de dos o más proposiciones siempre por medio del término de enlace "y" ( ^ ), o de cualquiera de sus términos equivalentes. Ejm: - Ese vestido es hermoso pero caro. - Álvaro es infeliz con su novia, sin embargo se casa con ella. - Fiorella estudió y aprobó el examen.
6 b) Proposiciones Compuestas Disyuntivas; que expresan una situación electiva o planteamiento de alternativas. Existen dos tipos: b.1. Disyunción débil o inclusiva; que es aquella que, surgida de la unión de dos proposiciones simples a través del término de enlace disyuntivo inclusivo ( v ), plantea la posibilidad que ambas alternativas puedan cumplirse, sin causar problema alguna. Ejm: - Tomo café o leche. - Juan está triste o preocupado. b2 b.2. Disyunción ió fuerte o exclusiva; que es aquella que, surgida de la unión de dos proposiciones simples a través del término de enlace disyuntivo exclusivo ( v ), plantea dos posibilidades, de las cuales sólo puede ser elegida una de ellas, por ser ambas excluyentes entre sí. Ejm: - Eres valiente o cobarde. - Ramiro está vivo o muerto.
7 c) Proposiciones Compuestas Condicionales; que son proposiciones que expresan una relación de causalidad entre las proposiciones simples afectadas, donde la causa es llamada "antecedente" y el efecto recibe la denominación de "consecuente". Su símbolo es ( ). Esta proposición tiene dos formas: c.1. Condicional Lógica u Ordenada o Directa; que es aquella proposición lógicamente ordenada, es decir, en la cual hace su aparición en primer término el antecedente, seguida del consecuente. Se le reconoce, por lo general, porque llevan la conectiva compuesta "Si..., entonces...". Ejm.: - Si el acusado es inocente, entonces saldrá en libertad ANT. CONS. c.2. Condicional Ordinaria Desordenada o Indirecta; que es aquella proposición no ordenada lógicamente. Ésta es cuando se quiere presentar una relación causal en la que se manifiesta, por lo común, el lenguaje nuestro de cada día (lenguaje natural u ordinario). En ella aparece primero el consecuente y después el antecedente. Ejm.: - El acusado saldrá en libertad porque es inocente CONS. ANT.
8 d) Proposiciones Compuestas Bicondicionales; son aquellas dos proposiciones simples unidas entre sí en una relación de interdependencia o condicionalidad recíproca. Su símbolo es la flecha de doble sentido ( ). Ejm.: - El agua se congela sí y sólo si la temperatura está bajo 0 C. De esta proposición compuesta se interpreta una doble relación condicional, a saber: - Si el agua se congela, entonces la temperatura está bajo 0 C ANT. CONS. y; - Si la temperatura está bajo 0 C, entonces el agua se congela ANT. CONS. Como se ve, en la proposición bicondicional el antecedente se convierte después en consecuente del inicial consecuente, el mismo que se convierte en antecedente del inicial antecedente. t
9 e) Proposiciones Negativas o Negación; son las que invierten el significado proposicional de una proposición afirmativa o negativa. El signo que representa tal negación es ( ~ ), el mismo que recibe el nombre de tilde de la negación. Ejm.: - El Perú no tiene un gobierno monárquico. - No está lloviendo en Lima. - No es cierto que hoy no sea jueves. Toda proposición ió negativa presupone la existencia i previa de la proposición afirmativa que es negada. En los dos primeros ejemplos, tales proposiciones afirmativas serán: - El Perú tiene un gobierno monárquico. - Está lloviendo en Lima.
10 SIMBOLIZACIÓN DE PROPOSICIONES Y OPERACIONES ALGORÍTMICAS I.- MECANISMOS DE LA SIMBOLIZACIÓN.- * PASO 1.- Reconocer las proposiciones simples que intervienen en el argumento. Para lograr ello, basta reconocer, en principio, los términos de enlace ("y", "o", "entonces", etc.) que se encuentran en la inferencia. Lo que queda entre dichos términos son las proposiciones simples. * PASO 2.- Reemplazamos las proposiciones simples ubicadas por las variables proposicionales que se utilizan en lógica (p, q, r, s,...), de acuerdo al orden de aparición de aquéllas. * PASO 3.- Explicamos la estructura formal del argumento, reemplazando las proposiciones i por las variables proposicionales (trabajo ya hecho en el paso anterior), pero manteniendo aún los términos de enlace. * PASO 4.- Reemplazamos los términos de enlace por los conectivos lógicos que correspondan. Ejm.: "Si el Gobierno peruano estatiza la industria nacional, entonces el Fondo Monetario Internacional cortará los créditos económicos internacionales a este país y nuestra economía nacional colapsará. Por eso, previamente debe diseñarse un plan económico de autarquía".
11 * Paso 1: "Si el Gobierno peruano estatiza la industria nacional, entonces el Fondo Monetario Internacional cortará los créditos económicos internacionales a este país y nuestra economía nacional colapsará. Por eso, previamente debe diseñarse un plan económico de autarquía". * Paso 2: - El Gobierno peruano estatiza la banca. = p. - El F.M.I. cortará los créditos económicos internacionales a este país. = q. - Nuestra economía nacional colapsará. = r. - Previamente debe diseñarse un plan económico de autarquía. = s. * Paso 3: "Si p, entonces q y r. Por eso, s". * Paso 4: [ p ( q ^ r ) ] s
12 II.- LA SIMBOLIZACIÓN DE ACUERDO A LAS CLASES DE PROPOSICIONES Proposiciones Simples.- Como se trata de una sola proposición, sólo será simbolizada por una sola variable proposicional. p Ej.: - Marco Aurelio es doctor en Derecho = p. - Pedro es religioso = p.
13 2.- Proposiciones Compuestas.- La simbolización de éstas dependen de las clases ya vistas anteriormente: Conjunción.- - Término de enlace común: "y". - Términos equivalentes: "pero"; "más"; "mas"; "más aún"; "sin embargo"; "no obstante"; "además"; "aunque"; "también"; "a pesar de que"; "a la vez que"; "a la par que"; "al mismo tiempo que"; "aún cuando"; "tanto como"; "a menos que"; "e"; "al igual que"; "igualmente"; "," (coma); ";" (punto y coma); "." (punto seguido); etc. - Signo: " ^ ". - Ej.: * Luis estudia sin embargo trabaja". - Pedro estudia = p - Pedro trabaja = q Estructura : " p sin embargo q". Simbolización : ( p ^ q ), que se lee: "p y q". * "La obra de Álvaro tiene edición crítica aún cuando su pensamiento fue mal interpretado". - La obra de Álvaro tiene edición crítica = p - El pensamiento de Álvaro fue mal interpretado = q Estructura : " p aún cuando q". Simbolización : ( p ^ q ), que se lee: "p y q".
14 2.- Proposiciones Compuestas Disyunción.- Que, como bien sabemos existen dos clases: a) Disyunción Débil o Inclusiva.- - Término de enlace común: "o". - Término equivalente: "u". - Signo: " v ". - Ejm.: * Tomo café o leche". - Yo tomo café = p. - Yo tomo leche = q. Estructura : " p ó q". Simbolización : ( p v q ), que se lee: "p ó q".
15 b) Disyunción Fuerte o Exclusiva.- - Término de enlace común: "o". - Término equivalente: "u". -Signo: " v ". - Ej.: * Luis nació en Lima o en Arequipa". - Luis nació en Lima = p - Luis nació en Arequipa = q Estructura : " ó p ó q". Simbolización : ( p v q ), que se lee: "ó p ó q".
16 2.3. Condicional.- Donde también existen dos casos: a) Condicional Lógica o Directa u Ordenada.- - Se presenta primero el ANTECEDENTE y después el CONSECUENTE. - Término de enlace común: "entonces". - Términos equivalentes: "Si p, entonces q"; "Si p, q"; "cuando p, q"; "cada vez que p, q"; "como p, q"; "de p, q"; "por cuanto p, q"; "suponiendo que p, q"; "p sólo si q"; "sólo p si q"; "p es condición suficiente de q"; "p por lo tanto q"; "p luego q", "p en conclusión q"; "p en consecuencia q"; "p por consiguiente q"; "p de manera que q"; "p de modo que q"; "p de ahí que q"; "p es así que q"; "p por ende q"; etc. - Signo: " ". - Ejm.: * "Si hay estabilidad laboral, entonces hay respeto por los derechos laborales". -Hay estabilidad laboral = p - Hay respeto por los derechos laborales = q Estructura : " p entonces q"; p = ANT. y q = CONS. Simbolización : ( p q ), que se lee: "p entonces q".
17 b) Condicional Indirecta u Desordenada.- - Se presenta primero el CONSECUENTE y después el ANTECEDENTE. En este caso, existe la OBLIGACIÓN de ordenar la proposición, al momento de su simbolización, de acuerdo a la ley lógica: ANT CONS. - Término de enlace común: "porque". - Términos equivalentes: "p si q"; "p de q"; "p cuando q"; "p como q"; "p suponiendo que q"; "p a condición de q"; "p es condición necesaria de q"; "p ya que q"; "p puesto que q"; "p pues q"; "p dado que q"; "p por cuanto q"; "p debido a que q", "p cada vez que q"; "p siempre que q"; "p en razón de q"; "p en vista de q"; "p en tanto que q"; etc. - Ejm.: * "Raúl es demócrata porque cree en la justicia social". - Raúl es demócrata = p - Raúl cree en la justicia social = q Estructura : " p porque q"; p = CONS. y q = ANT. Simbolización : (q p),q que se lee: "q entonces p".
18 2.4. Bicondicional.- - Término de enlace común: "si y sólo si". - Términos equivalentes: "p cuando y sólo cuando q"; "p entonces y sólo entonces p"; "p es condición necesaria y suficiente de q"; "p si y solamente si"; etc. - Signo: " ". - Ejm.: El agua se congela si y sólo si la temperatura está bajo 0 C". - Si el agua se congela, entonces la temperatura está bajo 0 C p q Estructura : " p entonces q". Simbolización : ( p q ). - Si la temperatura está bajo 0 C, entonces el agua se congela q Estructura : " q entonces p". Simbolización : ( q p ). ( p q ), que se lee : "p si y sólo si q". p
19 2.5. Negación.- - Término de enlace común: "no". - Términos equivalentes: "es falso que"; "no ocurre que"; "no es cierto que"; "no es verdad que"; "no es el caso que"; "es imposible que"; etc. -Signo: " ~ ". - Ejm.: * "Ramiro no es católico". - Ramiro es católico = p Estructura : " no p". Simbolización : ( ~ p ), que se lee: "no p". * "No es el caso que; cada vez que llueva en la sierra, aumente las aguas del río Rímac". - Llueve en la sierra = p - Aumentan las aguas del río Rímac = q Estructura : "No es el caso que; (cada vez que p, q)". Simbolización : ~ ( p q ). * "Claudia es ingeniera pero es falso que sea profesora". - Claudia es ingeniera = p - Claudia sea profesora = q Et Estructura t : " p pero es falso que q. " Simbolización : ( p ^ ~ q ).
20 II.- PROPOSICIÓN JURÍDICA?.- Proposición =======> es descriptiva Norma jurídica =======> es prescriptiva Por lo mismo, la norma jurídica se constituye en una proposición? Mundo del Ser (Sein) =======> relación lógica de causalidad Mundo del Deber Ser (Dasein) =======> relación lógica de imputación Estas dos clases de relaciones lógicas y por ende, relaciones de carácter ontológico subyacen de modo objetivo y lógico, como razón correspondiente de cada uno de tales dos universos.
21 Relación lógica de Causalidad La primera de las antedichas relaciones la relación lógica de causalidad d es aquella en la que subyace el siguiente supuesto: dados dos eventos, A y B, A es causa de B si y sólo si se cumplen dos condiciones lógicas, dos sucesos importantes, a saber: * La ocurrencia de A es seguida de la ocurrencia de B ( A B ); o, * La no ocurrencia de B implica la no ocurrencia de A ( ~ A ~ B ). Así pues, cuando dos eventos, A y B,, cumplen las dos condiciones anteriores, decimos que existe una relación causal entre ambos. En concreto, "A es causa de B" o, lo que es lo mismo, "B es efecto de A". Eso es lo que entendemos por principio de causalidad. En ambos casos, la ocurrencia (o no ocurrencia) de B deviene efecto necesario respecto de la ocurrencia (o no ocurrencia) de A.
22 Relación lógica de Imputación En la relación de imputación, dados dos eventos, A y B, B es consecuencia de A si y sólo si B representa el significado del acto de un individuo intencionalmente dirigido a la realización de algo, y que, como efecto, es imputable a la condición A. En este sentido, B no puede ser consecuencia necesaria de A, sino sólo efecto probable, en tanto la regla de imputación medie entre ambos eventos.
23 Estructuras lógico-objetivas La primera de las antedichas relaciones se regirá por la estructura siguiente: Si A es, entonces B es La segunda de las relaciones, presenta la estructura: Si A es, entonces B debe ser. Ejemplos: Cuando decimos: Si someto un litro de agua al fuego a 100 C, entonces el agua se evapora, subyace en esta proposición la primera estructura: ( A B ) Si aseveramos que Pedro mata a Pablo, no podríamos afirmar con la misma posición tajante que en el anterior caso, que Pedro irá necesariamente a la cárcel, porque lo correcto sería, más bien, sentenciar Si Pedro mata a Pablo, entonces Pedro debe ser sancionado con pena de cárcel, expresión en la cual subyace la segunda estructura: ( A B )
LÓGICA Y RAZONAMIENTO JURÍDICO
LÓGICA Y RAZONAMIENTO JURÍDICO DR. LUIS ALBERTO PACHECO MANDUJANO LAS PROPOSICIONES I.- CONCEPTO.- Las proposiciones son expresiones declarativas (y no emotivas, interrogativas ni exclamativas) que afirman
Más detallesLÓGICA Y RAZONAMIENTO JURÍDICO. Antes de empezar
LÓGICA Y RAZONAMIENTO JURÍDICO DR. LUIS ALBERTO PACHECO MANDUJANO Gerente Central de la Escuela del Ministerio Público LIma, 30 de enero de 2013 Antes de empezar 1 LAS PROPOSICIONES I. CONCEPTO. Las proposiciones
Más detallesINSTITUTO DE AYUDA POLITÉCNICA Quisquís 1020 entre Avenida del Ejército y García Moreno. 2282705 086412883
. PROPOSICIONES PROPOSICIÓN: Una proposición es una unidad semántica que, o sólo es verdadera o sólo es falsa. Por esta razón, las oraciones que no son falsas ni verdaderas, las que son falsas y verdaderas
Más detallesCLASIFICACIÓN DE LAS PROPOSICIONES
CLASIFICACIÓN DE LAS PROPOSICIONES Heriberto Martínez Fuentes Universidad Abierta y a Distancia De México Curso propedéutico para el aprendizaje autogestivo en un ambiente virtual Eje 4. Lectura y elaboración
Más detallesMATEMÁTICAS BÁSICAS LÓGICA MATEMÁTICA CONCEPTO DE LÓGICA MATEMÁTICA
MATEMÁTICAS BÁSICAS LÓGICA MATEMÁTICA CONCEPTO DE LÓGICA MATEMÁTICA La Lógica estudia la forma del razonamiento. La Lógica Matemática es la disciplina que trata de métodos de razonamiento. En un nivel
Más detallesNOCIONES ELEMENTALES DE LÓGICA MATEMÁTICA
NOCIONES ELEMENTALES DE LÓGICA MATEMÁTICA Estudiaremos brevemente un lenguaje no contradictorio ni ambivalente que nos permitirá introducirnos a la Matemática: la Lógica Matemática, que estudia las leyes
Más detallesLógica Proposicional, Teoremas y Demostraciones
Lógica Proposicional, Teoremas y Demostraciones Manuel Maia 19 de marzo de 2012 1 Proposiciones Una proposición es una oración declarativa o una expresión matemática que es verdadera o es falsa, pero no
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 detallesDocumento de lógica n 1 Frege Carlos Bermejo Esquema de Frege. El nombre propio es un signo. El nombre común es un signo.
Esquema de El nombre propio es un signo. El nombre común es un signo. Nombre propio Se refiere a lo que no tiene carga predicativa. Nombre común Se refiere a lo que sí tiene carga predicativa. En lingüística
Más detallesLÓGICA DE PREDICADOS DE PRIMER ORDEN INTRODUCCIÓN A LOS SISTEMAS FORMALES
LÓGICA DE PREDICADOS DE PRIMER ORDEN INTRODUCCIÓN A LOS SISTEMAS FORMALES POR QUÉ INTRODUCIR UN NUEVO SISTEMA? Todos los hombres son mortales Sócrates es hombre Sócrates es mortal Se trata de un razonamiento
Más detalles3.7. DEFINICIÓN FORMAL DEL LENGUAJE PROPOSICIONAL.
3.7. DEFINICIÓN FORMAL DEL LENGUAJE PROPOSICIONAL. El punto de partida para la definición de un lenguaje formal es el establecimiento del alfabeto del lenguaje, todos los lenguajes comportan un conjunto
Más detallesTema: LÓGICA PROPOSICIONAL
UNIDAD N 01: SEMANA 01: Sesión 01: Denominación: LÓGICA, MATEMÁTICA Y CONJUNTOS. Contenido: Lógica Proosicional: Introducción. Proosiciones lógicas. Clases de Proosiciones Lógicas. Proosiciones Comuestas
Más detallesProposiciones Condicionales
SENTENCIAS CONDICIONALES SIMPLES: if- Anteriormente se discutió que una de las estructuras utilizadas en la programación estructurada es la Estructura Selectiva o Condicional. Se explican aquí las sentencias
Más detallesGUIA DE TRABAJOS TEORICO PRACTICOS Nº 2: RAZONAMIENTOS PARA LA LOGICA PROPOSICIONAL
CENTRO EDUCATIVO DE NIVEL TERCIARIO N 2 INTRODUCCIÓN A LA LOGICA SIMBOLICA PRIMER AÑO GUIA DE TRABAJOS TEORICO PRACTICOS Nº 2: RAZONAMIENTOS PARA LA LOGICA PROPOSICIONAL La lógica deductiva es la ciencia
Más detallesLógica de Predicados
Lógica de Predicados En las últimas décadas, ha aumentado considerablemente el interés de la informática por la aplicación de la lógica a la programación. De hecho, ha aparecido un nuevo paradigma de programación,
Más detallesCapítulo 7: Lógica de predicados y cuantificadores
Capítulo 7: Lógica de predicados y cuantificadores por G 3 Agosto 2014 Resumen A menudo interesa afirmar que todos, o que solo algunos individuos de cierto universo, o solo uno, cumplen alguna propiedad.
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 detallesCUN GUIA # 1 CONJUNTOS
GUIA # 1 CONJUNTOS SÍMBOLOS = Llaves, que indican conjunto = slach, que significa tal que, (tales que) = pertenece, se utiliza para indicar que un elemento forma parte de un Conjunto determinado. = no
Más detallesTablas de Verdad L Ó G I C A P R O P O S I C I O N A L
Tablas de Verdad L Ó G I C A P R O P O S I C I O N A L Tablas de verdad Toda preposición es verdadera o falsa, pero no puede ser ambas. Sobre esta base las proposiciones atómicas sólo tienen dos valores:
Más detallesElaborar un mapa conceptual del tema de Lógica Proposicional (Diapositivas: Lógica Proposicional) Desarrollar ejercicios de la ficha de trabajo y del
Elaborar un mapa conceptual del tema de Lógica Proposicional (Diapositivas: Lógica Proposicional) Desarrollar ejercicios de la ficha de trabajo y del módulo (Página 175 ) Se sugiere ver el siguiente video:
Más detallesUn enunciado es toda frase u oración que se emite
OBJETIO 2: Aplicar la lógica proposicional y la lógica de predicados en la determinación de la validez de una proposición dada. Lógica Proposicional La lógica proposicional es la más antigua y simple de
Más detallesLógica de Predicados MRC
Lógica de Predicados MRC Víctor Peinado v.peinado@filol.ucm.es 6-7 de noviembre de 2014 Referencias (Partee, et al., 1990, chap. 7) 1 1 Partee, B.; ter Meulen, A.; Wall, R. Mathematical Methods in Linguistics
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 detallesLógica Matemática. Cont... Cont... Capítulo 1: Lógica Matemática Y Demostraciones
Matemáticas Discretas Capítulo 1: Y Demostraciones La lógica: Estudio del razonamiento. Se analiza si un razonamiento es correcto. Se centra en las relaciones entre los enunciados No se centra en el contenido
Más detallesOperaciones lógicas principales: Negación, Conjunción y Disyunción
Operaciones lógicas principales: Negación, Conjunción y Disyunción Definiciones informales. A es verdadera A es falsa A B es verdadera A es verdadera y B es verdadera A B es verdadera A es verdadera o
Más detallesVALOR ABSOLUTO. Definición.- El valor absoluto de un número real, x, se define como:
VALOR ABSOLUTO Cualquier número a tiene su representación en la recta real. El valor absoluto de un número representa la distancia del punto a al origen. Observe en el dibujo que la distancia del al origen
Más detallesApuntes de Matemática Discreta 2. Operaciones con Conjuntos
Apuntes de Matemática Discreta 2. Operaciones con Conjuntos Francisco José González Gutiérrez Cádiz, Octubre de 2004 Universidad de Cádiz Departamento de Matemáticas ii Lección 2 Operaciones con Conjuntos
Más detallescolor (yerba, verde) el mismo predicado, pero con diferentes argumentos, puede no ser verdadero: color (yerba, azul) o color (cielo, verde)
Lógica de Predicados La principal debilidad de la lógica proposicional es su limitada habilidad para expresar conocimiento. Existen varias sentencias complejas que pierden mucho de su significado cuando
Más detallesTaller de Análisis Lógico de Argumentos Filosóficos Semestre FORMALIZACIÓN: CONECTIVAS Y CONSTÁNTES LÓGICAS. I. Lenguaje formal.
FORMALIZACIÓN: CONECTIVAS Y CONSTÁNTES LÓGICAS I. Lenguaje formal. 1 II. Definición y utilidad de la formalización Formalización es el proceso de traducción de los argumentos del lenguaje natural a esquemas
Más detalles3.1 Reglas de equivalencia
3.1 Reglas de equivalencia En esta sección estudiarás y aplicarás algunas reglas de equivalencia de proposiciones lógicas. Es decir, vamos a empezar a aplicar algunas reglas que nos permitirán transformar
Más detallesLos signos auxiliares frente a las leyes de asociatividad. Reglas de inferencia
Los signos auxiliares frente a las leyes de asociatividad Recordemos que al establecer las reglas de formación se dijo que dos fórmulas unidas por una conectiva diádica debían estar encerradas en un par
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Á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 detallesIntroducción a la lógica. Matemáticas Discretas Universidad de san buenaventura Cali
Introducción a la lógica Matemáticas Discretas Universidad de san buenaventura Cali Proposiciones compuestas (Disyunción, Conjunción, Negación, Condicional, Bicondicional) DISYUNCIÓN (v) La disyunción
Más detallesEVOLUCIÓN HISTÓRICA DE LA LÓGICA
ESCUELA DEL MINISTERIO PÚBLICO Dr. Gonzalo Ortiz de Zevallos Roedel EVOLUCIÓN HISTÓRICA DE LA LÓGICA Dr. Luis Alberto Pacheco Mandujano Gerente Central de la Escuela del Ministerio Público Antes de empezar
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. 4 Nombre: Proposiciones Objetivo Al término de la sesión el participante aplicará las características de las proposiciones
Más detallesLa función proposicional no es una proposición, por lo tanto, no se puede decir nada acerca de su valor de verdad.
UNIDAD 1 LOGICA MATEMATICA 1.3 Cuantificadores Logica de predicados Esta lógica nos permite hacer afirmaciones con respecto a relaciones entre objetos o sus propiedades que satisfacen elementos de un determinado
Más detallesMaterial preparado para el curso MA-0270 Geometría I
Proposiciones matemáticas 1 1. Nociones básicas Definición 1. Proposición o enunciado (simple): es una afirmación que es falsa o verdadera pero no ambas. Ejemplos 1. Luis vino a clases hoy. 2. Amaneció
Más detallesGUIA DE TRABAJOS TEÓRICO PRACTICOS Nº3: LOGICA DE PREDICADOS
CENTRO EDUCATIVO DE NIVEL TERCIARIO N 2 INTRODUCCIÓN A LA LOGICA SIMBOLICA PRIMER AÑO GUIA DE TRABAJOS TEÓRICO PRACTICOS Nº3: LOGICA DE PREDICADOS 1.-Estructura de las proposiciones El desarrollo del cálculo
Más detalles2. Los símbolos de la lógica proposicional.
Bloque I: El Saber Filosófico. Tema 4: La Lógica Formal. 1. Las proposiciones y sus tipos. Una proposición es una oración enunciativa, es decir, una oración que afirma o niega algo y que puede ser verdadera
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 detallesTEMA: LÓGICA Y TEORÍA DE LA DR. LUIS ALBERTO PACHECO MANDUJANO
TEMA: LÓGICA Y TEORÍA DE LA ARGUMENTACIÓN JURÍDICA DR. LUIS ALBERTO PACHECO MANDUJANO I.- TABLA DE VALORES.- Diseñada por Ludwig Wittgenstein, es una cruz cuyo brazo derecho es mucho más prolongado que
Más detallesHistoria y Filosofía de la Lógica
Historia y Filosofía de la Lógica Pablo Cobreros pcobreros@unav.es Tema 3: El sistema básico de la lógica modal Introducción Historia reciente Interés filosófico: contextos intensionales Lógica modal proposicional
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 detallesEnunciados Abiertos y Enunciados Cerrados
I n g. L u z A d r i a n a M o n r o y M a r t í n e z L ó g i c a 1 Unidad II lógica proposicional Es probable que en el siglo IV antes de la Era Común, se iniciara con Aristóteles el estudio de la Lógica;
Más detallesINFORME N. 022-2013-SUNAT/4B0000 MATERIA:
INFORME N. 022-2013-SUNAT/4B0000 MATERIA: Respecto de empresas domiciliadas en el país que efectúan inversiones de capital que les otorgan el control de empresas constituidas en el exterior, ligadas al
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 detallesClase 25/09/2013 Tomado y editado de los apuntes de Pedro Sánchez Terraf
Clase 25/09/2013 Tomado y editado de los apuntes de Pedro Sánchez Terraf A pesar de haber ejercitado la realización de demostraciones en varias materias, es frecuente que el alumno consulte sobre la validez
Más detallesAsí, nuestro enunciado quedaría: Pedro no está enfermo. p, se lee tilde p.
SIMBOLOGÍA BÁSICA. Los enunciados se dividen en enunciados simples y compuestos. Los enunciados simples o atómicos son aquellos que admiten ser verdaderos o falsos. Así, por ejemplo: Pedro está enfermo,
Más detallesLa Lógica Proposicional
La Lógica Proposicional 1. Las proposiciones y sus tipos. Una proposición es una oración enunciativa, es decir, una oración que afirma o niega algo y que puede ser verdadera o falsa. Las proposiciones
Más detallesTeoremas: Condiciones Necesarias, Condiciones Suficientes y Condiciones Necesarias y Suficientes
FUNCIONES DE VARIABLE COMPLEJA 1 Teoremas: Condiciones Necesarias, Condiciones Suficientes y Condiciones Necesarias y Suficientes Lógica Matemática Una prioridad que tiene la enseñanza de la matemática
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 detallesEn general, se considera válido un razonamiento cuando sus premisas ofrecen soporte suficiente a su conclusión.
Se llama razonamiento lógico al proceso mental de realizar una inferencia de una conclusión a partir de un conjunto de premisas. La conclusión puede no ser una consecuencia lógica de las premisas y aun
Más detallesLógica Proposicional. Cátedra de Matemática
Lógica Proposicional Cátedra de Matemática Abril 2017 Qué es la lógica proposicional? Es la disciplina que estudia métodos de análisis y razonamiento; utilizando el lenguaje de las matemáticas como un
Más detallesUNIDAD I: LÓGICA MATEMÁTICA
UNIDAD I: LÓGICA MATEMÁTICA 1.1. Introducción La Lógica Matemática es la rama de las Matemáticas que nos permite comprender sobre la validez o no de razonamientos y demostraciones que se realizan. La lógica
Más detallesSISTEMA DE NUMERACIÓN BINARIO
SISTEMA DE NUMERACIÓN BINARIO Cuando se trabaja en una computadora, los datos son convertidos en números dígitos que, a su vez, son representados como pulsaciones o pulsos electrónicos. En la actualidad
Más detallesGuía de Matemáticas Discretas I
Universidad Central de Venezuela Facultad de Ciencias Escuela de Computación Lecturas en Ciencias de la Computación ISSN 1316-6239 Guía de Matemáticas Discretas I Prof. Marlliny Monsalve ND 2007-02 Centro
Más detallesUn conjunto se considera como una colección de objetos, llamados miembros o elementos del conjunto. Existen dos formas de expresar un conjunto:
I.- Teoría de conjuntos Definición de conjunto Un conjunto se considera como una colección de objetos, llamados miembros o elementos del conjunto. Existen dos formas de expresar un conjunto: a) Por extensión
Más detalles2. ENTIDADES PRIMITIVAS PARA EL DESARROLLO DE ALGORITMOS
2. ENTIDADES PRIMITIVAS PARA EL DESARROLLO DE ALGORITMOS 2.1 Tipos De Datos Todos los datos tienen un tipo asociado con ellos. Un dato puede ser un simple carácter, tal como b, un valor entero tal como
Más detallesLÓGICA DE PROPOSICIONAL Y PREDICADOS INGENIERÍA DE SISTEMAS
LÓGICA DE PROPOSICIONAL Y PREDICADOS INGENIERÍA DE SISTEMAS Patricia Zamora Villalobos John Alexander Coral Llanos Josué Maleaño Trejos Prof. Francisco Carrera Fecha de entrega: miércoles de setiembre
Más detallesLógica proposicional. 1. Lógica proposicional. 4. Conectivos lógicos. 2. Proposición lógica. 3. Negación de una proposición
Lógica proposicional 1. Lógica proposicional Es una parte de la lógica que estudia las proposiciones y la relación existente entre ellas, así como la función que tienen los conectivos lógicos. 2. Proposición
Más detallesPragmática es el estudio de la relación entre los signos y los sujetos que los emplean.
Lógica Sólo en el caso de enunciar hechos o situaciones, las afirmaciones pueden ser calificadas de verdaderas o falsas, sólo en este caso el lenguaje tiene un determinado valor de verdad. Se le puede
Más detallesEn toda argumentación podemos distinguir 3 elementos:
LENGUA Y LITERATURA. LA ARGUMENTACIÓN. CONCEPTO Y ELEMENTOS. La argumentación. Argumentar significa defender una idea o una opinión aportando un conjunto de razones que justifiquen nuestra postura. La
Más detallesInteligencia Artificial Inferencia en lógica
Inteligencia Artificial Inferencia en lógica Primavera 2007 profesor: Luigi Ceccaroni Inferencia en lógica Se quieren conseguir algoritmos que pueden responder a preguntas expresadas en forma lógica. Tres
Más detallesLógica Simbólica y Teoría de Conjuntos Parte I Juan Carlos Bressan y Ana E. Ferrazzi de Bressan
Lógica Simbólica y Teoría de Conjuntos Parte I Juan Carlos Bressan y Ana E Ferrazzi de Bressan Resumen En este trabajo, la utilización de la lógica simbólica y de los conjuntos se hace desde un punto de
Más detallesUNIDAD III - LÓGICA SIMBÓLICA CÁLCULO PROPOSICIONAL:
UNIDAD III - LÓGICA SIMBÓLICA CÁLCULO PROPOSICIONAL: El desarrollo de la Lógica proposicional (tipo de lógica simbólica) se da por insuficiencias o limitaciones de la lógica clásica. Recordemos que la
Más detallesUNIDAD 9. LAS OBLIGACIONES MERCANTILES. 9.1. Las Obligaciones Mercantiles
UNIDAD 9. LAS OBLIGACIONES MERCANTILES 9.1. Las Obligaciones Mercantiles Las obligaciones mercantiles se fundan en las obligaciones civiles del Código Civil Federal y luego se refieren al Código de Comercio
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 detallesMATEMÁTICA CPU Práctica 1 NÚMEROS REALES ECUACIONES E INECUACIONES REPRESENTACIONES EN LA RECTA Y EN EL PLANO
MATEMÁTICA CPU Práctica NÚMEROS REALES ECUACIONES E INECUACIONES REPRESENTACIONES EN LA RECTA Y EN EL PLANO. Marcar con una cruz los conjuntos a los cuales pertenecen los siguientes números: N Z Q R 8
Más detallesAlberto quiere que lo acompañes al concierto.
ORACIONES SIMPLES Y COMPUESTAS La oración simple es aquella que tiene un solo verbo sintáctico y, por tanto, un solo predicado El concierto duró solo una hora Sujeto Verbo Predicado ORACIÓN SIMPLE La oración
Más detallesCapítulo 5 IDENTIFICADORES, VARIABLES Y CONSTANTES. Presentación resumen del libro: "EMPEZAR DE CERO A PROGRAMAR EN lenguaje C"
Presentación resumen del libro: "EMPEZAR DE CERO A PROGRAMAR EN lenguaje C" Autor: Carlos Javier Pes Rivas (correo@carlospes.com) Capítulo 5 IDENTIFICADORES, VARIABLES Y CONSTANTES 1 OBJETIVOS Saber qué
Más detallesPROGRAMACIÓN ALGORITMOS y DIAGRAMAS
PROGRAMACIÓN ALGORITMOS y DIAGRAMAS ALGORITMO DEFINICIÓN: CONSISTE EN LA DESCRIPCIÓN CLARA Y DETALLADA DEL PROCEDIMIENTO A SEGUIR PARA ALCANZAR LA SOLUCIÓN A UN PROBLEMA ESTABLECIENDOSE UNA SECUENCIA DE
Más detallesTécnicas y Conceptos Básicos en Matemáticas
Técnicas y Conceptos Básicos en Matemáticas Jairo Alvarez Gaviria Ernesto Acosta Miguel Marmolejo Universidad del Valle Facultad de Ciencias Departamento de Matemáticas ii Presentación El contenido de
Más detallesRAZONAMIENTO LÓGICO LECCIÓN 1: ANÁLISIS DEL LENGUAJE ORDINARIO. La lógica se puede clasificar como:
La lógica se puede clasificar como: 1. Lógica tradicional o no formal. 2. Lógica simbólica o formal. En la lógica tradicional o no formal se consideran procesos psicológicos del pensamiento y los métodos
Más detalles1E-7 LA NATURALEZA HUMANA COMO BASE DE LA FORMACION ETICA 1. Karol Wojtyla
1E-7 LA NATURALEZA HUMANA COMO BASE DE LA FORMACION ETICA 1 Karol Wojtyla Resumen, preparado por Wojtyla, de la conferencia que dio el 19 de febrero de 1959, durante la Segunda Semana Anual de Filosofía,
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 detallesLÓGICA. LENGUAJE ARTIFICIAL Lenguajes bien definidos que poseen una estructura sintáctica clara y una operativa eficaz.
LÓGICA LENGUAJE ARTIICIAL Lenguajes bien definidos que poseen una estructura sintáctica clara y una operativa eficaz. En líneas generales puede decirse que todas las ciencias, en especial las ciencias
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 detalles2.- Elige la negación lógica de ser bello ) Ser feo ) Ser imperfecto ) No ser bello ) Ser horrible ) No ser feo
Elige la opción correcta para cada una de las siguientes preguntas. 1.- Qué premisa completaría el siguiente argumento? La felicidad es un producto de las circunstancias o es un producto de la madurez
Más detallesBASES DE DATOS TEMA 3 MODELO ENTIDAD - RELACIÓN
BASES DE DATOS TEMA 3 MODELO ENTIDAD - RELACIÓN 3.1 Conceptos Básicos El modelo entidad-relación es el modelo más utilizado para el diseño conceptual de bases de datos. Fue introducido por Peter Chan en
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 detallesCIENCIAS FORMALES CIENCIAS FÁCTICAS
UNA CLASIFICACIÓN DE LAS CIENCIAS CIENCIAS FORMALES CIENCIAS FÁCTICAS CIENCIAS FORMALES MATEMÁTICA LÓGICA CIENCIAS FÁCTICAS FÍSICA BIOLOGÍA QUÍMICA CIENCIAS SOCIALES OTRAS CIENCIAS FORMALES VOCABULARIO
Más detallesAlgebra de Boole. Algebra de Boole. Ing. José Alberto Díaz García. EL - 3307 Diseño Lógico. Página 1
Página 1 Simplificación de circuitos Como los circuitos lógicos son representaciones de funciones lógicas, se pueden utilizar los recursos disponibles para simplificarlos y así reducir la cantidad de componentes
Más detallesLógica Proposicional. Guía Lógica Proposicional. Tema II: Operadores Lógicos
Guía Lógica Proposicional Tema II: Operadores Lógicos LA CONJUNCIÓN DEFINICIÓN. La Conjunción. Sean p y q dos variables proposicionales, entonces la proposición compuesta p y q, que se simboliza como p
Más detallesLÓGICA PROPOSICIONAL 1. LENGUAJE DE LA LÓGICA PROPOSICIONAL 2. SÍMBOLOS LÓGICOS. 1.a. Símbolos formales. Símbolos no lógicos. Símbolos auxiliares
LÓGICA PROPOSICIONAL 1. LENGUAJE DE LA LÓGICA PROPOSICIONAL Un lenguaje para el ámbito de la lógica se estructura en tres niveles diferentes: símbolos formales, reglas de formación de fórmulas y reglas
Más detallesOctubre de Proposiciones MARIA ALEJANDRA GUIO SAENZ ALEJANDRO SALAZAR ALEJANDRO BELTRAN CAMILO RIVERA SYGMA
Octubre de 2016 Proposiciones MARIA ALEJANDRA GUIO SAENZ ALEJANDRO SALAZAR ALEJANDRO BELTRAN CAMILO RIVERA SYGMA PROPOSICIONES Es un enunciado al cual se le puede asignar un valor de verdad que puede ser
Más detallesApuntes de Lógica Matemática 2. Lógica de Predicados
Apuntes de Lógica Matemática 2. Lógica de Predicados Francisco José González Gutiérrez Cádiz, Abril de 2005 Universidad de Cádiz Departamento de Matemáticas ii Lección 2 Lógica de Predicados Contenido
Más detallesTema IV Enunciados Compuestos, Silogismos Disyuntivos e Hipotéticos
Laboratorio de Altos Estudios en Ciencias Informáticas Programa de Entrenamiento Académico (PEA) en Ciencias Informáticas Cátedra de Introducción a la Lógica y Métodos Científicos Prof. Eugenia Bahit Tema
Más detallesÁrea: Procesos de generación de hipótesis. Lectura: Introducción a la generación de hipótesis. Caso: Tipos de afirmaciones y su estructura
Área: Procesos de generación de hipótesis Lectura: Introducción a la generación de hipótesis Caso: Tipos de afirmaciones y su estructura Situación. Dado que se van a utilizar continuamente las afirmaciones
Más detallesUNIDAD 3: LAS REGLAS DE ACENTUACIÓN DIACRÍTICA Y ACTUALIZACIÓN ORTOGRÁFICAS
1 UNIDAD 3: LAS REGLAS DE ACENTUACIÓN DIACRÍTICA Y ACTUALIZACIÓN ORTOGRÁFICAS Sumario 1. La acentuación diacrítica 2. Notas sobre el uso de mayúsculas 3. Actualizaciones de la RAE 1. LA ACENTUACIÓN DIACRÍTICA
Más detallesPruebas de Acceso a Enseñanzas Universitarias Oficiales de Grado (PAEG) Matemáticas aplicadas a las Ciencias Sociales II - Junio 2011 - Propuesta B
Pruebas de Acceso a Enseñanzas Universitarias Oficiales de Grado (PAEG) Matemáticas aplicadas a las Ciencias Sociales II - Junio 2011 - Propuesta B 1. Queremos invertir una cantidad de dinero en dos tipos
Más detallesLímites de una función
Límites de una función Introducción Comenzaremos a analizar la definición del límite finito de tendencia finita a través de un ejemplo. Consideremos la función f. Observemos su regla de asignación y su
Más detallesLógica proposicional o Lógica de enunciados
Tema 3 Lógica proposicional o Lógica de enunciados 1. Qué es la Lógica? 2. El cálculo de proposiciones 2.1. Las conectivas 2.2. Las tablas de verdad 2.3. La deducción natural Bibliografía Deaño, A.: Introducción
Más detallesPertenencia y no pertenencia
Colegio San Benito Abad Institución Educativa Distrital NIT 830.068.785-7* DANE 11100186634 Inscripción en Secretaria Educación N. 6534. acuerdo creación N 17 de 29-10-1992 Aprobación según Resolución
Más detallesMATEMATICA COMERCIAL
Profesor: Ezequiel Roque David Ramírez MATEMATICA COMERCIAL Descripción y objetivos del curso Este tema está dedicado al estudio de conceptos que, con formulación matemática y carácter marcadamente económico,
Más detallesSUBORDINADAS ADJETIVAS
SUBORDINADAS ADJETIVAS Realizan la misma función que el adjetivo en el SN El último libro que publicó fue unánimemente aclamado. El último libro publicado fue unánimemente aclamado. SUBORDINADAS ADJETIVAS
Más detallesLos números enteros. > significa "mayor que". Ejemplo: 58 > 12 < significa "menor que". Ejemplo: 3 < 12 Cualquier número positivo siempre es mayor
Los números enteros Los números enteros Los números enteros son aquellos que permiten contar tanto los objetos que se tienen, como los objetos que se deben. Enteros positivos: precedidos por el signo +
Más detalles2: Autómatas finitos y lenguajes regulares.
2: Autómatas finitos y lenguajes regulares. Los autómatas finitos son el modelo matemático de los sistemas que presentan las siguientes características: 1) En cada momento el sistema se encuentra en un
Más detallesTeoría de conjuntos. Tema 1: Teoría de Conjuntos.
Tema 1: Teoría de Conjuntos. La teoría de Conjuntos es actualmente una de las más importantes dentro de la matemática. Muchos de los problemas que se le han presentado a esta disciplina en los últimos
Más detalles