選言三段論法と前件肯定による推論

「幕の内弁当またはサンドウィッチが出る」ことに加えて、「幕の内弁当が出るならば、お茶が出る」ことと「サンドウィッチが出ない」ことが言えるときは、選言三段論法により「幕の内弁当が出る」が導かれ、さらに前件肯定により「お茶が出る」ことが導かれる。