論証
論証（ろんしょう、）とは、論理学の用語で、前提（premises）と呼ばれる宣言的文の集まりと結論（conclusion）と呼ばれる宣言的文から構成され、前提群から結論が真であることが導き出せることを主張したものである。そのような論証には、妥当なものと妥当でないものがある。なお、個々の宣言的文は真（true）か偽（false）かで判断されるが、論証は妥当（valid）か妥当でない（invalid）かで判断される。英語では、宣言的文をstatementや命題（proposition）と呼んでいたが、最近では哲学的な含意を避けるためsentenceと呼ぶことが多い。