論証の例

入門!論理学から

Bではない、AならばB　→　Aではない　(否定式)

AまたはB、AならばC、BならばC　→　C　(いずれにせよ論法)

((Aではない)ではない)またはB　→　AまたはB