Académique Documents
Professionnel Documents
Culture Documents
RESUMINDO:
1. Na VALIDAÇÃO, a verdade vem da ESTRUTURA (aqui é proibido julgar as proposições);
2. Na CORREÇÃO, a verdade vem do JULGAMENTO das proposições ou do COMANDO.
2
1
14/09/2017
𝑃: 𝑝 ⟶ ~𝑞 V
V (1)
𝑃: ~𝑝 V
𝑄: q ?
F (1) F (2)
𝑃: 𝑝 ⟶ ~𝑞 V
V (3)
𝑃: ~𝑝 V
𝑄: q V
Por julgamento, todas as premissas e também a conclusão têm valor lógico verdadeiro. Assim, diz-se que o
argumento é CORRETO.
2
14/09/2017
V (1)
𝑃: 𝑞 V
𝑄: ~p V
V (1) F (2)
𝑃: 𝑝 ⟶ ~𝑞 F
V (3)
𝑃: 𝑞 V
𝑄: ~p F
Por julgamento, vê-se que a premissa 1 e a conclusão são falsas, logo o argumento NÃO É CORRETO.
3
14/09/2017