Toda afirmação de que várias proposições p (p1,p2,...,pn) têm por consequência uma outra proposição q constitui um argumento. Um argumento é válido quando