Resultado de búsqueda
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 o falsa. Las proposiciones pueden ser simples o complejas.
Lógica de proposiciones. 1 Introducción. Lenguaje lógico simbólico más sencillo. Permite representar sentencias simples del lenguaje natural mediante formulas atómicas, cuya composición representa sentencias más complejas:
Fórmula lógica: expresión simbólica que sustituye a una proposición molecular. Valorar o hallar valor lógico de una proposición: averiguar la falsedad o veracidad de la misma. V ⇔ verdad ⇔ 1, F ⇔ falso ⇔ 0. Álgebra de proposiciones: Construcción de fórmulas lógicas y estudio de su veracidad o falsedad así como de sus propiedades.
2 LÓGICA PROPOSICIONAL En 1.2.4 se habló de la lógica como una parte de las matemáticas que se usa para razonar de manera formal. Los sistemas lógicos se han presentado como herramientas que deberán llevar a cabo la representación de afirmaciones y el razonar y deducir de manera simbólica.
Las siguientes fórmulas bien formadas son instancias de axiomas que se utilizan algunas veces en lógica proposicional. Utiliza resolución por refutación para probar cada una de las fórmulas: Introducción de la implicación: P ⇒ (Q⇒P) Distribución de la implicación: (P ⇒ (Q⇒R)) ⇒ ((P ⇒ Q) ⇒ (P⇒R))
La lógica proposicional estudia cómo la verdad o falsedad de los enunciados compuestos está determinada por la verdad o falsedad de los enunciados constitutivos. Nos da una manera de derivar de manera confiable conclusiones verdaderas a partir de verdaderas suposiciones.
PD Tema 1: Sintaxis y semántica de la lógica proposicional Semántica proposicional Argumentaciones y problemas lógicos. Problemas lógicos: veraces y mentirosos. IEnunciado: En una isla hay dos tribus, la de los veraces (que siempre dicen la verdad) y la de los mentirosos (que siempre mienten).
