modal mantık
deyimAnlamlar
- 1
Klasik mantıktaki önerme eklemleri ve niceleyicilerden başka zorunluluk için “olması zorunludur” ve “olması mümkündür” olmak üzere iki tane de birli kiplik işlemcisi içeren mantık sistemi.
Klasik mantıktaki önerme eklemleri ve niceleyicilerden başka zorunluluk için “olması zorunludur” ve “olması mümkündür” olmak üzere iki tane de birli kiplik işlemcisi içeren mantık sistemi.