INTRODUCCIÓN

Una proposición lógica es una declaración válida que puede ser verdadera o falsa, pero no ambas al mismo tiempo.

Las proposiciones lógicas son fundamentales en el campo de la lógica y se utilizan para construir argumentos,
razonamientos y demostraciones en contextos diversos.

Las proposiciones lógicas se expresan mediante símbolos o letras proposicionales, como p, q, r, etc. Estas letras
proposicionales pueden estar acompañadas por operadores lógicos, como la negación (~), la conjunción ( ∧), la
disyunción (∨), la implicación (→) y la equivalencia (↔).
 CARACTERÍSTICAS
• Una proposición lógica • Una proposición lógica • Las proposiciones • Una proposición lógica
puede tener solo dos debe ser simple y no lógicas se expresan en debe poder ser evaluada
valores de verdad ambigua. Debe expresar forma declarativa, es como verdadera o falsa.
posibles: verdadero (V) una idea o sustentar decir, como Esto significa que debe
o falso (F). No existe claramente que pueda afirmaciones o ser posible determinar su
una tercera opción. ser evaluada como declaraciones, en valor de verdad
verdadera o falsa. contraposición a mediante información
preguntas, órdenes o disponible o reglas de
exclamaciones. lógica.

Valores de Forma
Simplicidad: Evaluabilidad:
verdad: declarativa:
 CARACTERÍSTICAS
• El valor de verdad de • Las proposiciones • Las proposiciones • Las proposiciones
una proposición lógica lógicas pueden lógicas pueden lógicas están sujetas a
no depende del contexto combinarse mediante representarse mediante reglas de inferencia que
o de quién la enuncia. Se conectivas lógicas, como tablas de verdad, que permiten deducir nuevas
evalúa únicamente en "y" (conjunción), "o" muestran todas las proposiciones a partir de
función de su contenido (disyunción), "si... posibles combinaciones proposiciones existentes
y las reglas lógicas que entonces" (implicación), de valores de verdad y las conectivas lógicas
se aplican. "si y solo si" para las proposiciones aplicadas. Estas reglas
(bicondicional), entre involucradas y el son fundamentales en la
otras. Estas resultado de la lógica formal y permiten
combinaciones permiten evaluación de la razonar de manera
formar proposiciones proposición compuesta. válida.
más complejas a partir
de proposiciones
Independencia del simples. Reglas de
Composición: Tablas de verdad:
contexto: inferencia: