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 concl...

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
)) Josué foi aprovado no concurso e não mudou de cidade.
)) Josué não foi aprovado no concurso e mudou de cidade.
)) Josué não foi aprovado no concurso ou não 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.