#-*- coding:utf-8 -*- import random from datetime import datetime #素数判定 def is_prime3(q,k=50): q = abs(q) if q == 2: return True if q < 2 or q&1 == 0: return False d = (q-1)>>1 while d&1 == 0: d >>= 1 for i in xrange(k): a = random.ran…

一型の論者＝命題論理を完全に理解するもの （１）論者はすべての恒真式を信じている。 （２）任意の命題X、Yに関して、その人はXとX→Yを信じるならば、Yを信じる。問題 教授 P「あなたが神が存在しないと正しく信じるならば、 そしてそのときにかぎり神は存…