Considere aluno, um predicado unário na lógica dos predicado...

Questões de assuntos semelhantes

• Ao analisar a documentação de um sistema de informação, um programador observa uma tabela-verdade T formada pelas proposições P,Q,R, X e Y. Qual...
• Observe a tabela-verdade:Assinale a alternativa que apresenta uma proposição válida para a terceira coluna:
• Se P, Q e R são proposições verdadeiras, então o valor lógico de (P ∧ ¬ Q) ∨ ¬R é:
•                A tabela acima mostra o início da construção da tabela-verdade para a proposição [(¬P→Q)∧Q]→¬P, em que P e Q são proposições...
• Considere as seguintes proposições:  P1: (A → B) ∧ (¬B → A) P2: (A ↔ ¬A) → ((B → ¬B) ∨ (A ∨ B)) A respeito dessas proposições, é correto afirmar...