Pavasara versija 2025
408 984 šķ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.