Para os meus
alunos do 11º19, 11º17 e 11º35 praticar em casa para o próximo teste, alguns
inspectores de circunstâncias com 3 variáveis proposicionais
1) P ˄ Q, P→R, Q→R I= R
2) P→Q, Q→R I= P→R
3) P↔Q, Q↔R I= P↔R
4) P v R, I= Q v P
5) P v (Q ˄ R) I= R → (Q ˄ P)
6) P v Q, (R → Q) ˄ (R v P) I= P ˄ Q
7) ┐(Q v R) → ┐Q, Q v ┐R I= ┐(P ˄ Q)
3 comentários:
Será que poderia colocar a correção?
Podemos utilizar o inspetor numa qualquer tabela de verdade, ex. (PVQ)<->(~P->Q)
Há uma diferença. Um inspetor é uma tabela que serve para verificar se existe alguma circunstância em que sendo as premissas verdadeiras, a conclusão possa ser falsa, regra da validade dedutiva. Por isso inspetores são tabelas de verdade que se aplicam a argumentos completos. Se quiser fazer a tabela de verdade de apenas uma premissa (como no exemplo que deu) aí o processo é o mesmo, mas está apenas a aplicar a tabela sem pretender verificar a validade do argumento, uma vez que não existe aí qualquer argumento
Enviar um comentário