有効な引数は常にtrueですか？

Question

離散数学では、議論が有効であれば、すべての前提と結論は真実であると言われる人もいますが、議論は有効かもしれませんが、すべての前提と現実には結論が現れます。考えているのは正しいですか？

Answer 1

"地球は今日爆発し、" あれば "すべての人間が死んでしまう"。

有効な議論でも、仮説も結論も真実ではない（実際には...）。

Answer 2

人の用語はさまざまです。しかし、私の学界では...

結論が真実であることが前提条件が真であることが不可能な場合、議論は「有効」である。その定義は、前提や結論の真実についてはまったく主張しません。

引数が有効で、すべての文（前提と結論）が真（実際にはOPが言う）の場合、引数は "音"です。