Las proposiciones son oraciones a las que se les puede asignar un valor de verdadero o falso. Existen proposiciones atómicas simples y proposiciones moleculares compuestas por varias proposiciones atómicas unidas por conectivos lógicos como la conjunción, la disyunción o la condicional. Los principios de no contradicción y del tercero excluido establecen que una proposición no puede ser verdadera y falsa a la vez ni discutible.