Lógica Proposicional
Es una rama de la lógica clásica que estudia las variables proposicionales o sentencias lógicas, sus posibles implicaciones, evaluaciones de verdad y en algunos casos su nivel absoluto de verdad.
¿Qué son las proposiciones?
Son enunciados que expresan una cosa que pueden evaluarse como verdadera o falsa.
Conectores
¬ NEGACIÓN
٧ DISYUNCIÓN
٨ CONJUNCIÓN
→ CONDICIONAL
↔ BICONDICIONAL
Tablas de verdad
