Filtrar


Questões por página:
Em lógica, pelo princípio do terceiro excluído,
Qual o numero de linhas de uma tabela verdade utilizada para determinar o valor lógico de uma proposição composta formada por 4 (quatro) proposições simples?

Seja a tabela verdade a seguir.

Quantas vezes, sem considerar os valores já preenchidos, o valor F aparece ao se completar essa tabela?

Considere p e q fórmulas atômicas de uma linguagem L e v uma função de valoração na qual v (p) ≠ v (q).
Para tal, é necessário e suficiente que

O princípio da não contradição, inicialmente formulado por Aristóteles (384-322 a.C.), permanece como um dos sustentáculos da lógica clássica. Uma proposição composta é contraditória quando.