1. Los símbolos que utilizaremos para estos conectores:~ negación V disyuncióN ^ conjunción → condicionante ↔ bicondicionante
2. Una proposición en este ámbito es cualquier oración o expresión que puedas clasificar como verdadera o falsa, pero no ambas.
3. Los conectivos lógicos son símbolos usados para combinar proposiciones simples dadas, produciendo así otras llamadas proposiciones compuestas.
4. Existen dos clases de proposiciones: PROPOSICIONES SIMPLES PROPOSICIONES COMPUESTAS
4.1. PROPOSICIONES SIMPLES: tambien denominadas proposiciones atómicas. Son aquellas proposiciones que no se pueden dividir. Ejemplos: El cielo es azul. PROPOSICIONES COMPUESTAS: tambien denominadas moleculares. Son aquellas que están formadas por dos o más proposiciones simples unidas por los operadores lógicos. Ejemplos: Fui al banco, pero el banco estaba cerrado.
5. Proposición es una oración declarativa a la cual se le puede asociar un valor de verdad
5.1. La unión de proposiciones se da a través de conectores, que en este entorno se denominan conectores lógicos. Por ejemplo, sean p y q dos proposiciones