ผลต่างระหว่างรุ่นของ "ผู้ใช้:Thastp/ทดลองเขียน3"
เนื้อหาที่ลบ เนื้อหาที่เพิ่ม
ไม่มีความย่อการแก้ไข |
ไม่มีความย่อการแก้ไข |
||
บรรทัด 8:
| group0 = ทั่วไป
| list0 =
* [[ภาษารูปนัย]] (Formal language
* [[กฎการก่อรูป]] (Formation rule
* [[การพิสูจน์เชิงรูปนัย]] (Formal proof)
* [[อรรถศาสตร์เชิงรูปนัย (ตรรกศาสตร์)|อรรถศาสตร์เชิงรูปนัย]] (Semantics of logic)
* [[Well-formed formula]]
* [[Set (mathematics)|Set]]
| |||