Describir: Logika ako veda