Fundamentos de la Lógica Proposicional: Lenguaje, Sustitución y Semántica
Enviado por Chuletator online y clasificado en Informática y Telecomunicaciones
Escrito el en
español con un tamaño de 4,01 KB
1. Definición del Lenguaje de la Lógica Proposicional
La lógica proposicional es un lenguaje formal simple, constituido por un conjunto infinito enumerable de variables proposicionales (fórmulas atómicas como p, q, r, etc.) que representan enunciados considerados simples. A partir de estas variables, se construyen fórmulas complejas mediante el uso de operadores proposicionales (¬, →, ∨, ∧, ↔), paréntesis y subíndices, siguiendo una serie de reglas de formación.
Las fórmulas complejas representan enunciados complejos cuyo valor de verdad o falsedad nos interesa determinar. Este valor depende directamente de las fórmulas más simples a partir de las cuales están formadas y del modo en que se combinan. Por ejemplo, si A y B... Continuar leyendo "Fundamentos de la Lógica Proposicional: Lenguaje, Sustitución y Semántica" »
catalán con un tamaño de 7,01 KB