Um argumento válido é uma sequência finita de proposições em que algumas são cha...

Questão de Raciocínio Lógico da banca CESPE CEBRASPE aplicada no concurso SAD PE (2009). Confira a resolução completa abaixo:

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