Mathematical Logics with Truth

গাণিতিক যুক্তিযুক্ত অ্যাপ্লিকেশন নিম্নলিখিত বিষয় অন্তর্ভুক্ত:

> Negation - সত্য, মিথ্যা বা খোলা হিসাবে একটি বিবৃতি সনাক্ত করতে। প্রতীকী এবং বাক্য আকারে একটি বিবৃতি নেতিবাচক তালিকা। একটি প্রদত্ত বিবৃতি এবং এর নেতিবাচক জন্য সত্য মান তালিকা।

> সংযোগ - যৌক্তিক সংযোজক, যৌগ বিবৃতি, এবং সংযোজন সংজ্ঞায়িত। প্রতীকী এবং বাক্য আকারে একটি সংযোজন তালিকা। একটি সংযোগের জন্য একটি সত্য টেবিল গঠন করতে।

> বিচ্ছেদ - বিভাজন সংজ্ঞায়িত করতে। প্রতীক এবং বাক্য ফর্ম একটি বিচ্ছেদ তালিকা। একটি বিচ্ছেদ জন্য একটি সত্য টেবিল গঠন করা।

> শর্তাধীন বিবৃতি - একটি শর্তাধীন হাইপোথিসিস এবং উপসংহার সনাক্ত। প্রতীকী এবং বাক্য আকারে একটি শর্তাধীন তালিকা। একটি শর্তাধীন সত্য মান তালিকা, প্রতিটি অংশ মান দেওয়া।

> বিন্দু বিন্দু বিবৃতি - প্রতীকী এবং বাক্য আকারে একটি biconditional তালিকা। অনুমান এবং উপসংহার সনাক্ত করতে। এটি একটি বাইনারি শর্ত কিনা তা নির্ধারণ করার জন্য একটি বাক্য মূল্যায়ন করা।

Tautologies একটি যৌগ বিবৃতি পৃথক অংশ সনাক্ত করতে। এটি একটি tautology কিনা তা নির্ধারণ করার জন্য একটি যৌগ বিবৃতি জন্য একটি সত্য টেবিল নির্মাণ।

> দ্বন্দ্ব

> সামঞ্জস্য

> 3 ভেরিয়েবল সঙ্গে সত্য টেবিল

> ভেন ডায়াগ্রাম