Nota: por problemas de software a conjunção tem o símbolo &.
Actividade: Formalizar argumentos - associa a cada um a formalização correspondente abaixo apresentada.
Ponto de Partida: 1ª tarefa: identificar a CONCLUSÃO do argumento. Esta tarefa é a mais enganadora: pensamos ser fácil e muitas vezes não é.
a) Se souber lógica, então saberei avaliar o argumento. Sei lógica. Daí que saiba avaliar o argumento.
b) Se souber lógica, constato a validade deste argumento. Mas não constato a validade deste argumento. Logo, não sei lógica.
c) Se for à praia e tomar banho, leio um livro. Sucede que não leio um livro, portanto não vou à praia e tomo banho.
d) Está a chover, uma vez que se não chovesse as pessoas não estavam molhadas e as pessoas estão molhadas.
e) A Ana não está contente, pois quando tira positiva num teste fica contente e sempre que fica contente canta. Acontece que a Ana não canta.
((~P → ~Q) & R) → P
((P → Q) & P) → Q
((P → Q) & ~P) → ~Q
((P & Q) → R) & ~R) → ~ (P & Q)
(((P → Q) & (Q → R)) & ~R) → ~Q
Sem comentários:
Enviar um comentário