Uma proposição é uma sentença formada por símbolos ou palavras que fornecem um sentido completo, a qual pode ser simples ou composta. No mesmo contexto, toda proposição assume apenas um dos valores lógicos: verdade ou falsidade. Acerca dos valores lógicos, a proposição composta “O número n é irracional ou o número n não é irracional” é uma: