Um argumento válido é uma sequência finita de proposições...
Imagem de fundo

Um argumento válido é uma sequência finita de proposições...

Um argumento válido é uma sequência finita de proposições em que algumas são chamadas premissas e assumidas como verdadeiras, e as demais são conclusões que se garantem verdadeiras em consequência da veracidade das premissas e de conclusões previamente estabelecidas.


Suponha que a proposição “Se Josué foi aprovado no concurso e mudou de cidade, então Josué mudou de emprego” seja uma premissa de um argumento. Se a proposição “Josué não mudou de emprego” for outra premissa desse argumento, uma conclusão que garante sua validade é expressa pela proposição


A

Josué foi aprovado no concurso e não mudou de cidade.


B

Josué não foi aprovado no concurso e mudou de cidade.


C

Josué não foi aprovado no concurso ou não mudou de cidade.


D

Se Josué não mudou de emprego, então Josué não mudou de cidade.


E

Se Josué não mudou de emprego, então Josué não foi aprovado no concurso.