Sendo p uma proposição Verdadeira e q uma proposição Falsa, qual o valor lógico da expressão ~(p -> q) v (q ^ p)?
A negação da proposição "Brasília é a capital do Brasil e Curitiba é a capital do Paraná" é:
Uma tautologia é uma proposição cujo valor lógico é sempre verdadeiro, independente dos valores lógicos das proposições simples que a compõem. Qual das alternativas abaixo representa uma tautologia?
Na lógica proposicional, não são consideradas proposições as sentenças abertas. Assinale a alternativa que contenha um exemplo de sentença aberta: