LÓGICA Y RAZONAMIENTO JURÍDICO
|
|
- Andrea Salinas Gutiérrez
- hace 7 años
- Vistas:
Transcripción
1 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 o que niegan algo y que, con sentido, pueden ser verdaderas o falsas. 1
2 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: - 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 III.- CLASES DE PROPOSICIONES.- Históricamente, las proposiciones se clasifican en: 1. Proposiciones simples o atómicas a)proposiciones simples predicativas b)proposiciones simples relacionales 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 2
3 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. 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. b.2. Disyunción 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. 3
4 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. 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. 4
5 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 negativa presupone la existencia 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. 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. 5
6 SIMBOLIZACIÓN DE PROPOSICIONES Y OPERACIONES ALGORÍTMICAS * PASO 3.- Explicamos la estructura formal del argumento, reemplazando las proposiciones 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". SIMBOLIZACIÓN DE PROPOSICIONES Y OPERACIONES ALGORÍTMICAS * 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. 6
7 * Paso 3: "Si p, entonces q y r. Por eso, s". * Paso 4: [ p ( q ^ r ) ] s 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. Ej.: - Marco Aurelio es doctor en Derecho = p. - Pedro es religioso = p. 7
8 2.- Proposiciones Compuestas.- La simbolización de éstas dependen de las clases ya vistas anteriormente: 2.1. 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 : " p sin embargo q". Simbolización : ( p ^ q ), que se lee: "p y q. 2.- Proposiciones Compuestas.- * "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 : " p aún cuando q". Simbolización : ( p ^ q ), que se lee: "p y q". 8
9 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. : " p ó q". Simbolización : ( p v q ), que se lee: "p ó q". 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 : " ó p ó q". Simbolización : ( p v q ), que se lee: "ó p ó q". 9
10 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: " " Condicional.- -Ejm.: * "Si hay estabilidad laboral, entonces hay respeto por los derechos laborales". - Hay estabilidad laboral = p - Hay respeto por los derechos laborales = q : " p entonces q"; p = ANT. y q = CONS. Simbolización : ( p q ), que se lee: "p entonces q". 10
11 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 : " p porque q"; p = CONS. y q = ANT. Simbolización : ( q p ), que se lee: "q entonces p". 11
12 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 : " p entonces q". Simbolización : ( p q ) Bicondicional.- - Si la temperatura está bajo 0 C, entonces el agua se congela q p : " q entonces p". Simbolización : ( q p ). ( p q ), que se lee : "p si y sólo si q". 12
13 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 : " no p". Simbolización : ( ~ p ), que se lee: "no p" Negación.- * "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 : "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 : "p pero es falso que q". Simbolización : ( p ^ ~ q ). 13
14 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. Relación lógica de Causalidad La primera de las antedichas relaciones la relación lógica de causalidad 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. 14
15 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. s 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 ) 15
LÓ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 detallesLÓGICA Y RAZONAMIENTO DR. LUIS ALBERTO PACHECO MANDUJANO
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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 detallesMódulo 1. Segunda Parte NOCIONES DE LÓGICA SIMBÓLICA
Módulo 1 Segunda Parte NOCIONES DE LÓGICA SIMBÓLICA Qué es una PROPOSICIÓN? ES TODA EXPRESIÓN O ENUNCIADO DE LA CUAL SE PUEDE DECIR SI ES VERDADERA O FALSA Ejemplos: 2 es un número par (Proposición verdadera)
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 detallesENUNCIADO ABIERTO: Es un enunciado en forma de expresión matemática que no es verdadero ni falso. Ejemplos: x < 9 x + 2 = 10 a + b = 1 a 2 + b 2 = c 2
LÓGICA Es la ciencia que estudia el razonamiento inductivo y deductivo. El razonamiento inductivo es aquel que permite llegar a conclusiones generales a partir de observaciones particulares, por el contrario,
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 detallesNo son proposiciones por no poder ser evaluadas como verdaderas ni falsas. Las exclamaciones, órdenes ni las preguntas son proposiciones
RESOLUCION Nº 03871 DE 07 DE NOIEMBRE DE 2012 ERSION 1.0 EJES TEMÁTICOS Proposiciones Teoría de conjuntos Sistemas de numeración a) Levántate temprano! b) Has entendido lo que es una proposición? c) Estudia
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 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 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 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 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 detallesLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL PROPOSICIONES Una proposición es todo enunciado, u oración enunciativa, respecto del cual se tiene un criterio que permite afirmar que su contenido es verdadero o falso, pero no ambos.
Más detalles2. ELEMENTOS DE LÓGICA PROPOSICIONAL
Copyright 2013. Editorial Tébar lores. All rights reserved. RAMÓN RODRÍGUEZ ALLEJO 2. ELEMENTOS DE LÓGICA PROPOSICIONAL 2.1. PROPOSICIONES Definición 2.1.1.- Se denomina proposición a toda expresión verbal,
Más detallesRefelxiones con Respecto a la Lógica. Ana Lilia LAUREANO-CRUCES
Refelxiones con Respecto a la Lógica Ana Lilia LAUREANO-CRUCES Qué es la lógica es el estudio de métodos y principios usados para distinguir el buen (correcto) razonamiento del malo (incorrecto). no debe
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 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 detallesUn poco de lógica. Ramón Espinosa. Departamento de Matemáticas, ITAM
Un poco de lógica Ramón Espinosa Departamento de Matemáticas, ITAM La lógica, como el whisky, pierde sus efectos benéficos cuando se consume en grandes cantidades. Lord Dunsany Uno de los principales propósitos
Más detallesLógica Proposicional. Introducción
Lógica 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 las denominadas frases
Más detallesVALORES DE VERDAD DE LOS OPERADORES LÓGICOS
VALORES DE VERDAD DE LOS OPERADORES LÓGICOS Tomada con fines instruccionales Gómez, T., González, N., Lorenzo J. (2007) Valores de verdad de los Operadores Lógicos. Artículo no publicado. (p.1-6). UNEFA.
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 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 detallesIDENTIFICACIÓN DE LA ACTIVIDAD PEDAGÓGICA DESARROLLO DE LA ACTIVIDAD. p, q, r, s
PROGRAMA DE FORMACIÓN UNIDAD DE APRENDIZAJE ACTIVIDAD OBJETIVOS IDENTIFICACIÓN DE LA ACTIVIDAD PEDAGÓGICA Colegio técnico uparsistem Matematica sexto PROPOSICIONES Y TABLA DE LA VERDAD (CONJUNCIÓN, DISYUNCIÓN,
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 detalles2. Introducción a la Lógica proposicional y Teoría de conjuntos
2. Introducción a la Lógica proposicional y Teoría de conjuntos Lenguaje formal La lógica utiliza un lenguaje artificial, que es además un lenguaje formal. Características del lenguaje formal: a) Está
Más detallesMatemáticas Dicretas LÓGICA MATEMÁTICA
Matemáticas Dicretas LÓGICA MATEMÁTICA Esta pagina fue diseñada como un auxiliar y herramienta para aquellos que esten interesados en reforzar y tener mas conocimientos sobre las matematicas discretas.
Más detallesTodas las conectivas binarias bivalentes Formas normales conjuntivas Formas normales disyuntivas Conjuntos adecuados de conectivas.
Todas las conectivas binarias bivalentes Formas normales conjuntivas Formas normales disyuntivas Conjuntos adecuados de conectivas Raymundo Morado Las conectivas binarias bivalentes Cuántos valores de
Más detallesLógica Proposicional. Sergio Stive Solano Sabié. Abril de 2013
Lógica Proposicional Sergio Stive Solano Sabié Abril de 2013 Lógica Proposicional Sergio Stive Solano Sabié Abril de 2013 Proposiciones Definición 1.1 Una proposición (o declaración) es una oración declarativa
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 detallesDEPARTAMENTO DE MATEMÁTICA Y FÍSICA ASIGNATURA
UNIVERSIDAD NACIONAL DEL TACHIRA DEPARTAMENTO DE MATEMÁTICA Y FÍSICA ASIGNATURA : Matemáticas Discreta PROPOSICIONES DEFINICIÓN: DEFINICIÓN DE PROPOSICIÓN: Una proposición es un juicio declarativo del
Más detallesLA ARGUMENTACIÓN: Argumentos deductivos y Lógica
LA ARGUMENTACIÓN: Argumentos deductivos y Lógica Qué es un argumento deductivo? Un argumento deductivo es aquel cuya conclusión se sigue necesariamente de las premisas. Es decir, si las premisas son verdaderas,
Más detallesINSTITUTO POLITÉCNICO NACIONAL ESCUELA SUPERIOR DE INGENIERÍA MECÁNICA Y ELÉCTRICA INGENIERÍA EN COMUNICACIONES Y ELECTRÓNICA
INSTITUTO POLITÉCNICO NACIONAL ESCUELA SUPERIOR DE INGENIERÍA MECÁNICA Y ELÉCTRICA INGENIERÍA EN COMUNICACIONES Y ELECTRÓNICA PRÁCTICAS DE CIRCUITOS LÓGICOS LABORATORIO DE COMPUTACIÓN IV PRÁCTICA 1 NOMBRE
Más detallesP r o p o s i c i ó n
P r o p o s i c i ó n Es toda oración o enunciado al que se le puede asignar un cierto valor (v o f). Si no puede concluir que es verdadero o falso no es proposición. La verdad o falsedad de una proposición
Más detallesGUIA DE TRABAJOS TEORICO PRACTICO N 1: LÓGICA DE LAS PROPOSICIONES
CENTRO EDUCATIVO DE NIVEL TERCIARIO N 2 INTRODUCCIÓN A LA LOGICA SIMBOLICA PRIMER AÑO AÑO: 2005 GUIA DE TRABAJOS TEORICO PRACTICO N 1: LÓGICA DE LAS PROPOSICIONES La lógica es una ciencia formal, o sea,
Más detallesLó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 detallesInferencia Lógica. Salomón Ching Briceño. Licenciado en Matemáticas UNPRG. 18 de marzo de 2011
Inferencia Lógica Salomón Ching Briceño Licenciado en Matemáticas http://mathsalomon.260mb.com UNPRG 18 de marzo de 2011 Lic. Mat. Salomón Ching Inferencia Lógica Contenido I Lic. Mat. Salomón Ching Inferencia
Más detallesDepartamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid
LÓGICA FORMAL Lógica Proposicional: Teorema de Efectividad Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid Lógica Proposicional 1 La lógica proposicional
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 detallesLÓGICA PRIMER SEMESTRE. Definición del Concepto de Lógica.
PRIMER SEMESTRE Definición del Concepto de Lógica. LÓGICA 1. Quién es el Fundador de la Lógica y como la define? 2. Cuál es la definición Nominal de Lógica? 3. Escribe la definición Real de Lógica 4. Qué
Más detallesTabla de valores de verdad
Tabla de valores de verdad Las tablas de valores de verdad son una herramienta desarrollada por Charles Peirce en los años 1880, siendo sin embargo más popular el formato que Ludwig Wittgenstein desarrolló
Más detallesMATEMÁTICA. Módulo Educativo Etapa Presencial Docente Coordinadora: Bioq. y Farm. Marta Marzi
MATEMÁTICA Módulo Educativo Etapa Presencial 2014 Docente Coordinadora: Bioq. y Farm. Marta Marzi Facultad de Ciencias Bioquímicas y Farmacéuticas UNIVERSIDAD NACIONAL DE ROSARIO Suipacha 531 0341-4804592/93/97
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. 5 Nombre: Tablas de verdad Objetivo Al término de la sesión el participante aplicará los conceptos de lógica a través
Más detallesEvaluación Nacional Revisión del intento 1
LOGICA MATEMATICA Perfil Salir Evaluación Nacional Revisión del intento 1 Finalizar revisión Comenzado el sábado, 15 de junio de 2013, 15:59 Completado el sábado, 15 de junio de 2013, 16:35 Tiempo empleado
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 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 detalles2.1.- Formalización de enunciados en lenguaje ordinario
2.1.- Formalización de enunciados en lenguaje ordinario Una de las tareas más importantes para poder aplicar la lógica a los diferentes campos del saber humano es la formalización, también conocida como
Más detallesLógica Proposicional
Existen en la realidad un número considerable de problemas con los que una persona se enfrenta y de los cuales se deben deducir ciertos datos para poder resolverlos. Generalmente la forma en que las personas
Más detallesEL LENGUAJE FORMAL DE LA LÓGICA. Agosto del 2011
EL LENGUAJE FORMAL DE LA LÓGICA Agosto del 2011 Qué es un lenguaje formal? Está formado por los siguientes elementos básicos: A. Signos primitivos del lenguaje, esto es su alfabeto. B. Unas reglas de combinación
Más detallesLógica Matemática. Operadores Lógicos. Universidad del Azuay - Marcos Orellana Cordero
Lógica Matemática Operadores Lógicos Introducción La lógica proposicional inicia con las proposiciones y los conectores lógicos. A partir de la combinación de dos proposiciones por medio de un conector
Más detallesTEMA 1: LÓGICA. p p Operador conjunción. Se lee y y se representa por. Su tabla de verdad es: p q p q
TEMA 1: LÓGICA. Definición. La lógica es la ciencia que estudia el razonamiento formalmente válido. Para ello tiene un simbolismo que evita las imprecisiones del lenguaje humano y permite comprobar la
Más detallesLógica Matemática. Contenido. Definición. Finalidad de la unidad. Proposicional. Primer orden
Contenido Lógica Matemática M.C. Mireya Tovar Vidal Proposicional Definición Sintaxis Proposición Conectivos lógicos Semántica Primer orden cuantificadores Finalidad de la unidad Definición Traducir enunciados
Más detallesFORMALIZACIÓN Y VALORACIÓN DE PROPOSICIONES
FORMALIZACIÓN Y VALORACIÓN DE PROPOSICIONES 1.1. Conectivos Lógicos Se denominan conectivos lógicos a aquellas palabras o términos funcionales que ligan, juntan, unen o enlazan las proposiciones simples
Más detallesEl lenguaje formal de la Lógica Qué es un lenguaje formal? Un lenguaje formal, en tanto que lenguaje artificial, está formado por los siguientes elementos básicos: Unos signos primitivos del lenguaje,
Más detallesProposicional. Curso Mari Carmen Suárez de Figueroa Baonza
Semántica Proposicional Curso 2014 2015 Mari Carmen Suárez de Figueroa Baonza mcsuarez@fi.upm.es Contenidos Introducción Interpretación de FBFs proposicionales Validez Satisfacibilidad Validez y Satisfacibilidad
Más detallesMatemáticas Discretas Lógica
Coordinación de Ciencias Computacionales - INAOE Matemáticas Discretas Lógica Cursos Propedéuticos 2010 Ciencias Computacionales INAOE Lógica undamentos de Lógica Cálculo proposicional Cálculo de predicados
Más detallesLenguaje artificial. Código inventado para determinadas disciplinas y leyes, para utilizarlo de determinadas maneras.
LENGUAJE Y RAZONAMIENTO LÓGICO 1. LENGUAJES NATURALES Y ARTIFICIALES. 2. LA LÓGICA COMO CIENCIA DEL LENGUAJE. 3. LÓGICA PROPOSICIONAL. 3.1. Cálculo proposicional. Símbolos elementales. Reglas de formación.
Más detallesOperaciones con Proposiciones
Operaciones con Proposiciones ES UNA AFIRMACIÓN QUE PUEDE SER VERDADERA O FALSA EJEMPLOS DE PROPOSICIONES: La capital de España es Sevilla El Ebro pasa por Zaragoza Alicante tiene 45 millones de habitantes
Más detalles13/04/2013 LOGICA MATEMÁTICA
ING ARNALDO ANGULO ASCAMA profearnaldo@hotmail.com ING. ARNALDO ALBERTO ANGULO ASCAMA LOGICA MATEMÁTICA La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y técnicas
Más detallesResumen de las clases teóricas del turno tarde a cargo de la Prof. Alcón.
Resumen de las clases teóricas del turno tarde a cargo de la Prof. Alcón. 0.1. Elementos de lógica Una proposición es una oración declamativa a la cual se le puede asignar un valor verdad: verdadera (V)
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 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 detallesAutora: Jeanneth Galeano Peñaloza. 3 de febrero de Universidad Nacional de Colombia Departamento de Matemáticas Sede Bogotá 1/ 50
Autora: Jeanneth Galeano Peñaloza Universidad Nacional de Colombia Departamento de Matemáticas Sede Bogotá 3 de febrero de 2013 1/ 50 Parte I 2/ 50 Proposiciones Considere las siguientes frases Guarde
Más detallesLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL 1. INTRODUCCIÓN 1.1. El lenguaje natural El lenguaje ordinario, el que utilizamos normalmente para comunicarnos y expresar nuestros pensamiento, deseos o situaciones, es lo que se
Más detallesLógica Matemática. Tema: Los conectores lógicos y sus símbolos
Lógica Matemática Tema: Los conectores lógicos y sus símbolos Los conectores lógicos y sus símbolos Además de simbolizar las proposiciones, también se pueden emplear símbolos para los mismos conectores
Más detallesEl conectivo XOR y la diferencia simétrica de conjuntos
El conectivo OR y la diferencia simétrica de conjuntos Memo Garro Enero 2018 Resumen Definimos la diferencia simétrica usual de conjuntos mediante el conectivo OR Y. También conocido comunmente como disyunción
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 detallesLógica de Predicados
Lógica de redicados Lógica de predicados Lógica de predicados Cálculo de predicados Reglas de inferencia Deducción proposicional Demostración condicional Demostración indirecta Valores de certeza y Tautología
Más detallesFundamentos básicos de matemáticas: Lógica Proposicional
Fundamentos básicos de matemáticas: Lógica Proposicional Victor Hugo Gil A. Universidad del Valle 28 de agosto de 2016 Victor Hugo Gil A. (Univalle) Lógica Proposicional 28 de agosto de 2016 1 / 10 Lógica
Más detalles1.1 Lógica proposicional
1.1 Lógica proposicional La Lógica es una ciencia formal, que no se interesa ni por los contenidos del pensamiento, ni por el contenido de las expresiones del pensamiento, sino por sus formas, por sus
Más detallesLOGICA MATEMATICA. El dar un juicio nos permite comparar las características primarias o secundarias del objeto o termino y valorarlas
DEINICIÓN ETIMOLÓGICA DE LÓGICA EL término LOGICA viene de dos voces griegas: Logos, que significa palabra, tratado, pensamiento o razón e icos que significa relacionado con, por lo tanto lógica significa
Más detallesLógica proposicional 6. La semántica veritativo-funcional
Lógica proposicional 6. La semántica veritativo-funcional (Parte 1) Juan Carlos León Universidad de Murcia Esquema del tema 6.1. Noción de interpretación y reglas de valoración. Tablas de verdad 6.2. Consecuencia
Más detallesPOSITIVISMO Y EMPIRISMO EN LA FILOSOFÍA ACTUAL. EL LENGUAJE. LÓGICA MATEMÁTICA LA TEORÍA DE LA VERIFICACIÓN. CRITICA DE LA METAFÍSICA.
POSITIVISMO Y EMPIRISMO EN LA FILOSOFÍA ACTUAL. EL LENGUAJE. LÓGICA MATEMÁTICA LA TEORÍA DE LA VERIFICACIÓN. CRITICA DE LA METAFÍSICA. APUNTE CRITICO. AUGUSTO COMTE LUDWING WITHHGENSTEIN MORITZ SCHLICK
Más detallesLógica Matemática. Tema: Tautología, contradicción y evaluación de la validez
Lógica Matemática Tema: Tautología, contradicción y evaluación de la validez Tautología, contradicción y evaluación de la validez Una proposición molecular es una tautología si es cierta, cualesquiera
Más detalles