B u çalışmada Heyting'in üç değerli mantığı açısından dinî sözcelerin kendi içindeki tutarlılıkları, birbiriyle tutarlılıkları, birbirine eşdeğerlilikleri ve bu sözcelerden hareketle oluşturulan çıkarımların geçerlilikleri denetlenmektedir. Bunun yanı sıra bu sözcelerin ve onlardan hareketle oluşturulan çıkarımların geçerlilikleri iki değerli mantık ve Lukasiewicz'in üç değerli mantığı açısından gösterilerek bu üç mantık arasında bir karşılaştırma da yapılmaktadır. Yöntem olarak ise doğruluk tablosu kullanılmaktadır.

I n this study, consistencies of religious utterances within themselves and each other, their equivalencies to each other and validities of the inferences generated based on these utterances were analysed from the point of Heyting's threevalued logic. Besides, validities of these utterances and the inferences generated based on these utterances were also demonstrated from the point of two-valued logic and Lukasiewicz's three-valued logic and these three logics were compared. Truth table method was adopted as the method.