命題
意味
論理学で、真である、偽であるなどといいうる言語的に表現された判断
定理
。
公理
によって導き出されるもの。正しいのか間違っているのか、真偽がはっきりとわかる文
真実か虚偽かを判定できる主張