#-*- coding:utf-8 -*- from datetime import datetime def Euler32(): Number = set([str(i) for i in xrange(1,10)]) total = [] for i in xrange(1, 98): for j in xrange(12, 9876): max = i *j if max > 9999: break Num_list = list(str(i)) + list(st…

１型推論者 (1a)すべての恒真式を信じている。 (1b)もし彼がpとp→qを信じれば、qを信じる。２型推論者 １型推論者の能力とともに以下の能力を持っている。 (2)(Bp&B(p→q))→Bpを信じる ３型推論者 ２型推論者の能力とともに以下の能力を持っている。 (3)もし…