Eyniyyətli-həqiqi mülahizələr
Eyniyyətli-həqiqi mülahizələr — məntiqi hesablamaların mülahizələri, ifadələri və ya formullarıdır. Müvafiq eyniyyətli-yanlış mülahizələr və ya formullar onların dəyişənlərinin həqiqiliyinin istənilən qiymətlərində yanlış olacaqlar.
Mülahizələr və onlar üzərində məntiq əməlləri
Hər bir elmin özünə məxsus ilkin anlayışları vardır ki, onlar baxılan nəzəriyyə hüdudları daxilində ciddi məntiqi tərifə malik deyil. Riyazi məntiqin belə anlayışları sırasına “mülahizə”, “məntiq əməlləri”, “predikat” kimi anlayışlar daxildir. Belə anlayışların “tərifi” adi dilin qanunauyğunluqlarından istifadə olunmaqla, obyektin əsas xüsusiyyətlərini ifadə etməklə verilir, yəni anlayış öz xarakterik xüsusiyyətləri ilə təsvir olunur.
Tərif 1. Mülahizə elə nəqli cümləyə deyilir ki, onun doğru yaxud yalan olduğunu hökm etmək mümkün olsun.
Əlbəttə, nəqli cümlə anlayışı dəqiq tərif olunmadığı üçün onun doğru və ya yalan olması kriteriyası, ümumi halda, intuitiv olaraq müəyyən olunur. Verilən cümlənin doğru olması ona qarşı “
D
{\displaystyle D}
” doğruluq qiymətinin qarşı qoyulması, yalan oması isə “
Y
{\displaystyle Y}
” doğruluq qiymətinin qarşı qoyulması deməkdir. Bəzən bunların yerinə
1
{\displaystyle 1}
və
0
{\displaystyle 0}
ədədlərindən də istifadə olunur.
Misallar.
1.
