Rudens versija 2025
412 004 šķ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.