選言三段論法の演繹的妥当性

「ＡまたはＢが種のないぶどうを作っている」「このぶどうは種がなく、Ｂが作ったぶどうではない」という前提から、町にはＡとＢの２軒しか農家がないため、「このぶどうはＡが作ったぶどうだ」と演繹的に導かれる。