deductive

ที่ใช้การอนุมานแบบนิรนัย