Na análise de tabelas-verdade, uma proposição composta pode ser classificada de três formas: Tautologia (quando o resultado é sempre V), Contradição (quando o resultado é sempre F) e Contingência (quando o resultado depende dos valores das proposições simples, podendo ser V ou F).
Fonte: Lógica Formal, 2023.
A proposição (p ^ ~p) é classificada como uma:
De acordo com as Leis de De Morgan, a negação de uma conjunção (p ^ q) é equivalente à disjunção das negações (~p v ~q). Em termos práticos, para negar uma frase ligada pelo conectivo "e", nega-se ambas as partes e troca-se o "e" pelo "ou".
Fonte: Raciocínio Lógico Matemático, 2024.
A negação da proposição "O céu é azul e o mar é calmo" é:
Diferente da disjunção inclusiva (ou), a disjunção exclusiva (ou... ou), representada pelo símbolo v, exige que as proposições tenham valores lógicos distintos para que o resultado final seja verdadeiro. Se ambas forem verdadeiras ou ambas forem falsas, o valor lógico resultante será falso.
Fonte: Estruturas Lógicas, 2025.
Considere: "Ou Fortaleza é a capital do Ceará ou Juazeiro do Norte é a capital da Paraíba". O valor lógico dessa proposição é:
A proposição condicional, representada pelo conectivo "Se... então" (p -> q), possui uma característica singular em sua tabela-verdade: ela só será falsa em um único caso específico. Em todas as outras combinações de valores lógicos para p e q, a condicional resultará em um valor verdadeiro.
Fonte: Lógica para Concursos, 2024.
A proposição p -> q é FALSA quando:
Considere as seguintes proposições simples:
p: O candidato estudou.
q: O candidato foi aprovado.
A conjunção (p ^ q) só assume valor lógico verdadeiro quando ambas as proposições componentes forem verdadeiras. Se apenas uma delas for falsa, o resultado da operação será falso.
Fonte: Tabela-Verdade e Operadores Lógicos, 2025.
Se o valor lógico de p é Falso e o valor lógico de q é Verdadeiro, a proposição composta "O candidato estudou e foi aprovado" é:
Na lógica sentencial, uma proposição é uma sentença declarativa que pode ser julgada como verdadeira (V) ou falsa (F), mas não ambas. Sentenças exclamativas, interrogativas, imperativas ou abertas (sem sujeito definido) não são consideradas proposições lógicas.
Fonte: Fundamentos de Lógica Matemática, 2024.
Assinale a alternativa que apresenta uma proposição lógica válida: