যুক্তিবিদ্যা পূর্বাভাস
লজিকের পূর্বাভাসের অর্থ হল একটি লজিক্যাল কাঠামো যা বিদুৎ চিহ্ন ব্যবহার করে সাধারণত, বিজড়িত বিজড়িত যুক্তিটি ব্যবহার করা হয়, তবে দ্বিতীয় অর্ডার লজিকের মতো উচ্চতর আদেশ বিভাজন লজিক ব্যবহার করা হয়। এটি ফাংশন লজিক বা কোয়ানাইজেশন লজিক নামেও পরিচিত, এবং এটি যুক্তিবিজ্ঞান যুক্তিবিজ্ঞানের তুলনায় বর্ধিত যুক্তি।