Una proposición es un enunciado que puede ser evaluado como verdadero o falso pero no ambos. Existen varios tipos de proposiciones simples y compuestas que pueden unirse mediante conectivos lógicos como la negación, conjunción, disyunción, condicional y bicondicional. Las proposiciones se pueden representar en tablas de verdad y circuitos lógicos, los cuales son importantes en ingeniería eléctrica y computación.