A lógica formal pode representar as afirmações que fazemos em linguagem cotidiana para apresentar fatos ou transmitir informações. Uma proposição (ou declaração) é uma sentença que é falsa ou verdadeira. Fonte: GERSTING, J. Fundamentos matemáticos para a ciência da computação: matemática discreta e suas aplicações. 7. ed. Rio de Janeiro: LTC, 2017. Agora considere as seguintes sentenças: 10 é menor do que 7. São Paulo é a capital do estado de São Paulo. Ela é muito talentosa. 3 é menor do que 6. Existem outras formas de vida em outros planetas no universo.