Chama-se argumento toda a
afirmação de que uma dada sequencia finita P1, P2, P3,...,Pn (n >=1) de
proposições tem como consequência uma proposição final Q. P1, P2, P3,..., Pn:
Premissas Q: conclusão do argumento.
CRITÉRIOS DE VALIDADE
Um argumento P1, P2, P3,..., Pn ├ Q é válido se e somente
se a conclusão Q é verdadeira todas as vezes que as premissas P1, P2, P3,...,
Pn são verdadeiras. A validade ou não validade de um argumento depende apenas
da sua forma e não de seu conteúdo ou da verdade e falsidade das proposições
que o integram. Sendo que todo argumento válido tem uma forma válida.
Exercícios
a)
Toda baleia é um mamífero
Todo mamífero tem
pulmões
Logo, toda baleia tem
pulmões
Resposta: Argumento
válido e conclusão verdadeira.
b)
Toda aranha tem seis pernas
Todo ser de seis
pernas tem asas
Logo, toda aranha tem
asas
Resposta: Argumento
válido e conclusão falsa.
c)
Se eu ganhar na loteria, serei rico
Eu não ganhei na
loteria
Logo, não sou rico
Resposta: Argumento
não válido, a conclusão não é uma decorrência lógica de suas premissas.
d)
Ela toca piano ou violão
Ela toca piano
Logo, ela não toca
violão
Resposta: Argumento
inválido
e)
Se Matheus está no campo de futebol, então
José está no trabalho e Leonardo deve estar jogando.
José não está no
trabalho
Portanto, Matheus não
está no campo de futebol.
p: Matheus está no
campo de futebol, q: José está no trabalho e r: Leonardo está jogando.
Temos então, em sua
linguagem simbólica, as premissas:
[p → (q ^ r) ^ ~q] ⇒
~p,
validando em tabela verdade.
|
P
|
Q
|
R
|
q
^ r
|
p
→ (q ^ r)
|
~q
|
~p
|
|
V
|
V
|
V
|
V
|
V
|
F
|
F
|
|
V
|
V
|
F
|
F
|
F
|
F
|
F
|
|
V
|
F
|
V
|
F
|
F
|
V
|
F
|
|
V
|
F
|
F
|
F
|
F
|
V
|
F
|
|
F
|
V
|
V
|
V
|
V
|
F
|
V
|
|
F
|
V
|
F
|
F
|
V
|
F
|
V
|
|
F
|
F
|
V
|
F
|
V
|
V
|
V
|
|
F
|
F
|
F
|
F
|
V
|
V
|
V
|
Resposta: Argumento
válido de acordo com suas premissas.
Nenhum comentário:
Postar um comentário