Geleneksel terim mantığından farklı olarak modern mantık kuramı, yapısı itibariyle, atomsal (yani mantıksal olarak yalın) önermelerin doğruluk fonksiyonlu molekülleri oluşturacak çeşitli bileşme biçimlerinin bir incelemesiyle ...