Um argumento válido é uma sequência finita de proposiçôes em que algumas são chamadas premissas e
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
