PENSAMIENTO COMPUTACIONAL Y RESOLUCIÓN DE PROBLEMAS

  . Tautología (Fórmula Lógicamente Válida) ✅ Una tautología es una proposición compuesta cuya tabla de verdad resulta ser siempre verdadera para cualquier combinación de los valores de verdad de sus proposiciones simples. Resultado de la Tabla: La columna final solo contiene el valor de Verdadero (V) en todas sus filas. Significado: La proposición es una verdad lógica; su validez es independiente de los hecho. 2. Contradicción (Fórmula Lógicamente Falsa) ❌ Una contradicción es una proposición compuesta cuya tabla de verdad resulta ser siempre falsa para cualquier combinación de los valores de verdad de sus proposiciones simples. Resultado de la Tabla: La columna final solo contiene el valor de Falso (F) en todas sus filas. Significado: La proposición es lógicamente imposible. 3. Contingencia (Fórmula Indeterminada) ☯️ 3. Contingencia (Fórmula Indeterminada) ☯️ Una contingencia es una proposición compuesta cuya tabla de verdad contiene al menos un valor Verdadero (V) ...

 La lógica Proposicional pretende estudiar las frases declarativas simples (enunciados o proposiciones) que son los elementos básicos de transmisión de conocimiento humano. De manera informal, una proposición se define como una frase que puede ser considerada Verdadera o Falsa y que no se puede descomponer en otras frases Verdaderas o Falsas. Para relacionar las distintas proposiciones se utilizan las siguientes conectivas: Alfabeto de la Lógica Proposicional El lenguaje de la lógica proposicional trabajará con los siguientes conjuntos de símbolos: Ejemplos: Son ejemplo de proposiciones lógicas: p :  El gato es café. q :  3 es un número primo. r :  18 es múltiplo de 3 y múltiplo de 6. s : π < e . Estas proposiciones tienen un valor de verdad. En particular,  p , q , r  son verdaderas mientras que  s  es falsa. No son ejemplos de proposiciones lógicas: p :  ¿Qué hora es? q :  Borra la pizarra. r :  Tengo sueño. s : π + e . Existen...