0476132人目の素数さん垢版 | 大砲2018/02/23(金) 21:49:22.57ID:+V6W+U5Q 小野寛晰著『情報科学における論理』を読んでいます。 「基本的な命題を記号化、形式化したものとして命題変数を定義する。 ここで「基本的な命題」という言葉の意味は、複文に対する単文の ようにこれ以上分解することのできない文の最小単位ということである。」 などと書かれています。 これ以上分解することができない文の最小単位というのが分かりません。 なんかいきなりいい加減な感じの書きっぷりで戸惑っています。