Vasaras versija 2025
410 995 šķirkļi
daudzvērtību loģika vārdkoptermins
daudzvērtību loģika
Formālās loģikas sistēma izteikumu loģikas matemātisko modeļu pētīšanai, kas izteikumu interpretācijā lieto vairāk par divām patiesumvērtībām.