LÓGICA Y RAZONAMIENTO DR. LUIS ALBERTO PACHECO MANDUJANO

Tamaño: px
Comenzar la demostración a partir de la página:

Download "LÓGICA Y RAZONAMIENTO DR. LUIS ALBERTO PACHECO MANDUJANO"

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

LÓGICA Y RAZONAMIENTO JURÍDICO. Antes de empezar

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 detalles

INSTITUTO DE AYUDA POLITÉCNICA Quisquís 1020 entre Avenida del Ejército y García Moreno. 2282705 086412883

INSTITUTO 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 detalles

CLASIFICACIÓN DE LAS PROPOSICIONES

CLASIFICACIÓ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 detalles

MATEMÁ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 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 detalles

NOCIONES ELEMENTALES DE LÓGICA MATEMÁTICA

NOCIONES 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 detalles

Lógica Proposicional, Teoremas y Demostraciones

Ló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 detalles

Parte 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 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 detalles

Documento de lógica n 1 Frege Carlos Bermejo Esquema de Frege. El nombre propio es un signo. El nombre común es un signo.

Documento 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 detalles

LÓ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 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 detalles

3.7. DEFINICIÓN FORMAL DEL LENGUAJE PROPOSICIONAL.

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

Tema: LÓGICA PROPOSICIONAL

Tema: 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 detalles

Proposiciones Condicionales

Proposiciones 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 detalles

GUIA DE TRABAJOS TEORICO PRACTICOS Nº 2: RAZONAMIENTOS PARA LA LOGICA PROPOSICIONAL

GUIA 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 detalles

Lógica de Predicados

Ló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 detalles

Capítulo 7: Lógica de predicados y cuantificadores

Capí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 detalles

Material diseñado para los estudiantes del NUTULA, alumnos del profesor Álvaro Moreno.01/10/2010 Lógica Proposicional

Material 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 detalles

CUN GUIA # 1 CONJUNTOS

CUN 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 detalles

Tablas 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 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 detalles

Elaborar 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 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 detalles

Un enunciado es toda frase u oración que se emite

Un 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 detalles

Lógica de Predicados MRC

Ló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 detalles

encontramos dos enunciados. El primero (p) nos afirma que Pitágoras era griego y el segundo (q) que Pitágoras era geómetra.

encontramos 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 detalles

Lógica Matemática. Cont... Cont... Capítulo 1: Lógica Matemática Y Demostraciones

Ló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 detalles

Operaciones lógicas principales: Negación, Conjunción y Disyunción

Operaciones 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 detalles

VALOR ABSOLUTO. Definición.- El valor absoluto de un número real, x, se define como:

VALOR 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 detalles

Apuntes de Matemática Discreta 2. Operaciones con Conjuntos

Apuntes 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 detalles

color (yerba, verde) el mismo predicado, pero con diferentes argumentos, puede no ser verdadero: color (yerba, azul) o color (cielo, verde)

color (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 detalles

Taller de Análisis Lógico de Argumentos Filosóficos Semestre FORMALIZACIÓN: CONECTIVAS Y CONSTÁNTES LÓGICAS. I. Lenguaje formal.

Taller 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 detalles

3.1 Reglas de equivalencia

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

Los signos auxiliares frente a las leyes de asociatividad. Reglas de inferencia

Los 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 detalles

RAZONAMIENTO LÓGICO PARA LA ARGUMENTACIÓN JURÍDICA

RAZONAMIENTO 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 detalles

MATEMÁTICA 1 JRC El futuro pertenece a aquellos que creen en la belleza de sus sueños

MATEMÁ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 detalles

Introducció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 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 detalles

EVOLUCIÓN HISTÓRICA DE LA LÓGICA

EVOLUCIÓ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 detalles

Matemáticas Básicas para Computación

Matemá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 detalles

La función proposicional no es una proposición, por lo tanto, no se puede decir nada acerca de su valor de verdad.

La 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 detalles

Material preparado para el curso MA-0270 Geometría I

Material 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 detalles

GUIA DE TRABAJOS TEÓRICO PRACTICOS Nº3: LOGICA DE PREDICADOS

GUIA 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 detalles

2. Los símbolos de la lógica proposicional.

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

Forma lógica de enunciados

Forma 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 detalles

TEMA: LÓGICA Y TEORÍA DE LA DR. LUIS ALBERTO PACHECO MANDUJANO

TEMA: 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 detalles

Historia y Filosofía de la Lógica

Historia 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 detalles

SESIÓN 04 LÓGICA PROPOSICIONAL

SESIÓ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 detalles

Enunciados Abiertos y Enunciados Cerrados

Enunciados 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 detalles

INFORME N. 022-2013-SUNAT/4B0000 MATERIA:

INFORME 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 detalles

Taller 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 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 detalles

Clase 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 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 detalles

Así, nuestro enunciado quedaría: Pedro no está enfermo. p, se lee tilde p.

Así, 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 detalles

La Lógica Proposicional

La 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 detalles

Teoremas: Condiciones Necesarias, Condiciones Suficientes y Condiciones Necesarias y Suficientes

Teoremas: 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 detalles

Capítulo 1 Lógica Proposicional

Capí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 detalles

En general, se considera válido un razonamiento cuando sus premisas ofrecen soporte suficiente a su conclusión.

En 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 detalles

Lógica Proposicional. Cátedra de Matemática

Ló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 detalles

UNIDAD I: LÓGICA MATEMÁTICA

UNIDAD 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 detalles

SISTEMA DE NUMERACIÓN BINARIO

SISTEMA 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 detalles

Guía de Matemáticas Discretas I

Guí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 detalles

Un conjunto se considera como una colección de objetos, llamados miembros o elementos del conjunto. Existen dos formas de expresar un conjunto:

Un 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 detalles

2. ENTIDADES PRIMITIVAS PARA EL DESARROLLO DE ALGORITMOS

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

LÓGICA DE PROPOSICIONAL Y PREDICADOS INGENIERÍA DE SISTEMAS

LÓ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 detalles

Ló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. 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 detalles

Pragmática es el estudio de la relación entre los signos y los sujetos que los emplean.

Pragmá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 detalles

En toda argumentación podemos distinguir 3 elementos:

En 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 detalles

Inteligencia Artificial Inferencia en lógica

Inteligencia 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 detalles

Ló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 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 detalles

UNIDAD III - LÓGICA SIMBÓLICA CÁLCULO PROPOSICIONAL:

UNIDAD 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 detalles

UNIDAD 9. LAS OBLIGACIONES MERCANTILES. 9.1. Las Obligaciones Mercantiles

UNIDAD 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 detalles

Un ejemplo de esta falacia podría ser el siguiente:

Un 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 detalles

MATEMÁTICA CPU Práctica 1 NÚMEROS REALES ECUACIONES E INECUACIONES REPRESENTACIONES EN LA RECTA Y EN EL PLANO

MATEMÁ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 detalles

Alberto quiere que lo acompañes al concierto.

Alberto 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 detalles

Capítulo 5 IDENTIFICADORES, VARIABLES Y CONSTANTES. Presentación resumen del libro: "EMPEZAR DE CERO A PROGRAMAR EN lenguaje C"

Capí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 detalles

PROGRAMACIÓN ALGORITMOS y DIAGRAMAS

PROGRAMACIÓ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 detalles

Técnicas y Conceptos Básicos en Matemáticas

Té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 detalles

RAZONAMIENTO LÓGICO LECCIÓN 1: ANÁLISIS DEL LENGUAJE ORDINARIO. La lógica se puede clasificar como:

RAZONAMIENTO 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 detalles

1E-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 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 detalles

LÓGICA MATEMÁTICA O FORMAL O SIMBÓLICA

LÓ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 detalles

LÓGICA. LENGUAJE ARTIFICIAL Lenguajes bien definidos que poseen una estructura sintáctica clara y una operativa eficaz.

LÓ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 detalles

Introd. al Pens. Científico Nociones básicas de la lógica ClasesATodaHora.com.ar

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

2.- Elige la negación lógica de ser bello ) Ser feo ) Ser imperfecto ) No ser bello ) Ser horrible ) No ser feo

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

BASES DE DATOS TEMA 3 MODELO ENTIDAD - RELACIÓN

BASES 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 detalles

Guía para el estudiante

Guí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 detalles

CIENCIAS FORMALES CIENCIAS FÁCTICAS

CIENCIAS 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 detalles

Algebra de Boole. Algebra de Boole. Ing. José Alberto Díaz García. EL - 3307 Diseño Lógico. Página 1

Algebra 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 detalles

Lógica Proposicional. Guía Lógica Proposicional. Tema II: Operadores Lógicos

Ló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 detalles

LÓ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 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 detalles

Octubre de Proposiciones MARIA ALEJANDRA GUIO SAENZ ALEJANDRO SALAZAR ALEJANDRO BELTRAN CAMILO RIVERA SYGMA

Octubre 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 detalles

Apuntes de Lógica Matemática 2. Lógica de Predicados

Apuntes 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 detalles

Tema IV Enunciados Compuestos, Silogismos Disyuntivos e Hipotéticos

Tema 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 Á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 detalles

UNIDAD 3: LAS REGLAS DE ACENTUACIÓN DIACRÍTICA Y ACTUALIZACIÓN ORTOGRÁFICAS

UNIDAD 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 detalles

Pruebas 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 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 detalles

Límites de una función

Lí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 detalles

Lógica proposicional o Lógica de enunciados

Ló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 detalles

Pertenencia y no pertenencia

Pertenencia 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 detalles

MATEMATICA COMERCIAL

MATEMATICA 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 detalles

SUBORDINADAS ADJETIVAS

SUBORDINADAS 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 detalles

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

2: Autómatas finitos y lenguajes regulares.

2: 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 detalles

Teoría de conjuntos. Tema 1: Teoría de Conjuntos.

Teorí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