Elementos de la lógica de enunciados o proposicional
Variables
Son
Los símbolos
Que
Sustituyen las proposiciones o enunciados
Constantes
Tienen la función
De
alterar, relacionar o conectar
Enunciados atómicos haciéndolos complejos
Los más frecuentes
Son
Negación
"No"
Conjunción
"Y"
Disyunción
"O"
Condicional
"Si... Entonces"
Bicondicional
"Si y solo sí"
Tablas de verdad
Negación
Disyunción
Conjunción
Condicional
Bicondicional
Símbolos auxiliares
Paréntesis ()
Corchetes []