Bir önermenin doğruluk değerinin bilinmemesi veya belirsiz olması durumunda kullanılan ve "doğru", "yanlış" dışında üçüncü bir değer kabul eden mantık sistemi hangisidir?
