Önermelerin Geçerliliği: Bütün yorumlamaları doğru olan, hiçbir yanlışlayıcı yorumlaması bulunmayan bir önerme geçerlidir. Tüm yorumları doğru olan, her durumda doğru olan önermeye totolojik önerme de denir. En az bir yanlış yorumlaması olan önerme ise geçersizdir.