Fórmula proposicional

El cálculo de predicados va un paso más allá del cálculo proposicional hacia un "análisis de la estructura interna de proposiciones" . Se divide una oración simple en dos partes (i) su sujeto (el objeto (singular o plural) del discurso) y (ii) un predicado (un verbo o posiblemente cláusula verbal que afirma una cualidad o atributo del objeto (s)). El cálculo de predicados luego generaliza la forma "sujeto | predicado" (donde | simboliza la concatenación (encadenamiento) de símbolos) en una forma con la siguiente estructura de sujeto en blanco "___ | predicado", y el predicado a su vez se generaliza a todas las cosas con esa propiedad.

La generalización de "este cerdo" a un (potencial) miembro de dos clases "cosas aladas" y "cosas azules" significa que tiene una relación de verdad con ambas clases. En otras palabras, dado un dominio del discurso "cosas aladas", o encontramos que p es un miembro de este dominio o no. Por lo tanto, tenemos una relación W (alada) entre p (pig) y {T, F},W (p) se evalúa como {T, F}. Del mismo modo para B (azul) y p (cerdo) y { T, F}: B (p) evalúa a {T, F}. Entonces, ahora podemos analizar las aserciones conectadas "B (p) AND W (p)" para su valor de verdad general, es decir:

En particular, las oraciones simples que emplean nociones de "todos", "algunos", "unos pocos", "uno de", etc. son tratados por el cálculo de predicados. Junto con el nuevo simbolismo de función "F (x)" se introducen dos nuevos símbolos: ∀ (Para todos), y ∃ (Existe ..., Al menos uno de ... existe, etc.). El cálculo del predicado, pero no el cálculo proposicional, puede establecer la validez formal de la siguiente afirmación:

Tarski afirma que la noción de IDENTIDAD (a diferencia de la EQUIVALENCIA LÓGICA) se encuentra fuera del cálculo proposicional; sin embargo, señala que si una lógica debe ser útil para las matemáticas y las ciencias, debe contener una "teoría" de IDENTIDAD. Algunos autores se refieren a "lógica de predicados con identidad" para enfatizar esta extensión. Ver más sobre esto a continuación.

Análisis: en el razonamiento deductivo, los filósofos, los retóricos y los matemáticos reducen los argumentos a las fórmulas y luego las estudian (generalmente con tablas de verdad) para la corrección (solidez). Por ejemplo: ¿Suena el siguiente argumento?

"Dado que la conciencia es suficiente para una inteligencia artificial y solo las entidades conscientes pueden pasar la prueba de Turing, antes de que podamos concluir que un robot es una inteligencia artificial, el robot debe pasar la prueba de Turing".

Los ingenieros analizan los circuitos lógicos que han diseñado utilizando técnicas de síntesis y luego aplican diversas técnicas de reducción y minimización para simplificar sus diseños.

Síntesis: los ingenieros en particular sintetizan fórmulas proposicionales (que eventualmente terminan como circuitos de símbolos) a partir de tablas de verdad. Por ejemplo, uno podría escribir una tabla de verdad sobre cómo debería comportarse la adición binaria dada la adición de las variables "b" y "a" y "carry_in" "ci", y los resultados "carry_out" "co" y "sum" Σ :

• Ejemplo: en la fila 5, ((b + a) + ci) = ((1 + 0) + 1) = el número "2". escrito como un número binario esto es 102, donde "co" = 1 y Σ = 0 como se muestra en las columnas más a la derecha.

El tipo más simple de fórmula proposicional es una variable proposicional. Las proposiciones que son simples (atómicas), expresiones simbólicas a menudo se denotan por las variables llamadas a, b, o A, B, etc. Una variable proposicional pretende representar una proposición atómica (aserción), como "Es sábado" = a (aquí el símbolo = significa "... se le asigna la variable llamada ...") o "Solo voy al cine el lunes" = b.

La evaluación de una fórmula proposicional comienza con la asignación de un valor de verdad a cada variable. Debido a que cada variable representa una oración simple, los valores de verdad se están aplicando a la "verdad" o "falsedad" de estas oraciones simples.

Valores de verdad en retórica, filosofía y matemáticas: los valores de verdad son solo dos: {VERDAD "T", FALSA "F"}. Un empirista pone todas las proposiciones en dos amplias clases: analítico-verdadero sin importar qué (por ejemplo, tautología) y sintético-derivado de la experiencia y, por lo tanto, susceptible de confirmación por parte de terceros (la teoría de la verificación del significado). Los empiricits sostienen que, en general, para llegar al valor de verdad de una proposición sintética, primero se deben aplicar significados (plantillas de coincidencia de patrones) a las palabras, y luego estas plantillas de significado deben compararse con lo que sea que se esté afirmado Por ejemplo, mi enunciado "¡Esa vaca es azul!" ¿Es esta declaración una VERDAD? Verdaderamente lo dije. Y tal vez estoy viendo una vaca azul; a menos que mienta, mi afirmación es una VERDAD relativa al objeto de mi percepción (quizás defectuosa). Pero, ¿está la vaca azul "realmente allí"? ¿Qué ves cuando miras por la misma ventana? Para proceder con una verificación, necesitará una noción previa (una plantilla) de "vaca" y "azul", y una capacidad para hacer coincidir las plantillas con el objeto de la sensación (si es que existe).

Valores de la verdad en la ingeniería: los ingenieros intentan evitar las nociones de verdad y falsedad que acosan a los filósofos, pero en el análisis final, los ingenieros deben confiar en sus instrumentos de medición. En su búsqueda de robustez, los ingenieros prefieren extraer objetos conocidos de una pequeña biblioteca, objetos que tienen comportamientos bien definidos y predecibles incluso en grandes combinaciones (de ahí su nombre para el cálculo proposicional: "lógica combinatoria"). La menor cantidad de comportamientos de un solo objeto son dos (por ejemplo, {APAGADO, ENCENDIDO}, {abierto, cerrado}, {ARRIBA, ABAJO} etc.), y estos se colocan en correspondencia con {0, 1}. Tales elementos se llaman digitales; aquellos con un rango continuo de comportamientos se llaman análogos. Siempre que las decisiones se tomen en un sistema analógico, muy a menudo un ingeniero convertirá un comportamiento analógico (la puerta es 45.32146% UP) a digital (por ejemplo, DOWN = 0) mediante el uso de un comparador.

Por lo tanto, una asignación de significado de las variables y los dos símbolos de valor {0, 1} proviene de "afuera" de la fórmula que representa el comportamiento del objeto compuesto (generalmente). Un ejemplo es una puerta de garaje con dos "interruptores de límite", uno para UP etiquetado SW_U y uno para DOWN etiquetado SW_D, y cualquier otra cosa que esté en los circuitos de la puerta. La inspección del circuito (ya sea el diagrama o los propios objetos reales-puerta, interruptores, cables, placa de circuitos, etc.) podría revelar que, en la placa de circuito, el "nodo 22" pasa a +0 voltios cuando los contactos del interruptor "SW_D" "están mecánicamente en contacto (" cerrado ") y la puerta está en la posición" abajo "(95% hacia abajo), y" nodo 29 "va a +0 voltios cuando la puerta está 95% ARRIBA y los contactos del interruptor SW_U son en contacto mecánico ("cerrado"). El ingeniero debe definir el significado de estos voltajes y todas las combinaciones posibles (los 4), incluidos los "malos" (por ejemplo, ambos nodos 22 y 29 a 0 voltios, lo que significa que la puerta está abierta y cerrada al mismo tiempo) . El circuito responde sin pensar a cualquier voltaje que experimente sin ningún conocimiento de la VERDAD o FALSA, CORRECTO o EQUIVOCADO, SEGURO o PELIGROSO.

Los siguientes son los conectivos comunes a la retórica, la filosofía y las matemáticas junto con sus tablas de verdad. Los símbolos utilizados variarán de autor a autor y entre campos de esfuerzo. En general, las abreviaturas "T" y "F" representan las evaluaciones VERDAD y FALSIDAD aplicadas a las variables en la fórmula proposicional (por ejemplo, la afirmación: "Esa vaca es azul" tendrá el valor de verdad "T" para Verdad o " F "por falsedad, según sea el caso.).

Los conectivos se rigen por varios usos de palabras diferentes, p. "a IMPLIES b" también se dice "IF a THEN b". Algunos de estos se muestran en la tabla.

En general, los conectivos de ingeniería son exactamente los mismos que los conectivos matemáticos, excepto que tienden a evaluar con "1" = "T" y "0" = "F". Esto se hace con el propósito de análisis / minimización y síntesis de fórmulas mediante el uso de la noción de mini términos y mapas de Karnaugh (ver abajo). Los ingenieros también usan las palabras producto lógico de la noción de Boole (a * a = a) y suma lógica de la noción de Jevons (a + a = a).