Fundamentos Matemticos para Computao Lgica da Argumentao Regras

Deve ser usado quando...

No deve ser usado quando...

1 Mtodo

Utilizao dos Diagramas (circunferncias)

O argumento apresentar as palavras todo, nenhum, ou algum

O argumento no apresentar tais palavras.

2 Mtodo

Construo das Tabelas-Verdade

Em qualquer caso, mas preferencialmente quando o argumento tiver no mximo duas proposies simples.

O argumento apresentar trs ou mais proposies simples.

3 Mtodo

Considerando as premissas verdadeiras e testando a concluso verdadeira

O 1 Mtodo no puder ser empregado, e houver uma premissa... ...que seja uma proposio simples; ou ... que esteja na forma de uma conjuno (e).

Nenhuma premissa for uma proposio simples ou uma conjuno.

4 Mtodo

Verificar a existncia de concluso falsa e premissas verdadeiras

O 1 Mtodo no puder ser empregado, e a concluso... ...tiver a forma de uma proposio simples; ou ... estiver a forma de uma disjuno (ou); ou ...estiver na forma de uma condicional (se...ento...)

A concluso no for uma proposio simples, nem uma disjuno, nem uma condicional.