Lógica Proposicional 2018-03-30T16:45:17+00:00

Lógica Proposicional

Introduccion del capitulo

Este es un capitulo de los principales conceptos de lógica proposicional del curso completo de matemática básica  donde desarrollaremos toda la temática desde el concepto de proposición hasta los circuitos lógicos, este no es un capítulo cualquiera, porque le puesto dedicación a cada sección al resaltar algunas errores y malas interpretaciones que muchos libros básicos de la enseñanza superior no contemplan como en el caso de condicional material y la implicación lógica entre otros errores más.

Este curso no intenta ser el mas correcto ni tampoco intenta llevar la verdad absoluta ya que nunca estamos libre de errores, independientemente si trabajamos en libros o en blogs digitales; aunque este último tiene la suerte de lograr corregir párrafos sin desperdiciar papel o sacar nuevas ediciones como se suele hacer en libros físicos para corregir, aumentar, elminar, etc lo cual requiere de mayor inversión.

Este es el primer capítulo de matemática básica que generalmente se enseña en cursos de enseñanza superior y lo hemos listado en 15 secciones con muchos ejemplos sencillos para poder comprender con facilidad la teoria de lógica proposicional.

Es por eso que en esta oportunidad intentaré lograr un curso completo de matemática básica con la ayuda del mundo digital y lograr llegar a la mayor audiencia posible y poder responder todas su preguntas con este primer capítulo. Espero le guste mi contenido, saludos a todos.

Secciones del capítulo de lógica proposicional

El curso está desarrollado en 15 secciones en total. Al final de todas las secciones de capítulo, hay una reseña a la introducción de la lógica proposicional y su finalidad.

Proposiciones y enunciados
Lógica Proposicional

1. ¿Que Son Las Proposiciones?

Esta sección se dedica a las proposiciones lógicas, comenzaremos definiendo los enunciados abiertos, enunciados abiertos simples y el significado de las proposiciones y proposición simple o atómica y proposiciones compuesta y molecular, como también la simbolización de las proposiciones, es decir, su representación matemática de las proposiciones y terminamos con una introducción un poco informal de la descripción de los argumentos de las proposiciones que la lógica proposicional por lo general no se encarga, es decir, conceptos básicos de lógica de primer orden.

Seguir Leyendo »
Negación lógica
Lógica Proposicional

2. Negación lógica

La Negación lógica es operador lógico que cambia el valor de verdad de una proposición, a diferencia del resto de los conectivos lógicos, la negación no un conectivo ya que opera sobre una proposición, por ello también se llama operador monadico. Cambia el valor de verdad de verdadero a falso y viceversa.

Seguir Leyendo »
Conjunción Lógica
Lógica Proposicional

3. Conjunción Lógica

En esta y en las 3 siguientes secciones comenzaremos a enumerar cada uno de los conectivos lógicos que resulta ser el esqueleto de las proposiciones compuestas, y porqué no decirlo, también de algunos enunciados abiertos compuestos, cada una de ellas tiene sus propios símbolos lógicos y reglas lógicas que lo identificaran. Pero en esta sección comenzaremos con el negador lógico y la conjunción lógica.

Seguir Leyendo »
La Disyunción Lógica
Lógica Proposicional

4. La Disyunción Lógica

En esta nueva entrada, discutiremos el conectivo disyuntivo, existen dos tipos,, estos son, la disyunción inclusiva y la disyunción exclusiva. La razón de la existencia de estos dos tipos de disyuntivos es porque existen casos donde dos argumentos no pueden ser simultáneamente ser verdaderos y como también se pueden incluir las dos a la vez.

Seguir Leyendo »
condicional lógica
Lógica Proposicional

5. Condicional Lógica

En esta entrada, discutiremos un tema muy delicado, y esta es, la condicional lógica, también llamada condicional material o simplemente condicional y que tiene una propiedad débil para las demostraciones matemáticas, por ello también vamos a introducir una nueva condicional mas estricta y esta es la implicación y las diferencias entre estas dos.

Seguir Leyendo »
Conectivos Lógicos y la bicondicional
Lógica Proposicional

6. La Bicondicional

En esta entrada trataremos con un conectivo lógico importante, nos referimos a la bicondicional, la bicondicional tiene la propiedad donde sus proposiciones que la forman dependen mutuamente, por ejemplo, una proposición bicondicional de A y B es cuando “A es condición de B” y “B es condición de A” o también “si A entonces B” y “si B entonces A”, también se le conoce como doble implicación.

Seguir Leyendo »
Tabla De Verdad
Lógica Proposicional

7. Tabla De Verdad

En esta entrada describiremos el comportamiento de todos los conectivos lógicos y la negación por medio de las tablas de verdad. Estas tablas son necesarias para saber las probables combinaciones de valores de verdad de una proposición. Estas tablas solo se centran en los valores de verdad de las proposiciones sin importar el argumento correcta de las proposiciones formadas por los conectivos lógicos.

Seguir Leyendo »
Signos De Agrupación En Lógica
Lógica Proposicional

9. Signos De Agrupación En Lógica Proposicional

En esta nueva entrada, hablaremos de los signos de agrupación de los conectivos lógicos y lo obligadamente necesarios que son, también veremos como calcular todas las combinaciones posibles de los valores de verdad de más de 2 proposiciones y forma correcta de calcular todos los valores de verdad de una variable proposicional.

Seguir Leyendo »
circuitos lógicos - ciencias básicas
Lógica Proposicional

13. Circuitos Lógicos

Los circuitos lógicos en lógica proposicional representan formas esquemáticas de los esquemas moleculares en forma de circuitos en serie y en paralelo. En esta sección representaremos todos los circuitos lógicos de los conectivos lógicos y como cualquier esquema moléculas se puede reducir en circuitos lógicos en serie y en paralelo.

Seguir Leyendo »
Ejercicios Resueltos de Lógica
Lógica Proposicional

14. Ejercicios Resueltos de Lógica Proposicional

Les traemos varios Ejercicios Resueltos de Lógica Proposicional, comenzaremos con 9 ejercicios explicativos y luego con una miscelánea de ejercicios categorizados por temas según el orden de la teoría del curso reduciendo el palabreo explicativo para ahorrar tiempo.

Seguir Leyendo »

Conceptos Básicos De Lógica Proposicional

Si queremos entender ¿Qué es la lógica proposicional?, ¿que persigue la lógica proposicional?, ¿cuales son los límites de la lógica proposicional?, primero hay que entender lo que persigue la lógica en  y cómo se va estructurando para luego desarrollar un conjunto de reglas y principios que nos ayudará a dar respuestas en otras materias.

Por lo general este capitulo básico sirve para esbozar una serie de reglas prácticas e inmutables (aunque esto lo veo imposible por el teorema de incompletitud de gödel) y tener una noción de lo que es la lógica y como deberíamos de “pensar” en cuanto al desarrollo de temas y cursos subsiguientes para su posterior desarrollo.

Esta sección se puede considerar como la primera parte de los conceptos básicos de lógica proposicional, la segunda parte lo podemos encontrar en la sección de proposiciones. Comencemos con el concepto de lógica.

Lógica

Todo tiene un orden cuando es pensado, excepto la mecanica cuántica, a menos que intentes demostrar lo contrario con la teoría del “orden implicado” de David Bohm.

Sin embargo, jamas pensastes que la tierra fuera redonda cuando eras muy pequeño a menos que hayas cambiado de opinión con las raras teorias de Oliver Ibañez.

Pero de cualquier manera, siempre existe un orden natural para las cosas y nosotros debemos comprender (realmente nadie nos exige, no existe un tal “debemos”) ese proceso natural y extrapolar una interpretación al modelo estudiado. Estos modelos son creados por nuestra psique por medio de un lenguaje simbólico y semántico.

Este lenguaje es extraído del razonamiento  humano que fue “pensado” y plasmado simbólicamente en un orden definido por una serie de protocolos el cual nosotros le llamamos lógica.

Estos protocolos son el concepto que le dimos a la lógica donde su objetivo es la conclusión o la consecuencia, siendo este, el punto central que persigue la lógica. Por tanto, un concepto aproximado de la lógica, sería:

Concepto De Lógica

“La lógica es una metodología que estudia la estructura del razonamiento, donde su fin principal es obtener afirmaciones llamadas conclusiones a partir de otras afirmaciones llamadas premisas con la certeza de que si las afirmaciones son verdaderas entonces las conclusiones también deben de ser verdaderas”.

Hemos dicho que la lógica tiene como finalidad el estudio de las consecuencias o conclusiones y naturalmente también debemos saber cómo se originaron estas conclusiones, porque si no existiera las causas, tampoco las conclusiones, por tanto, la lógica estudia estudia tanto los resultados como las distintas condiciones que lograron estos resultados.

Si bien, la lógica es una rama de la filosofía, su relación íntima con las matemáticas a nivel simbólico y abstracto dio lugar a la lógica matemática.

¿que es la LÓGICA proposicional?

La lógica de proposiciones o calculo proposicional, rama de la lógica matemática, también conocido como la lógica de orden cero, estudia las proposiciones de la manera más general posible, es decir, no se centra conceptualmente en la estructura de los argumentos ni su formalización como si lo hace la lógica de primer orden. El punto aquí es la relación básica de las proposiciones con otras proposiciones por medio de conectivas lógicas y la actividad o comportamiento de la validez de estas, en este caso de las proposiciones.

Esta rama se centra solo en la estructura que rodea de las proposiciones sean simples o compuestas, pero no en la estructura de los argumentos que las proposiciones lleva, los toma de manera muy general, las únicas variables semánticas formalizadas son solo el de ser verdadero o falso y la semántica de los argumentos se toma de manera intuitiva y sin ninguna formalización.

El objetivo de esta rama es presentar es presentar los principios básico del razonamiento, para ser más exactos, tan solo muestra una nocion de como uno tiene que razonar, pero no analizar la estructura de los argumentos de las proposiciones, digamos que la lógica proposicional es un “demo” de la lógica matemática para luego entrar a la lógica de primer orden donde se hace hincapié en la estructura de los argumentos con mayor énfasis y formalización.

Alfabeto De La Lógica proposicional

Por lo general, en un curso básico de lógica proposicional, los argumentos son representados muy informalmente por letras minúsculas, la única formalidad semántica de las proposiciones es de ser verdadero o falso, aquí presentamos un ejemplo de conjunto de proposiciones:

letra P mayúscula = {Proposición pProposición qproposición r, … p sub 1q sub 2r sub 3, … p sub nq sub nr sub n, …}

Cada uno de estas proposiciones debe estar conectado por un solo conectivo lógico entre proposición y proposición junto con la negación, estos conectivos son:

 = {símbolo de la conjunciónflecha que apunta a la derechasímbolo de la bicondicionalsímbolo de negación}

Otro punto importante es la utilización de los signos de agrupación para no caer en ambigüedades lógicas cuando queremos diseñar un esquema molecular, los signos de agrupación más usados son “( .. )”, “[ … ]”, “{ … }”. Un ejemplo de proposición formada por otras proposiciones es:

Este tipo de proposiciones simbólicas se les llama esquemas moleculares, para que estos esquemas tengan un sentido lógico, tiene que seguir un orden definido que no hemos explicado aquí, porque podríamos haber escrito así:

proposición r (  flecha que apunta a la derecha Proposición q [ [ flecha que apunta a la derecha Proposición p

Para lograr superar este tipo de ambigüedades, las matemáticas han definido lo que llama “fórmulas bien formadas” que ya en su momento hablaremos de ello, por lo pronto, téngase en cuenta esta manera intuitiva de construir esquemas moleculares como el ejemplo anterior.

¿Por que la lógica proposicional adopta este nombre?

La lógica proposicional adopta este nombre porque trabaja indirectamente con argumentos que pueden ser verdaderas o falsas, este tipo de argumentos de manera generalista se les llama variables proposicionales, estas variables tienen como único valor semántico el de ser verdadero o falso.

El estudio de la estructura de los argumentos son omitidos en la lógica proposicional, ya que solo son tomados de manera generalizada, esto trae una serie de consecuencias que lo veremos en el siguiente subtitulo.

También adopta otros nombres como lógica de enunciados o lógica de orden cero, este último lo aclararemos en su respectivo momento.

El lenguaje de la lógica proposicional

En toda gramática, siempre  las afirmaciones se les asigna un significado, en lógica proposicional precisamente las proposiciones adoptan un significado llamada semántica y por lo general tiene que estar representado o sustituido por un valor diferente a su representación simbólica. 

Sin embargo, en el transcurso del curso de lógica proposicional, solo nos centraremos en dos únicos valores semánticos sin importar el argumento del enunciado y estos valores son el de “Verdadero” o “Falso” como ya mencione anteriormente.

En una lógica más estricta, se intenta formalizar el aspecto simbólico de las proposiciones, teniendo muy en cuenta la estructura de los argumentos, de esto se encarga la lógica matemática, para ser mas preciso, la lógica de primer orden.

Pero también existen una serie de reglas para definir el aspecto semántico muy estrictamente hablando, donde existe un conjunto definido de signos y una estructura gramatical simbólica como soporte de un universo de discurso donde este cumple una serie de propiedades para que un enunciado tenga las condiciones suficiente y necesarias para que sea lógicamente entendible en las matemáticas.

Esto se verá en un curso avanzado de lógica matemática en su momento.

Validez lógica y el valor semantico

Dicen que la lógica tiene como fin particular distinguir un argumento correcto del incorrecto. Quiero aclarar un punto, uno de los problemas que se ha metido la lógica matemática al analizar los argumentos correctamente planteados es distinguir entre su símbolo y su signo. 

Por ejemplo, te hago la siguiente pregunta ¿que te viene a la mente cuando menciono “mesa“?, pensarán en aquel mueble con cuatro patas donde por lo general se almuerza con toda la familia, amigos o familiares, donde haces tus tareas o cualquier otro deber en particular. Esta relación con la palabra mesa se le llama signo o más precisamente semántica y el símbolo sería la palabra mesa, aquella palabra que solo esta formado por las letras “m, e, s, a”, a esto lo llamamos sintáctica. 

Y hago mencion de ello porque un esquema molecular, por ejemplo: Si p entonces (q y r), puede ser correctamente valida a nivel sintáctico, pero no a nivel semántico, me explico, un esquema molecular bien escrita no indica que el argumento de tal fórmula tenga un sentido lógico.

Pueda que el argumento del esquema Si p entonces (q y r) tengan como significados finales como ” si 1+1 = 2, entonces la luna es cuadrada y yo soy superman”, esto a nivel semántico es un argumento incorrecto, sin ningún sentido lógico y fuera de lugar.

Cuando la lógica proposicional trabaja solo con proposiciones simbólicas como Proposición pProposición q o proposición r; no toma muy en cuenta los argumentos de las proposiciones por lo que cualquier argumento ilógico a nivel semántico resulta ser correcto a nivel sintáctico, esto es, que las esquemas molecular en la lógica proposicional solo toma en cuenta el aspecto simbólico de las proposiciones.

La lógica proposicional solo se limita a tomar como únicos valores semánticos los valores de verdad de las proposiciones como verdadera o falsa y las combinaciones de ellas sin importar el sentido semántico de las proposiciones, es decir, de su argumento.

Es por ello que se quiera o no, es necesario siempre comenzar por cuestiones inicialmente intuitivas, en matemáticas, el intuicionismo es la base clásica principal para iniciar, refutar, añadir un argumento en una teoría matemática, si bien al inicio puede traer contradicciones, esto se soluciona cuando se busca la formalización de la teoría.

La lógica matemática se da cuenta de esto punto, y toma muy en cuenta la semántica de las proposiciones, el aspecto intuitivo (semántico) y lo formaliza, por ejemplo, dado el símbolo proposicional Proposición p, por sí solo no nos dice nada, las únicas propiedades que puede tener este símbolo proposicional es de verdadero o falso, si queremos darle un valor semántico cualquiera, en lógica matemática se le puede simbolizar así representacion semantica de la proposición p, luego, analizar los argumentos y construir cuáles son las estructuras de los argumentos, esto se llama lógica de primer orden, esto lo veremos a continuación.

Breve paseo de la lógica proposicional

El capítulo comprende un total de 15 secciones que puedes visualizar al inicio de la pagina piloto. Comencemos por esbozar el concepto de proposición, un tipo de enunciado aseverativo muy usado en todas las áreas de la matemática, y más que eso, es el medio principal donde las matemática comunica todo el estudio de las entidades abstractas gracias a las relaciones, propiedades, axiomas, teoremas que conocemos hoy en día.

El concepto de proposición

Las proposiciones son enunciados aseverativos, es decir, afirman o niegan algo, pero con una característica más, se pueden catalogar como verdaderas o falsas, las proposiciones en lógica se simbolizan generalmente con letras minúsculas comenzando por las letras Proposición pProposición qproposición r, etc.

Las proposiciones simples son aquellas donde se realiza un juicio de valor a un sujeto, objeto o un suceso y las proposiciones compuestas son aquellas donde existen 2 o mas juicios de valor.

La simbolización de las proposiciones tiene un límite, la logica proposicional no realiza ninguna diferencia si la proposiciones simbolizados por las letras Proposición pProposición qproposición r, u otros, indican si son o no proposiciones simples o compuestas.

El otro limite de la lógica proposicional es que toma en cuenta mucho la intuición, no toma en cuenta la formalización del contenido de los argumentos, y solo se basa exclusivamente si el argumento puede ser verdadero o falso. Por ejemplo, podemos unir múltiples proposiciones simples o compuestas de diferentes contextos que incluso no tengan nada que ver las proposiciones entre si para crear un argumento lo cual puede llevar a un sinsentido.

Principales Conectivos lógicos

Cuando una proposición tiene mas de un juicio de valor, deben estar conectados por conectivos significativos para darle un sentido mas amplio al argumento, estos adoptan el nombre de conectivos lógicos, también son llamados conectiva lógica o simplemente conectiva (o conectivo), por lo general, trabajamos con 6 tipos de conectivos y cada uno de sus símbolos en lógica son la negación ” ~” o “¬”, la conjunción “⋀”, la disyunción inclusiva “⋁”, la disyunción exclusiva “” o “” o “↮ bicondicional opuesta“, la condicional “” y bicondicional ““. Veamos cada una de ellas.

negación lógica

La negación o negador no es propiamente dicho un conectivo lógico, opera a una única proposición (sea simple o molecular) cambiado el valor de verdad de la misma, en este caso, si la proposición es verdadera, la transforma en falsa y viceversa. Su símbolo o notación característica es “símbolo de negación ” y para una proposición “p” se lee “no p“, su tabla de verdad es:

 Proposición psímbolo de negación Proposición p
V representa el conjunto de valores de verdadf mayuscula
f mayusculaV representa el conjunto de valores de verdad

Si bien, la negación no es un conectivo lógico, pero transforma una proposición simple en una compuesta, una proposición simple por lo general son enunciados aseverativos afirmativos, los enunciados aseverativos negativos son proposiciones compuestas solo que han sido negadas lógicamente.

Conjunción lógica

Es un conectivo lógico que conecta dos variables proposicionales y se encuentra generalmente simbolizado por “símbolo de la conjunción “, las condiciones de una proposición conjuntiva sucede cuando sus variables proposicionales que la conecta es es verdadera si cada de ellas es verdadera, en caso contrario, son falsas. Su tabla de verdad es: 

 Proposición pProposición qProposición p símbolo de la conjunción  Proposición q
V representa el conjunto de valores de verdadV representa el conjunto de valores de verdadV representa el conjunto de valores de verdad
V representa el conjunto de valores de verdadf mayusculaf mayuscula
f mayusculaV representa el conjunto de valores de verdadf mayuscula
f mayusculaf mayusculaf mayuscula

Disyunción Inclusiva

La disyunción lógica es un conectivo que tiene como propiedad tomar como verdadera una proposición si por lo menos una variable proposicional es verdadera, si las dos son falsas, entonces la proposición inclusiva es falsa. Se encuentra simbolizado por “simbolo de la disyunción inclusiva o débil” y su tabla de verdad para dos proposiciones es Proposición p y Proposición q es:

 Proposición pProposición qProposición p simbolo de la disyunción inclusiva o débil Proposición q
V representa el conjunto de valores de verdadV representa el conjunto de valores de verdadV representa el conjunto de valores de verdad
V representa el conjunto de valores de verdadf mayusculaV representa el conjunto de valores de verdad
f mayusculaV representa el conjunto de valores de verdadV representa el conjunto de valores de verdad
f mayusculaf mayusculaf mayuscula

Esta conectiva nos dice que un argumento Proposición p y Proposición q es verdadero si Proposición p es verdadera o Proposición q es verdadera o ambos, Hay una mayor libertad de elección que en la conjunción lógica.

Disyunción Exclusiva

Esta es opuesta a la bicondicional lógica, y nos dice que una proposición Proposición p y Proposición q es verdadera si y sólo si uno de sus variables proposicionales es verdadera, es simbolizado por “Símbolo de la disyunción inclusiva”  o también por “↮ bicondicional opuesta” por ser opuesta a la bicondicional lógica, su tabla de verdad es:

 Proposición pProposición qProposición p Símbolo de la disyunción inclusiva Proposición q
V representa el conjunto de valores de verdadV representa el conjunto de valores de verdadf mayuscula
V representa el conjunto de valores de verdadf mayusculaV representa el conjunto de valores de verdad
f mayusculaV representa el conjunto de valores de verdadV representa el conjunto de valores de verdad
f mayusculaf mayusculaf mayuscula

Para una proposición Proposición p y Proposición q, la disyunción exclusiva nos dice que o Proposición p es verdadero o Proposición q es verdadero pero no ambas. Ejemplos: “o hace frío o hace calor”. 

Condicional material o lógica

Es uno de los conectivos lógicos mas difíciles de explicar porque se confunde mucho con la implicación lógica, pero esas diferencias lo puedes ver en nuestra sección 4 de la condicional material.

La condicional lógica es un conectivo que une dos variables proposicionales por medio del símbolo “flecha que apunta a la derecha” que básicamente es una flecha y se escribe Proposición p flecha que apunta a la derecha Proposición q donde Proposición p es el antecedente y Proposición q es el consecuente, la restriccion de la condicional dice que es falsa únicamente cuando su antecedente es verdadero u su consecuente es falso, para el resto de las combinaciones, es verdadera. Su tabla de verdad de la condicional es:

 Proposición pProposición qProposición p flecha que apunta a la derecha Proposición q
V representa el conjunto de valores de verdadV representa el conjunto de valores de verdadV representa el conjunto de valores de verdad
V representa el conjunto de valores de verdadf mayusculaf mayuscula
f mayusculaV representa el conjunto de valores de verdadV representa el conjunto de valores de verdad
f mayusculaf mayusculaV representa el conjunto de valores de verdad

Hay 3 tipos de condicionales, de las cuales, solo una de ella es equivalente a la proposición condicional Proposición p flecha que apunta a la derecha Proposición q, esto son:

  • Proposición recíproca: Proposición q flecha que apunta a la derecha Proposición p
  • Proposición inversa: símbolo de negación Proposición p flecha que apunta a la derecha símbolo de negación Proposición q
  • Proposición contrarrecíproca: símbolo de negación Proposición q flecha que apunta a la derecha símbolo de negación Proposición p

No siempre una proposición condicional tiene una proposición recíproca o inversa, pero siempre tiene una proposición contrarrecíproca, de hecho, son equivalentes y simplemente se escribe Proposición p flecha que apunta a la derecha Proposición q Símbolo de identidad símbolo de negaciónProposición q flecha que apunta a la derecha símbolo de negaciónProposición p.

bicondicional lógica

La bicondicional lógica es un conectivo lógico que también uno dos variables proposicionales, pero con la propiedad de que si las dos son verdaderas o falsas a la vez, entonces la proposición bicondicional es verdadera, si las variables proposicionales tienen valores de verdad opuestos, entonces la bicondicional es falsa.

Por lo general se encuentra simbolizado por dos flechas unidas por un guión así “símbolo de la bicondicional“, una proposicion bicondicional de dos variables Proposición p y Proposición q se representa así Proposición p símbolo de la bicondicional Proposición q y su tabla de verdad de la bicondicional es:

 Proposición pProposición qProposición p símbolo de la bicondicional Proposición q
V representa el conjunto de valores de verdadV representa el conjunto de valores de verdadV representa el conjunto de valores de verdad
V representa el conjunto de valores de verdadf mayusculaf mayuscula
f mayusculaV representa el conjunto de valores de verdadf mayuscula
f mayusculaf mayusculaV representa el conjunto de valores de verdad

Una propiedad de la bicondicional en relación a la condicional es con la siguiente equivalencia lógica:

Proposición p símbolo de la bicondicional Proposición q = (Proposición p flecha que apunta a la derecha Proposición qsímbolo de la conjunción (Proposición q flecha que apunta a la derecha Proposición p)

Otra es con la disyunción y conjunción lógica y la negación.

Proposición p símbolo de la bicondicional Proposición q Símbolo de identidad (Proposición p símbolo de la conjunción Proposición q (símbolo de negaciónProposición p símbolo de la conjunción símbolo de negaciónProposición q

Hasta aquí hemos nombrado los 6 conectivos lógicos mas usado en lógica proposicional, ahora veremos dos tipos de inferencias lógicas y la inferencia en sí de manera muy breve.

Implicación lógica

La implicación lógica trabaja con mayor énfasis con la semántica de los argumentos. Una debe deducirse de la otra por lo que no existe una proposición verdadera si el antecedente es falso y el consecuente verdadero, es decir, no puede deducir lo verdadero de algo falso.

 Su símbolo es similar como la condicional pero con dos palitos así símbolo de la implicación lógica  y su tabla de verdad es:

 Proposición pProposición qProposición p símbolo de la implicación lógica  Proposición q
V representa el conjunto de valores de verdadV representa el conjunto de valores de verdadV representa el conjunto de valores de verdad
f mayusculaf mayusculaV representa el conjunto de valores de verdad

Para el resto de los casos como el de la condicional, no es una implicación lógica y se simboliza así símbolo de la no implicación  y su tabla de verdad es:

 Proposición pProposición qProposición p símbolo de la no implicación  Proposición q
V representa el conjunto de valores de verdadf mayusculaf mayuscula
f mayusculaV representa el conjunto de valores de verdadV representa el conjunto de valores de verdad

En la sección de la condicional material y en la sección de la implicación lógica explico las diferencia entre ellas dos.

Equivalencia lógica

La equivalencia lógica tiene el mismo proposición que el signo igual ya que estas dos no son operadores lógicos, solo nos indica que son iguales o equivalentes, por tanto, la igualdad por la implicación lógica de dos proposiciones (esquemas moleculares) no es otra proposición, la bicondicional es operador lógico, si bien se asemeja mucho con la equivalencia, esta ultima no es un operador, es un comparador de igualdad de dos proposiciones y nada mas.

Su símbolo lógico es “Símbolo de identidad“, 3 simples rayas horizontales, un ejemplo de la equivalencia lógica es:

[(Proposición p símbolo de la conjunción Proposición q símbolo de la conjunción proposición rflecha que apunta a la derecha Letra sSímbolo de identidad [(símbolo de negación Proposición p símbolo de la conjunción símbolo de negación Proposición q símbolo de la conjunción símbolo de negación proposición rflecha que apunta a la derecha símbolo de negación Letra s]

Si realizamos una tabla de verdad de esta identidad, veremos tanto el esquema [(Proposición p símbolo de la conjunción Proposición q símbolo de la conjunción proposición rflecha que apunta a la derecha Letra s] y [(símbolo de negación Proposición p símbolo de la conjunción símbolo de negación Proposición q símbolo de la conjunción símbolo de negación proposición rflecha que apunta a la derecha símbolo de negación Letra s] tiene el mismo valor de verdad.

Signos de agrupación en lógica

La importancia de los signos de agrupación en lógica nos ayuda a superar la correcta escritura y evitar errores lógicos en la formación de gramatical del lenguaje lógico proposicional, el punto importante aquí es que indica que conectivos lógicos deben de operarse primero, esto indica una jerarquía dentro de los esquemas moleculares para realizar operaciones de manera ordenada y sus ambigüedades lógicas.

Los signos de agrupación más usado son los parientes “( )“, los corchetes “[ ]” y las llaves “{ }“, por ejemplo. si queremos resolver la tabla de verdad del esquema molecular de símbolo de negación (Proposición p símbolo de la conjunción símbolo de negación Proposición qflecha que apunta a la derecha [Proposición q  (proposición r símbolo de la bicondicional Proposición p)], primero debemos calcular lo que se encuentran en paréntesis, luego en corchetes, y luego el conectivo lógico de mayor jerarquía, en este caso, al condicional material “flecha que apunta a la derecha“.

Numero de variables proposicionales

Otro punto importante son el número de variables proposicionales en un esquema molecular, si por ejemplo, nuestro esquema tiene 2 variables proposicionales, el número de combinaciones posibles son 2 al cuadrado = número 4, la tabla de las combinaciones posibles sería la siguiente:

 Proposición pProposición q
V representa el conjunto de valores de verdadV representa el conjunto de valores de verdad
V representa el conjunto de valores de verdadf mayuscula
f mayusculaV representa el conjunto de valores de verdad
f mayusculaf mayuscula

Para 3 variables proposicionales sería 2 elevado al cubo = número 8 y su tabla respectiva es:

 Proposición pProposición q proposición r
V representa el conjunto de valores de verdadV representa el conjunto de valores de verdadV representa el conjunto de valores de verdad 
V representa el conjunto de valores de verdadV representa el conjunto de valores de verdad f mayuscula
V representa el conjunto de valores de verdadf mayusculaV representa el conjunto de valores de verdad 
V representa el conjunto de valores de verdadf mayusculaf mayuscula 
f mayusculaV representa el conjunto de valores de verdadV representa el conjunto de valores de verdad
f mayusculaV representa el conjunto de valores de verdadf mayuscula
f mayusculaf mayusculaV representa el conjunto de valores de verdad
f mayusculaf mayusculaf mayuscula

Naturalmente para letra n variables proposicionales realizamos 2 elevado a la n combinaciones posibles. Si tenemos un esquema molecular de letra m conectivos lógicos, debemos de resolver 2 elevado a la npuntoletra m valores de verdad en una tabla de verdad de cada uno de los conectivos lógicos. Un ejemplo:

proposición q y p entonces p

Hay dos conectivos lógicos letra m = número 2 y número 2 variables proposicionales 2 elevado a la n = 2 al cuadrado = número 4, el número ve valores hallados sería 2 elevado a la npuntoletra m = número 4puntonúmero 2 = número 8, si contamos el número de valores de verdad de cada conectivo del esquema molecular, es decir, de la columna número 1 y número 2, nos damos cuenta que son 8 valores de verdad calculados, naturalmente la columna de color rojo es la que cuenta al final por ser de mayor jerarquía.

Tipos de tablas de verdad

Cuando realizamos una tabla de verdad de diferentes esquemas moleculares, podemos darnos cuenta que existen 3 tipos de esquemas moleculares según el tipo de tabla de verdad que clasifiquemos. En base a estos cálculos, encontramos 3 tipos de esquemas moleculares y son:

Tautología

Se dice que un esquema molecular es una tautología si todos los valores de verdad en una tabla de verdad son verdaderas.

Contradictoria

Se dice que un esquema molecular es contradictoria si todos los valores de verdad en una tabla de verdad son falsos.

Contingente

Se dice que un esquema molecular es contingente si todos los valores de verdad en una tabla de verdad son tanto falsos como verdaderos.

La inferencia lógica

La inferencia significa extraer o deducir una cosa de otra por medio de la implicación lógica, es extraer una idea de otra idea, y una implica a la otra, si esa otra (conclusion) implica  a la primera (antecedente o grupo de premisas), entonces es una equivalencia lógica.

Muchas veces para inferir una conclusión mas precisa, es necesario tener muchas premisas como datos para sacar una buena conclusión, si, de esta manera la conclusión es verdadera gracias a cada una de sus premisas, si por lo menos una premisa es falsa, entonces el resto de las premisas verdaderas solo serían condiciones necesarias pero no suficientes para determinar la conclusion, si logran ser conclusion suficiente, entonces la conclusion es verdadera.

Sin embargo, la conclusión muchas veces es condición necesaria para las premisas a pesar que las premisas son conclusion suficiente para la conclusión, si sucede el caso de que la conclusion tambien es condicion suficiente para las premisas, decimos entonces que nuestro argumento es condición necesaria y suficiente y tanto el consecuente como el antecedente son equivalencias lógicas.

Método abreviado

Y hablando de inferencia, una forma simbólica de representar una inferencia lógica es con un conjunto de premisas (variables proposicionales) donde es importante tomar en cuenta todos sus valores de verdad (es decir, todos deben estar conectados por una conjunción lógica para tomar en cuenta todas las variables) y extraer una conclusion (es decir, inferir), simbolicamente se expresa así:

los antecedentes implican al consecuente

Existe un método rapido para no realizar la abrumadora tabla de verdad para tantas variables proposicionales, es suponer todas las premisas verdadera y la conclusión falsa, con esta suposición, si encontramos que no existe contradicción cuando operamos su valores de verdad de las premisas y la conclusión, entonces la inferencia es falsa y se escribe así:

los antecedentes no implican al consecuente

En este caso, decimos que las premisas no implican a la conclusión. En caso de que exista una contradicción, donde entonces resulta que la inferencia es verdadera y por tanto la conclusión se deduce de las premisas dadas.

Algunas leyes lógicas

Las leyes que podemos encontrar en la lógica de las proposiciones, simbólicamente lo podemos dividir en dos partes, unas son las equivalencias notables y las otras son las implicaciones notables.

Algunas leyes de equivalencia
  • Ley involución: símbolo de negación(símbolo de negaciónProposición pSímbolo de identidad Proposición p.
  • Leyes de idempotencia: Proposición p símbolo de la conjunción Proposición p Símbolo de identidad Proposición p y  Proposición p  Proposición p Símbolo de identidad Proposición p.
  • Leyes de morgan: símbolo de negación(Proposición p símbolo de la conjunción Proposición qSímbolo de identidad símbolo de negaciónProposición p  símbolo de negaciónProposición q y símbolo de negación(Proposición p  Proposición qSímbolo de identidad símbolo de negaciónProposición p símbolo de la conjunción símbolo de negaciónProposición q.
  • Leyes de absorción: Proposición p símbolo de la conjunción (Proposición p  Proposición qSímbolo de identidad Proposición p, Proposición p símbolo de la conjunción (símbolo de negaciónProposición p  Proposición qSímbolo de identidad Proposición p símbolo de la conjunción Proposición q, Proposición p   (Proposición p  símbolo de la conjunción Proposición qSímbolo de identidad Proposición p y Proposición p   (símbolo de negaciónProposición p  símbolo de la conjunción Proposición qSímbolo de identidad Proposición p   Proposición q.
  • Entre otros.
Algunas leyes de la implicación
  • Ley de Modus Ponens: (Proposición p flecha que apunta a la derecha Proposición qsímbolo de la conjunción Proposición p símbolo de la implicación lógica Proposición q.
  • Ley de Modus Tollens: (Proposición p flecha que apunta a la derecha Proposición qsímbolo de la conjunción símbolo de negaciónProposición q símbolo de la implicación lógica símbolo de negaciónProposición p.
  • Ley del Silogismo Hipotético: (Proposición p flecha que apunta a la derecha Proposición qsímbolo de la conjunción (Proposición q flecha que apunta a la derecha proposición rsímbolo de la implicación lógica Proposición p flecha que apunta a la derecha proposición r.
  • Ley de la Simplificación: Proposición p símbolo de la conjunción Proposición q símbolo de la implicación lógica Proposición p   ó   Proposición p símbolo de la conjunción Proposición q símbolo de la implicación lógica Proposición q.
  • Ley de la Contradicción: Proposición p flecha que apunta a la derecha (Proposición q símbolo de la conjunción símbolo de negaciónProposición q) símbolo de la implicación lógica símbolo de negaciónProposición p   ó   símbolo de negaciónProposición p flecha que apunta a la derecha (Proposición q símbolo de la conjunción símbolo de negaciónProposición q) símbolo de la implicación lógica Proposición p
  • Entre otros.

Estas leyes o reglas lógicas lo puedes encontrar en sección de las principales leyes lógicas.

Sobre la lógica de primer orden o LÓGICA de orden cero

Por ello y en vista de este problema, aparece una nueva teoría lógica matemática, lógica de primer orden, este tiene como finalidad de indicar qué oraciones son válidas y cuáles no, un propósito muy superior que no tiene la lógica proposicional. (en construcción)

En lingüística por ejemplo, si tomamos la siguiente la oración “Júpiter es más grande que Marte“, el predicado sería “es más grande que Marte” que conecta a Júpiter, pero para la lógica de primer orden, el predicado sería “es más grande que” donde conecta dos elementos que es Marte y Júpiter.

El único interés de la lógica de primer orden o lógica de predicados es la manera correcta de escribir una oración con el razonamiento correcto independientemente de si realmente Júpiter es mas grande que Marte, esto es irrelevante para la lógica de predicados.

El otro punto importante de la lógica de predicados es la importancia de los valores que le asignemos, porque cada valor que nos genera es causa de un valor que le hemos dado.

Por ejemplo, la expresión matemática la función f de x es igual a x+1 , si le asignamos a variable x el valor de 1, nos dará como valor 2, si le damos 9, nos dará como valor generado 10. Aquí, la lógica de primer orden toma los predicados como funciones de valor.

No me quiero extender en este tema, tan solo es un pequeño esbozo para tener una noción de las teorías lógicas matemáticas. La lógica matemática es muy extensa como la lógica de segundo orden y estos van más allá que la lógica que estudiaremos en estas entradas.

La lógica menos expresiva, lo que comúnmente conocemos como lógica proposicional, también es llamada lógica de orden cero, porque no esta interesada en los argumentos como lo hace la lógica de primer orden.

Resumen de la SECCIÓN piloto

La lógica tiene como finalidad estudiar el proceso de las consecuencias como también el desarrollo y origen de tales consecuencias de las que solo pueden ser verdaderas o falsas y no ambas a la vez, por tanto, la lógica proposicional estudia a la lógica desde una perspectiva más operacional omitiendo los argumentos pero formalizando solamente los conectivos lógicos para crear proposiciones mas complejas.

La lógica de primer orden va mas allá, describe formalmente la estructura de los argumentos de las proposiciones siguiendo una gramática formal que describa correctamente los argumentos tanto simbólicamente como sintácticamente.

Una gramática formal indica que se tiene una estructura matemática y una serie de reglas por un grupo ordenado de cadenas de caracteres (es decir, una serie de caracteres como puede ser, símbolos, números, letras).

Una cadena de caracteres muy bien establecidas por las reglas gramaticales se les llama fórmulas bien formadas, todo ello lo hablaremos en un curso avanzado de teoria de lenguaje formal en lógica matematica.

Tan solo nos limitaremos en un curso básico de lógica proposicional, pasando por alto los argumentos bien formalizados porque es un tema muy pero muy extenso que lo trataremos en otra oportunidad. Si gustas puedes pasar por cada una de nuestra 15 secciones de lógica proposicional, espero que les sea de su agrado.

Continuacion del curso de matematica basica: teoria de conjuntos

Te presentamos la continuacion del curso de matematica basica, esto es, la teoria de conjuntos, esta seccion esta dividido en una seccion principal resumida y 4 secciones de todo su desarrollo teorico, de esta manera puedes continuar con el curso actual y siempre estar actualizado.