トップ 2015年 1月 14日 2015年1月14日 ロジカルバナナ 述語論理 ネタ orumin 1544 0 0 0 0 ツイート 0 いいね!0 みそ @misolmiso ロジカルバナナ! 2015-01-14 19:50:02 部屋の掃除 @ryna4c2e @misolmiso バナナならば黄色い! 2015-01-14 19:50:20 やましろ @tokkaka バナナが存在している 2015-01-14 19:50:21 みそ @misolmiso @ryna4c2e 黄色いならばレモン! 2015-01-14 19:52:42 部屋の掃除 @ryna4c2e @misolmiso レモンならばすっぱい! 2015-01-14 19:53:21 みそ @misolmiso 誤謬を言ったら負け 2015-01-14 19:53:30 やましろ @tokkaka ロジカルバナナってLKみたいなやつのことでしょ? 2015-01-14 19:53:59 みそ @misolmiso @ryna4c2e バナナならば酸っぱいとは、任意のバナナで言えるのでしょうか 2015-01-14 19:54:08 みそ @misolmiso ロジカルバナナの公理系 2015-01-14 19:54:42 おはぎ @ohayo_ohayo_ 任意の黄色いものはレモンである 2015-01-14 19:54:49 みそ @misolmiso バナナ → バナナ 2015-01-14 19:55:03 やましろ @tokkaka バナナならば黄色いから始めて、任意の論理式を証明していく方法 2015-01-14 19:55:10 部屋の掃除 @ryna4c2e @misolmiso 酸っぱくないバナナなら昨日食べたので、今は存在しません。 2015-01-14 19:55:10