เมนูนำทาง Entailment คำอธิบายเชิงรูปนัย ดูเพิ่ม คำอธิบายเชิงอัญรูป คุณสมบัติก่อนประสบการณ์ของผลพวงเชิงตรรกะ การพิสูจน์และตัวแบบ อ้างอิง