ผลต่างระหว่างรุ่นของ "สัจพจน์"
เนื้อหาที่ลบ เนื้อหาที่เพิ่ม
ล ลบหมวดหมู่:ศัพทวิทยาคณิตศาสตร์; เพิ่มหมวดหมู่:คำศัพท์คณิตศาสตร์ด้วยฮอทแคต |
ล เพิ่มคำแปลภาษาอังกฤษสำหรับ "นิเสธ" และลิ้ง |
||
บรรทัด 48:
==== ตัวอย่าง ====
===== ตรรกศาสตร์เชิงประพจน์ =====
ใน[[ตรรกศาสตร์เชิงประพจน์]] โดยปกติแล้วจะมี[[สูตรเชิงตรรกะ]]ที่กำหนดให้เป็นสัจพจน์ดังนี้ เมื่อให้ <math>\phi</math>, <math>\chi</math>, and <math>\psi</math> เป็น[[สูตรเชิงตรรกะ]]ใดๆ ในภาษารูปนัย ภายใต้[[ตัวดำเนินการทางตรรกศาสตร์]]เพียงสองอันได้แก่ "<math>\neg</math>" [[นิเสธ]] (อังกฤษ: [[:en:Negation|negation]]) ของประพจน์ และ "<math>\to\,</math>" [[เงื่อนไข (ตรรกศาสตร์)]] ที่เชื่อมประพจน์จากเหตุไปสู่ผล:
# <math>\phi \to (\psi \to \phi)</math>
|