今日は証明するカードについて書きます。証明というとなんだか人間にも難しく、機械にやらすには高度な人工知能が必要だと思うでしょう。コンピュータも電気も不要です。なんとこのカードは並べるだけで証明ができてしまうのです!とりあえずどんなのか見てみましょう。ダウンロードして名刺用紙に印刷してください。編集するといいと思います。このように印刷して、灰色の部分をポンチで穴を開けます。ホッチキス式のポンチではカード中ほどの穴に届かないので、その場合は手芸用のポンチを使うと良いです。するとこのような謎めいたカードが出来上がります。それぞれのカードはベン図になっています。穴の開いていない部分が真で、開いている部分が偽です。真であるという意味になります。C」を表すとこのようになります(理由は省略)。C」かどうか?を証明します。付いてる奴とついて無い奴があります。付いてる奴は「条件」を表し、付いてない奴は「質問」を表します。C」の三枚のカードを重ねて並べるだけです。証明が成功すれば、どう考えても真、すなわち穴無しの状態になります。さあ、上手く行くでしょうか?ドキドキ!おめでとうございます。オール白です!証明終了さて、これだけではつまらないので、証明が失敗する例も紹介します。A」だろうか?という良くある例です。これが正しければ「結婚したら太る」から「太ったら結婚出来る」が導けてしまいます。