Jankov-Fine論理式