Como exemplo, temos a afirmação: “Miguel é sério ou Miguel não é sério”. Perceba que essa proposição sempre será verdadeira.

Na lógica proposicional, a afirmação "Miguel é sério ou Miguel não é sério" é conhecida como uma tautologia, ou seja, uma proposição que é sempre verdadeira, independentemente do valor de verdade das variáveis envolvidas. Isso ocorre porque a disjunção (ou) entre uma afirmação e sua negação sempre resulta em uma proposição verdadeira. Portanto, a afirmação apresentada é verdadeira.