Marque C, se a proposição é certo ; E, se a proposição é errado.De uma função f, de domínio R, sabe-se que sua derivada ...

Se p, q são proposições, então a sentença [(p∧q) ↔ (¬(p → (¬q)))] é uma tautologia.

Sendo N o conjunto dos números naturais, é verdadeira a proposição (∀n ∈ N) (∃m ∈ N) (n = m + 1).

Se for verdadeira a afirmação “alguns softwares gratuitos são livres, mas nem todos, e existem softwares livres que não são gratuitos, porém todo soft...

Sabe-se que para uma viagem entre Salvador e Feira de Santana (ida e volta) pode-se usar como meio de transporte o automóvel, o ônibus, o avião ou a b...

Para responder a essa questão, considere φ, ψ, σ três sentenças em uma teoria matemática.(¬φ) não é tautologia se, e somente se, φ é satisfazível.

Para responder a essa questão, considere φ, ψ, σ três sentenças em uma teoria matemática.A implicação lógica φ → ψ é falsa, somente se φ for verdadeir...

A negação da proposição “todo homem é igual ao seu pai” é a proposição “todo homem é diferente do seu pai”.

O conjunto de L-sentenças {(((p → q) → p) → p); ((p∧q) → q); (p → (p∧q)); ¬p} é consistente.

Do regulamento de uma universidade consta: "Se a nota de um aluno for maior do que 4 e menor do que 5, ele pode fazer uma prova substitutiva ou um tra...

Nove arquivos de 1,6GB cada um e quarenta arquivos de 0,45GB cada um devem ser gravados em DVDs. Se cada DVD tem capacidade para 4,7GB, e todo arquivo...