論法(argument)は、前提(premise)と呼ぶ与えられた命題P1、P2、…、Pnが結論(conclusion)と呼ぶもう１つの命題Qを結果として生み出す主張である。 ある論法が真なら妥当な(valid)論法と呼ばれ、偽ならば誤り(fallacy)と呼ばれる。 例： S1: ある男が独身なら…