Pavasara versija 2024
400 923 šķ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.