Podemos agora definir “argumento”. Uma sequência de premissas que levam a uma conclusão é conhecida como argumento. Um argumento só será considerado válido se todas as premissas tiverem o valor lógico V, o mesmo da conclusão.
Dito de outra maneira: Em um argumento válido, a veracidade das premissas é garantia da veracidade da conclusão. A validade de um argumento depende, portanto, apenas de sua forma e não de seu conteúdo ou da verdade e falsidade das proposições que o compões.
Um argumento é válido se, em qualquer contexto em que suas premissas s˜ao simultaneamente verdadeiras, a sua conclus˜ao também é verdadeira. Um argumento é inválido se n˜ao é válido, isto é, se existe ao menos um contexto no qual as suas premissas s˜ao simultaneamente verdadeiras e a sua conclus˜ao é falsa.
Valor Lógico Os valores lógicos possíveis são: verdade (V) e falsidade (F). ... V (p) indica o valor lógico da proposição p. Assim, se a proposição p for verdadeira, V(p) = V; se a proposição p for falsa, V(p) = F.
Em filosofia e lógica, contingência é o modo de ser daquilo que não é necessário, nem impossível - mas que pode ser ou não. ... proposições necessariamente verdadeiras ou Tautologias, que devem ser verdadeiras, não importa quais são ou poderiam ser as circunstâncias.
O princípio da não-contradição foi (primeiramente) formulado por Aristóteles e diz-nos que uma proposição verdadeira não pode ser falsa e uma proposição falsa não pode ser verdadeira. Nenhuma proposição (na lógica clássica), portanto, pode ser os dois ao mesmo tempo.