Filtrar


Questões por página:
Em um checklist de verificação, considere a proposição condicional: p ? q.

Qual é a forma logicamente equivalente à sua negação, isto é, ¬(p ? q)?
Considere a proposição: “Para todo x, Q(x)”. Qual é a sua negação lógica correta? 
De acordo com as Leis de Morgan, a negação da proposição composta (A ? B) corresponde logicamente a: 

Em um sistema, valem as definições:


A. “a solicitação foi aprovada”;

B. “os campos estão completos”;

C. “o pagamento foi confirmado”.


A política diz: “A solicitação é aprovada se e somente se os campos estão completos e o pagamento foi confirmado.” Isto é: A ? (B e C)


Assinale a alternativa que apresenta a negação lógica correta dessa política. 

O professor Lucas escreveu no quadro a seguinte sentença aberta:



"O estudante xxx será aprovado na disciplina de Lógica se e somente se xxx entregar todas as tarefas e participar das avaliações."



Considere as proposições:



P(x): "O estudante x entrega todas as tarefas."



Q(x): "O estudante x participa das avaliações."



R(x): "O estudante x será aprovado na disciplina."



Formalização: R(x) ? (P(x) ^ Q(x))



Qual é o valor lógico da proposição R(ANA) (P(Ana) ^ Q(Ana))?