Follow

AならばB、A。ゆえにBみたいな形を(形式的)妥当って捉えていたけど、すべての前提が真かつ結論が偽にならない論証が妥当なのか。なんか前者は論理的であるための必要条件を言っているようながするけど後者は論証の必要十分条件のようなものを言っている気がする。整理できていないからちょっと考えよう。

Sign in to participate in the conversation
Mathtodon

A Mastodon instance named Mathtodon, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.