CESPE / CEBRASPE-2010) Um argumento válido é uma sequência finita de proposições em que algumas são chamadas premissas e assumidas como verdadeiras...

CESPE / CEBRASPE-2010) 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. (2 Pontos) Josué foi aprovado no concurso e não mudou de cidade. Josué não foi aprovado no concurso e mudou de cidade. Se Josué não mudou de emprego, então Josué não mudou de cidade. Se Josué não mudou de emprego, então Josué não foi aprovado no concurso. Josué não foi aprovado no concurso ou não mudou de cidade.