Nos itens seguintes abaixo, escreva V se a sentença for verdadeira ou F se a sentença for falsa:
(   ) Falácia é o nome que se atribui a um argumento válido.
(   ) Um argumento válido somente se premissas e conclusão são verdadeiras.
(   ) Toda sentença ou expressão afirmativa é uma proposição.
(   ) Todos os símbolos primitivos são fórmulas do cálculo proposicional.
(   ) Restauramos parênteses do mais fraco ao mais forte a partir da esquerda.
(   ) Se uma frase possui 11 proposições, sua tabela verdade terá 2048 linhas.
(   ) (A → B) ⇒ (~A) ∨ (~B)
(   ) ~(A ∨ B) ⇔ (~B) ∧ (~A)
Solução

Considerando o diagrama de circuito elétrico abaixo, escreva uma fórmula na linguagem do cálculo proposicional clássico para representá-lo.


Solução

Utilizando a linguagem do cálculo proposicional clássico, determinar uma fórmula e desenhar o circuito equivalente mais simples possível para o circuito abaixo.


Solução

O teorema escrito logo abaixo deste texto é aquele que garante a validade da propriedade transitiva na Álgebra. Demonstre este teorema pela semântica e também pela sintática da Lógica Clássica.


Solução