2022-02-10から1日間の記事一覧

紛れもない証明とか

論理

面白いパズルはつまらないパズルであることを証明する。 面白いパズルは紛れもなく良いパズルである。 紛れがないパズルはつまらないパズルである。 よって、面白いパズルはつまらないパズルである。