Proposições, conectivos e tabelas-verdade: definição, negação e propriedades lógicas

Anotacoes

• Subtema: Definição de Proposição No dia 24 de fevereiro de 2026, foi apresentada a definição de proposição como qualquer afirmação, seja ela negativa ou positiva, que possa ser respondida com verdadeiro, falso ou palavra. Ressaltou-se que frases sem verbo, como desejos ou dizeres, não são proposições. Além disso, frases nominais, optativas, interrogativas, exclamativas e imperativas nunca são consideradas proposições. Verbos, por sua vez, expressam laços, vetores, mudanças de estado ou fenômenos da natureza, sendo essenciais para a formação de proposições. Sentenças abertas, como "x + 1 = 4" (que equivale a "x = 3") ou "x # 3", não são proposições, pois dependem de variáveis ou contextos específicos. Por exemplo, "Ela é médica" é uma sentença aberta, pois quem é ela não está especificado. Já "Maria é médica" é uma proposição, pois o sujeito está claramente definido. • Subtema: Conectivos Lógicos No mesmo dia, foram apresentados os principais conectivos lógicos utilizados na lógica proposicional. São eles: conjunção ("e"), disjunção ("ou"), disjunção exclusiva ("ou...ou..."), condicional ("se... então...") e bicondicional ("se e somente se"). Proposições simples, que não possuem c...