MAN.43 — Sembolik Mantık

Çıkarımların geçerliliğini denetler.

• Çıkarımların geçerliliğinin denetlemesi ile ilgili kurallar işlenmelidir.