Amaliy matematika va informatika

2.2. Uchburchak uchun geometriya masalasini qo’yilishini formallashtirish
Ma’lumki, uchburchak haqidagi masalalarning berilishi asosan matn yoki chizma shaklida bo’ladi. Ushbu masalalarni yechilishini kompyuterda amalga oshirish uchun ularni formal tizimini hosil qilish kerak. Formal tizimni hosil qilish uchun esa masalaning parametrlari o’rtasidagi mantiqiy munosabatlarni tavsiflash kerak.

Uchburchakning parametrlari uchun mantiqiy funksiyalarni aniqlash

x₁ – a tomon;

x₂ – b tomon;

x₃ – c tomon;

x₄ - , a tomon qarshisidagi ichki burchak;

x₅ - b tomon qarshisidagi ichki burchak;

x₆ - , c tomon qarshisidagi ichki burchak;