son un grupo de operaciones matematicas que determinan si un elemento es verdadero o falso

son expresiones algebraicas que puede tener 2 valores, puede ser cierto y falso

se califican a partir de "cierto" o "falso" depende si el elemento es comfiable o no

una suposición que es calificada por los valores "cierto" y "falso"

simples o compuestas

ciertas o falsas

complementadas o simples

finita o infinita