Leyes Deónticas. El cuadro de oposición deóntico
|
|
- Sofia Rivero Godoy
- hace 7 años
- Vistas:
Transcripción
1 Leyes Deónticas Importemos tautologías Así como existen leyes tautologías en el campo de la lógica proposicional, de la misma manera pueden establecerse tautologías deónticas en el dominio del razonamiento normativo. Cabe advertir, ante todo, que la lógica deóntica no reemplaza a la proposicional, sino que la incluye. Por esto todas las tautologías proposicionales constituyen también tautologías deónticas, mediante el solo requisito de sustituir las variables que en ellas aparecen (p, q, etc.) por fórmulas bien formadas del lenguaje normativo ( Pp, Oq, etc. ) La ley del tercero excluido, por ejemplo, dice que o bien es verdadera una proposición, o bien es verdadera su negación, llueve o no llueve. Como se recordará, ella puede simbolizarse así: pv p. Si sustituimos p por Pp, obtenemos una formulación deóntica del mismo principio: Pp v -Pp. Conviene recalcar aquí que, al sustituir p por Pp, de -p se obtiene -Pp, y de ninguna manera P p la negación debe ocupar el mismo lugar que tenía en la fórmula originaria. La nueva fórmula señala que una acción está permitida, o bien no lo está: o se puede estacionar en las avenidas o no se puede, pero no existe una tercera alternativa. También puede elegirse algún otro operador: Ph p v -Ph p (matar está prohibido o no lo está). El del tercero excluido es sólo un caso: la sustitución puede hacerse en todas las leyes de la lógica proposicional, y en cada caso la variable puede reemplazarse por una fórmula deóntica simple (Pp, Op) o compleja, como (Op. Pq) =Pr v Oq). Según puede observarse, el método para importar tautologías proposicionales a la lógica deóntica no es otro que nuestra vieja conocida, la regla de sustitución. Hemos de recordar, empero, que la regla de sustitución contiene un caso especial privilegiado: el intercambio. Esto ocurre también en el paso de la lógica proposicional a la deóntica: cualquier componente proposicional de una fórmula deóntica puede intercambiarse por un equivalente, sin alterar el valor de la fórmula inicial. Así, Op equivale a O- -p, ya que p equivale a - -p por la ley de la doble negación. Ahora bien, existe asimismo un repertorio de tautologías que sólo pertenecen a la lógica deóntica y que no son, por así decirlo, importadas de la lógica proposicional. A ellos dedicaremos ahora nuestra atención, ya que las anteriores se presumen suficientemente conocidas. El cuadro de oposición deóntico Al estudiar las modalidades aléticas hemos examinado algunas relaciones existentes entre ellas, y establecimos el cuadro de oposición que las representaba. La lógica normativa también cuenta con un cuadro similar, en el que se indican gráficamente algunas de las relaciones entre modalizadores deónticos. Op contrariedad Ph p
2 Pp subcontrariedad P -p La línea horizontal superior representa la ley de contrariedad, que vincula como contrarios a Op y a Ph p ; la horizontal inferior simboliza la ley de sub-contrariedad (Pp y P p son subcontrarios ); las verticales, en la del lado izquierdo se encuentra la sub-alternación con dirección de Op a Pp en una sola dirección. Y en el lado derecho la sub-alternación, en una sola dirección de Ph p a P p ; En líneas inclinadas, en doble dirección se entre cruzan las contradicciones, es decir se contradicen Op con P p y Pp con Ph p Las verticales, las leyes de sub-alternación, donde Op es subalternante de Pp y Ph p lo es de P p, y las diagonales, las de contradicción, que establecen la incompatibilidad entre Op y P p y entre Ph p y Pp, así como entre sus respectivas negaciones. El cuadro de oposición indica la existencia de cierto repertorio básico de tautologías deónticas que no provienen de la lógica proposicional. Pero entonces, de dónde salen, y por qué son tautologías? Esto es lo que tendremos que demostrar ahora. El principio de sub-contrariedad En nuestras demostraciones contaremos con un sólido instrumento: las tautologías importadas. Pero, además, necesitamos un punto de partica, una cabeza de playa en el territorio deóntico. Es decir, un axioma que nos permita deducir las demás leyes. Seguiremos para esto a Von Georg H Wright, quien tiene un ensayo de lógica deóntica y la teoría general de la acción. México, Y tomaremos como axioma el principio de sub-contrariedad: Pp v P-p (por ejemplo, está permitido apostar o bien está permitido no apostar). Por tratarse de un axioma no corresponde probarlo dentro del sistema; pero es posible formular una justificación racional y hasta intuitiva de tal principio. En efecto, lo que esta ley sostiene es que no todo puede estar prohibido. Alguna vez se ha visto en esta expresión el requisito de un mínimo de libertad (esto es, de existencia de actos facultativos dentro del sistema); pero tal cosa no es, en rigor, estrictamente necesaria: nuestro sistema deóntico nos permitirá simbolizar, del mismo modo, un orden normativo en que la libertad brille por su ausencia. Supongamos que me prohíben usar sombrero: si el orden conserva un mínimo de racionalidad, me estará permitido andar descubierto. Y si me prohíben no usar sombrero (es decir, me obligan a usarlo), tendrán que permitirme que lo use. Naturalmente, también puede ser que un legislador menos proclive a fastidiar a sus semejantes me permita tanto usar sombrero como no usarlo (con lo que el acto deviene libre o, para decirlo con mayor propiedad, facultativo). Pero, aunque el legislador no desee dejarme margen alguno de libertad, al menos deberá permitirme que cumpla con mism obligaciones y permitirme que no realice las conductas prohibidas. Esto es, si pretende que las normas motiven mi conducta o sirvan al menos para distinguir mis acciones lícitas de mis acciones ilícitas. Tal es, precisamente, el sentido de la ley de sub-contrariedad: dada una acción determinada (p), o bien está permitido cumplirla (Pp) o bien está permitido omitirla (P p). Sin excluir, por supuesto, la posibilidad de que tanto la acción como su omisión estén igualmente permitidas.
3 Contrariedad Tenemos, pues, nuestro axioma: 1) Pp v P p Como sabemos, la disyunción es conmutativa: la ley de conmutatividad de la lógica proposicional permite varias el orden de los disyuntos sin modificar el valor de la disyunción: (p v q ) = ( q v p ) Esto nos lleva a: 2) P p v Pp La ley de Morgan permite convertir una disyunción en conjunción mediante el uso de negaciones: ( p v q ) = - (-p. q ). Por este medio obtenemos: 3) - (-P p. Pp ) Pero, por interdefinibilidad de operadores deónticos, -P p = Op, y -Pp = Ph p. Así: 4) - ( Op. Ph p ) Hemos obtenido, como teorema, la ley de contrariedad deóntica, que afirma que un mismo acto no puede ser a la vez obligatorio y prohibido. Sub alternación Volvamos ahora a nuestro axioma: 1) Pp v P p Como en el caso anterior, conmutamos: 2) P p v Pp Ahora bien, la ley de definición del condicional indica que la disyunción equivale al condicional con el antecedente negado: (p v q ) = (-p = q ). Así: 3) -P p = Pp Finalmente, por interdefinibilidad de operadores, obtenemos: 4) Op = Pp Que es una de las leyes de sub-alternación deóntica: lo que es obligatorio está permitido (por ejemplo, si me obligan a pagar las deudas, me estará permitido pagarlas). De modo parecido puede demostrarse como teorema la otra ley de sub-alternación: 1) Pp v P -p Sin usar la conmutación, transformamos la fórmula en un condicional: 2) - Pñ = P p y por interdefinibilidad, llegamos a:
4 3) Ph p = P p que indica que si algo está prohibido, entonces está permitido omitirlo (por ejemplo, si fumar está prohibido, no fumar está permitido). Contradicción Veamos ahora las leyes que nos faltan para completar el cuadro de oposición. Por interdefinibilidad de operadores sabemos que: 1) Op = -P p y también recordamos que una teutología proposicional (la definición del bicondicional) indica que (p = q ) = (p = q) De este modo: 2) Op = -P p Pero otra ley proposicional (la definción del condicional) muestra que un condicional puede transformarse en conjunción: (p = q ) = -(p. q). De aquí se sigue: 3) -(Op. - - P p) La doble negación se suprime. Por lo tanto; 4) - ( Op. P p) que es una de las leyes de contradicción deóntica. Del mismo modo puede demostrarse la otra ley de contracción: 1) Ph p= -Pp por interdefinibilidad de operadores 2) Ph p = -Pp por definición del bicondicional 3) -( Ph p. - - Pp) por definición del condicional. 4) - ( Ph. Pp) por doble negación, con lo que hemos obtenido la ley que buscábamos. Las leyes de contradicción, pues, enuncian que una acción no puede ser obligatoria cuando se permite su omisión, y que tampoco puede estar a la vez prohibida y permitida: si es obligatoria pagar las deudas, no puede estar permitido no pagarlas; y si está prohibido fumar no puede estar a la vez permitido hacerlo. La formulación de las leyes de contradicción: - (Op. P p) - (Ph p. Pp ) se parece mucho a la de la ley de contrariedad: - (Op. Ph p) Esto puede suscitar alguna perplejidad, ya que la contrariedad y la contradicción se diferencian precisamente en un punto que no aparece en esas fórmulas: dos proposiciones contrarias pueden ser ambas falsas, en tanto de dos contradictorias una y sólo una ha de ser verdadera. Pero es preciso aplicar aquí lo que dijimos en el capítulo anterior, al tratar sobre la contradicción. Una formulación completa de la relación de contradicción: Op /= P p Ph p /= Pp excluido: incluiría también la versión deóntica de la ley proposicional del tercero Op v P p
5 Ph p v Pp con lo que formularíamos dos leyes combinadas en lugar de una. El operador F Conviene aquí retomar una idea que hemos mencionado al justificar extra-sistemáticamente la ley de sub-contrariedad: la de los actos facultativos. Cuando en el lenguaje corriente hablamos de una conducta permitida, damos a esta palabra un significado más fuerte que el que le atribuye el lenguaje de la lógica deóntica: generalmente queremos decir que está permitido tanto cumplir la acción como omitirla. En el uso común (y aun en el de los abogados), permitir contraer matrimonio significa que uno puede casarse si lo desea, pero que también, si tal es su decisión le está permitido observar una conducta más prudente. En nuestro sistema, las acciones que están permitidas, en ese sentido bidireccional de la permisión se llamarán facultativas. Pero hay que aclarar que, cuando decimos de una acción que está permitida (Pp), sólo queremos afirmar que está permitido cumplirla, sin abrir juicio sobre su omisión: si la omisión está también permitida, la conducta será facultativa: si la omisión está prohibida, la acción resultaría, en definitiva, obligatoria. Estas precisiones nos permiten introducir el operador F, que algunos autores utilizan para las acciones facultativas. Su definición puede simbolizarse así: Fp = (Pp. P p) Es decir que una acción es facultativa si (y solo si) está permitido cumplirla y también está permitido omitirla. De los cuatro operadores deónticos que hemos estudiado, este es el único cuya interdefinibilidad es compleja: puede definirse en términos de permisión (como lo hemos hecho); pero para eso no puede usarse una fórmula simple (atómica), sino una conjunción de dos fórmulas (fórmula compuesta o molecular). También podríamos definir el operador F en términos de obligación: Fp = ( -Op - -O p ) O bien en términos de prohibición: Fp = ( -Ph p. Ph -p ) Pero ninguno de los restantes operadores puede definirse por F sin el auxilio de algún otro. Esto ocurre porque Fp dice algo de p y algo de -p, en condiciones tales que el carácter deóntico de la acción no se deduce lógicamente del de la omisión, ni viceversa (al contrario de lo que ocurría, por ejemplo, con Op, donde la prohibición de p se deduce de la obligatoriedad de p ).
6
Calificación normativa de las conductas complejas
Calificación normativa de las conductas complejas Se ha analizado hasta ahora fórmulas deónticas tales como Pp, O q, -Ph p, etc., en las que lo afectado por el operador es la descripción de una conducta,
Operadores Modales. Modalidades aléticas
Operadores Modales. Modalidades aléticas Modalidades. En la lógica proposicional usamos letras minúsculas ( p, q, r, etc.), a las que llamamos variables, para representar proposiciones. Estas proposiciones
Introducció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í
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
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;
Definición 1.3. La disyunción de dos oraciones p y q es la oración p o q. La
Capítulo 1 Lógica 1.1. Oraciones Definición 1.1. Una oración es un enunciado que podemos clasificar como cierta o falsa, pero no de ambas. Toda oración tiene un bien definido valor de veracidad: es cierta
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
2.5 Los argumentos: premisas y conclusiones
Los argumentos: premisas y conclusiones 29 Continúa 2. Realizar traducción lógica. Como se observa, las proposiciones p y q están negadas, por lo que su traducción lógica es: p q 3. Obtener la cantidad
Ló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
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
Tabla 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ó
Ampliación Matemática Discreta. Justo Peralta López
Justo Peralta López UNIVERSIDAD DE ALMERíA DEPARTAMENTO DE ÁGEBRA Y ANÁLISIS MATEMÁTICO 1 Introducción 2 Axiomas y reglas de inferencia Reglas de la impliación, conjunción y disyunción 3 Reglas derivadas
Demostración Contraejemplo. Métodos Indirectos
DEMOSTRACION Una demostración de un teorema es una verificación escrita que muestra que el teorema es verdadero. Informalmente, desde el punto de vista de la lógica, una demostración de un teorema es un
TEMA 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
TEMA II. 1.1 Negación La negación es la inversa de los valores de verdad de una declaración como se muestra en la figura: Negación
TEMA II 1. APLICACIONES PRACTICAS DE LOGICA SIMBOLICA Y ÁLGEBRA DE PROPOSICIONES La proposición lógica hace más fácil y efectiva la manipulación de valores de verdad entre proposiciones. Las tablas de
Coordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo. Contenidos
Coordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo Complementos Contenidos Clase 1: Elementos de lógica: Conectivos, tablas de verdad, tautologías y contingencias.
REGLAS Y LEYES LOGICAS
LOGICA II REGLAS Y LEYES LOGICAS Una regla lógica, o regla de inferencia (deductiva), es una forma válida de razonamiento que es empleada para inferir deductivamente ciertos enunciados a partir de otros.
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
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:
Tema 2: Teoría de la Demostración
Tema 2: Teoría de la Demostración Conceptos: Estructura deductiva Teoría de la Demostración Sistemas axiomáticos: Kleene Fórmulas válidas Teorema de la Deducción Introducción a la T. de la Demostración
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
LOGICA MATEMATICA. Utilizando esas definiciones y las leyes de lógica matemática, demostrar las siguientes tautologías:
LOGICA MATEMATICA Utilizando esas definiciones y las leyes de lógica matemática, demostrar las siguientes tautologías: 1 ) q p q p ( q ) p ( Definición ) q p ( Doble Negación ) p q ( Conmutatividad ) (
El 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
Licenciatura en Ingeniería en Sistemas Inteligentes
Universidad Autónoma del Estado de México Unidad Académica Profesional Nezahualcóyotl Licenciatura en Ingeniería en Sistemas Inteligentes Unidad de aprendizaje: Lógica Matemática Inferencia Lógica Dra.
Ló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
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
Tema de la clase: Lógica Matemática. Introducción
Tema de la clase: Lógica Matemática Instructor: Marcos Villagra Clase # 01 Escriba: Sergio Mercado Fecha 30/10/2017 Introducción Una de las características principales que distinguen a las matemáticas
MEL* Sistemas formales y sistemas lógicos 1
2.1.1 2 2a (x y) z : z x y 2b x y x y : x y x y 2.1.2 1 1a Hay que expresar cada uno de los operadores de la tabla de 2.1.2.3 en términos de y y las variables x, y. Nótese que se describen como operadores
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. 5 Nombre: Tablas de verdad Objetivo Al término de la sesión el participante aplicará los conceptos de lógica a través
El 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,
LEYES, ESTRUCTURAS BÁSICAS Y COCIENTES LÓGICA DE PROPOSICIONES
Todos los derechos de propiedad intelectual de esta obra pertenecen en exclusiva a la Universidad Europea de Madrid, S.L.U. Queda terminantemente prohibida la reproducción, puesta a disposición del público
MATEMÁTICAS DISCRETAS. UNIDAD1 Lógica y Demostraciones
MATEMÁTICAS DISCRETAS UNIDAD1 Lógica y Demostraciones Para el estudio de esta unidad debe ubicarse en el Capítulo 1 del texto base, lea atentamente cada uno de los subtemas indicados en el índice de la
2. 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,
Lógica Proposicional. Sergio Stive Solano Sabié. Marzo de 2012
Lógica Proposicional Sergio Stive Solano Sabié Marzo de 2012 Lógica Proposicional Sergio Stive Solano Sabié Marzo de 2012 Proposiciones Definición 1.1 Una proposición (o declaración) es una oración declarativa
Apéndice 1 Reglas y leyes lógicas
1 Apéndice 1 Reglas y leyes lógicas 1. Reglas lógicas Tal como ya se ha visto, una regla lógica, o regla de inferencia (deductiva), es una forma válida de razonamiento que es empleada en cada caso para
Lógica de Proposiciones y de Predicado
Lógica de Proposiciones y de Predicado Franco D. Menendez LABIA FACET - UNT Contenido de la Materia UNIDAD TEMÁTICA 1: SINTAXIS Y SEMANTICA DEL LENGUAJE FORMAL»SEMÁNTICA: Noción General. Definición Algebraica.
Matemáticas Discretas TC1003
Matemáticas Discretas TC1003 Lógica : Proposiciones, Conectivos, Tablas de Verdad y Departamento de Matemáticas / Centro de Sistema Inteligentes ITESM Lógica Matemáticas Discretas - p. 1/43 En esta lectura
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
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
Ló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
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
Ló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
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
APENDICE REGLAS Y LEYES DE LA LOGICA DE PRIMER ORDEN
LOGICA (FCE-UBA) APENDICE REGLAS Y LEYES DE LA LOGICA DE PRIMER ORDEN Una regla lógica, o regla de inferencia (deductiva), es una forma válida de razonamiento que es empleada para inferir deductivamente
Lógica proposicional. Semántica Lógica 2018
Lógica proposicional. Semántica Lógica 2018 Instituto de Computación 20 de marzo Instituto de Computación (InCo) Lógica proposicional. Semántica Curso 2018 1 / 1 Significado de una fórmula proposicional
Tautología, contradicción y contingencia: la implicación formal
Tautología, contradicción y contingencia: la implicación formal Tautología: Al analizar las tablas de verdad de las conectivas hemos observado que la verdad de una fórmula molecular depende del valor de
Mó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)
RAZONAMIENTO MATEMÁTICO
RAZONAMIENTO MATEMÁTICO I. LÓGICA PROPOSICIONAL A. Proposiciones B. Conectivos proposicionales B.. Negación B.2. Conjunción B.3. Disyunción B.4. Condicional B.5. Bicondicional B.6. Otros conectivos C.
Algebras booleanas. B2) Leyes Distributivas. Cada operación es distributiva con respecto a la otra:
Algebras booleanas AXIOMAS DEL ALGEBRA DE BOOLE Sea B un conjunto en el cual se han definido dos operaciones binarias, + y * (En algunos casos se definen en términos de y respectivamente), y una operación
Ló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
Un 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
TEMA I INTRODUCCIÓN A LA LÓGICA
TEMA I INTRODUCCIÓN A LA LÓGICA Policarpo Abascal Fuentes TEMA I Introducción a la lógica p. 1/6 TEMA 1 1. INTRODUCCIÓN A LA LÓGICA 1.1 INTRODUCCIÓN 1.2 LÓGICA PROPOSICIONAL 1.2.1 Conexiones lógicas 1.2.2
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
La forma general de toda proposición categórica es la siguiente: cuantificador + sujeto + cópula + predicado
1.5 Proposiciones categóricas Las proposiciones categóricas son aquéllas que hacen afirmaciones incondicionales. Por ejemplo, todos los hombres son mortales es una proposición categórica, mientras que
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
Departamento de Ingeniería Matemática - Universidad de Chile
1. Lógica Ingeniería Matemática FACULTAD DE CIENCIAS FÍSICAS Y MATEMÁTICAS UNIVERSIDAD DE CHILE Introducción al Álgebra 08-1 Importante: Visita regularmente http://www.dim.uchile.cl/~algebra. Ahí encontrarás
ALGEBRA 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
Pauta 1 : Lógica Proposicional
MA1101-5 Introducción al Álgebra Profesor: Mauricio Telias Auxiliar: Arturo Merino P1. [Metódos de Demostración] Sean p, q, r, s proposiciones lógicas. Pauta 1 : Lógica Proposicional a) Demuestre mediante
Matemáticas Discretas TC1003
Matemáticas Discretas TC1003 Módulo I: s Válidos Departamento de Matemáticas ITESM Módulo I: s Válidos Matemáticas Discretas - p. 1/50 En matemáticas y en lógica un argumento no es una disputa. Más bien,
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
Matemá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
Matemáticas Discretas TC1003
Matemáticas Discretas TC1003 Módulo I: s Válidos Departamento de Matemáticas ITESM Módulo I: s Válidos Matemáticas Discretas - p. 1/50 En matemáticas y en lógica un argumento no es una disputa. Más bien,
Capítulo 3. Leyes Lógicas
Capítulo 3. Leyes Lógicas por G 3 Agosto 2014 Resumen Mostraremos en estas notas algunas de las llamadas leyes lógicas usuales, por el camino largo y aburrido, mediante tablas de verdad. Hay también una
Guía 6: Demostraciones en Cálculo Proposicional
Introducción a los Algoritmos - 1er. cuatrimestre 2012 Guía 6: Demostraciones en Cálculo Proposicional Docentes: Araceli Acosta, Mariana Badano, Javier Blanco, Paula Estrella, Pedro Sanchez Terraf, Mauricio
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
Organización de Computadoras Apunte 3: Sistemas de Numeración: Operaciones Lógicas
Organización de Computadoras 2003 Apunte 3: Sistemas de Numeración: Operaciones Lógicas Para comprender este tema, me parece apropiado que repasen el tema de cálculo proposicional introducido en el curso
Ampliación Matemática Discreta. Justo Peralta López
Justo Peralta López UNIVERSIDAD DE ALMERíA DEPARTAMENTO DE ÁGEBRA Y ANÁLISIS MATEMÁTICO 1 Introducción 2 Definición semántica de las proposiciones 3 Diagrama de valores de certeza 4 Evaluación de fórmulas.
Ló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
Matemá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.
Capítulo 4. Lógica matemática. Continuar
Capítulo 4. Lógica matemática Continuar Introducción La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y técnicas determina si un teorema es falso o verdadero, además
03. Introducción a los circuitos lógicos
03. Introducción a los circuitos lógicos 1. LÓGICA DE PROPOSICIONES...2 PROPOSICIÓN...2 CONECTORES U OPERADORES LÓGICOS...2 Tablas de...2 Tautología...2 Contradicción...2 2. ÁLGEBRA DE BOOLE...3 AXIOMAS
Clase 5 1. Lógica proposicional. Razonamientos
Clase 5 1 Lógica proposicional Razonamientos Clase 5 2 LOGICA - INTRODUCCION!OBJETIVO Uno de los fundamentales objetivos ha sido el estudio de las DEDUCCIONES, RAZONAMIENTOS O ARGUMENTOS LOGICA DEDUCTIVA
Departamento 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
Una proposición es una afirmación que debe ser cierta o falsa (aunque no lo sepamos).
Lógica intuitiva Una proposición es una afirmación que debe ser cierta o falsa (aunque no lo sepamos). A : Las águilas vuelan B : El cielo es rosa C : No existe vida extraterrestre D : 5 < 3 E : Algunos
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
Material educativo. Uso no comercial 1.4 MÉTODOS DE DEMOSTRACIÓN Método directo o Método de la hipótesis auxiliar
1.4 MÉTODOS DE DEMOSTRACIÓN Designamos en esta forma las estrategias o esquemas más generales que identificamos en los procesos deductivos. Estos modelos están fundamentados lógicamente en teoremas o reglas
Lógica Proposicional. Significado de una Fórmula Proposicional
Proposicional Semántica Semántica Proposicional - Significado de una Fórmula Proposicional El significado de una proposición está dado por su valor de verdad (o sea, si es Verdadera o Falsa) que se obtiene
Sintaxis LÓGICA COMPUTACIONAL CÁLCULO DE PROPOSICIONES. Funciones boolenas. Semántica
Proposiciones atómicas y compuestas Sintaxis LÓGICA COMPUTACIONAL CÁLCULO DE PROPOSICIONES Francisco Hernández Quiroz Departamento de Matemáticas Facultad de Ciencias, UNAM E-mail: fhq@cienciasunammx Página
Guía de estudio Algunos aspectos de lógica matemática Unidad A: Clases 1 y 2
Guía de estudio Algunos aspectos de lógica matemática Unidad A: Clases 1 y 2 Camilo Ernesto Restrepo Estrada, Félix Ruiz de Villalba, Lina María Grajales Vanegas y Sergio Iván Restrepo Ochoa *. 1. Lógica
Algoritmos y Estructura de Datos I
Algoritmos y Estructura de Datos I Lógica proposicional Agustín Martinez Lunes 27 de marzo de 2017 Menú del día Formulas y valores de verdad Relación de fuerza entre formulas Razonamientos del mundo real
Ló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
Resumen 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)
Introducción a la Lógica proposicional Tablas de Verdad y Relación de fuerza Representando el mundo real Falacias Lógica trivaluada Ejercicios
Menú del día Fórmulas bien formadas Tablas de verdad Tautologías, Contingencias y Contradicciones Relación de fuerza con Lógica proposicional. con semántica de cortocircuito Qué es la lógica proposicional?
Lógica Proposicional
Proposicional Semántica Semántica Proposicional - Significado de una Fórmula Proposicional El significado de una proposición está dado por su valor de verdad (o sea, si es Verdadera o Falsa) que se obtiene
Análisis lógico Cálculo de proposiciones
Sintaxis Semántica Sistemas de demostración Análisis lógico Cálculo de proposiciones Departamento de Matemáticas Facultad de Ciencias, UNAM E-mail: fhq@ciencias.unam.mx Página Web: www.matematicas.unam.mx/fhq
LÓGICA FORMAL TEORIAS DE PRIMER ORDEN. Sintaxis y semántica
LÓGICA FORMAL TEORIAS DE PRIMER ORDEN Sintaxis y semántica Pedro López Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid Lenguajes de primer orden 1 La lógica
Apuntes 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
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
Lógica Digital Transversal de Programación Básica Proyecto Curricular de Ingeniería de Sistemas
1 Lógica Digital 2013 Transversal de Programación Básica Proyecto Curricular de Ingeniería de Sistemas 2 La lógica es una disciplina que estudia la estructura, el fundamento y el uso de las expresiones
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
IDENTIFICACIÓ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,
2. 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á
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
Lógica de Proposiciones y de Predicado
Lógica de Proposiciones y de Predicado Franco D. Menendez LABIA FACET - UNT Contenido de la Materia UNIDAD TEMÁTICA 1: SINTAXIS Y SEMANTICA DEL LENGUAJE FORMAL»SINTAXIS: Introducción. Definición del lenguaje
MATEMÁ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
Introducción a la Matemática Discreta
Introducción a la Matemática Discreta Lógica proposicional y Álgebras de Boole Luisa María Camacho Camacho Introd. a la Matemática Discreta 1 / 25 Introducción a la Matemática Discreta Temario Tema 1.
p q p q p (p q) V V V V V F F F F V V F F F V F
3.2 Reglas de inferencia lógica Otra forma de transformación de las proposiciones lógicas son las reglas de separación, también conocidas como razonamientos válidos elementales, leyes del pensamiento,
Ejercicios de lógica
1. Sistemas formales. Ejercicios de lógica 1. Considere el siguiente sistema formal: Símbolos: M, I, U. Expresiones: cualquier cadena en los símbolos. Axioma: UMUIUU Regla de inferencia: xmyiz xumyuizuu
UNIDAD III. Módulo 12 Predicamentos y predicables ESQUEMA RESUMEN INFERENCIAS INMEDIATAS
UNIDAD III Módulo 12 Predicamentos y predicables OBJETIVO: Al concluir el estudio de este módulo el alumno: podrá analizar la diferencia que existe entre las inferencias inmediatas y el razonamiento; identificar