Ta’rif. Agar ⊢ ℑ Þ ℬ bo‘lsa, u holda ℑ formula ℬ formuladan kuchliro=, ℬ formula esa ℑ formuladan kuchsizro= deyiladi. II 2 ta’rif
Rasmda raqamlar kiriting: