Introducción Es una parte de la lógica que tiene como objeto de estudio la proposición y la relación existente entre ellas, así como la función que tienen las variables proposicionales y los conectivos lógicos. PROPOSICIÓN LÓGICA Entendemos por proposición lógica a toda oración que tiene las siguientes características: Es de carácter aseverativo (afirma algo o brinda alguna información). Tiene valor de verdad (La información que brinda puede ser calificada como verdadera o falsa, pero no ambas a la vez ) A las proposiciones lógicas también se les conoce como enunciados cerrados . Notación Generalmente se denota a las proposiciones lógicas mediante variables proposicionales , es decir letras de la segunda mitad del alfabeto escritas en minúscula. $$p, q, r, s, \cdots $$ El valor de verdad de la proposición \(p\) se denota por \( V(p) \) Cuando la proposición \(p\) sea verdadera se denotará como: \(V(p)=V \) , mientras que si es falsa se denotará por \(V(p)=F \) Ejemplos : \(