Bir grup önermenin tümünün aynı zamanda doğru olabilmesi bu önermeler grubunun tutarlı olması demektir. Anlamlı olan ve kesin bir yargı bildiren tümcelere ise önerme denir. Kimi doğru önermelerin doğru olmaları gerçekliğin durumuna bağlıdır. Yani gerçekliğin başka türlü olması ve dolayısıyla bu önermelerin doğruluk değerinin değişmesi mümkündür. Bu tür önermelere olumsal olarak doğru önermeler, bu tür doğruluğa da olumsal doğruluk denir. Mantık ise düzgün akıl yürütme kurallarının bilimi olarak tanımlanır.