ผลต่างระหว่างรุ่นของ "ผู้ใช้:Thastp/ทดลองเขียน2"
เนื้อหาที่ลบ เนื้อหาที่เพิ่ม
บรรทัด 56:
:<math>\Gamma</math> <math>\vdash</math> <math>A</math> เป็นจริงก็ต่อเมื่อไม่มีโลกที่เป็นไปได้ที่สมาชิกของ <math>\Gamma</math> ทั้งหมดเป็นจริง แล้ว <math>A</math> เป็นเท็จ (ไม่จริง)
พิจารณาคำอธิบายเชิงอัญรูปในรูปของการให้เหตุผลซึ่งได้ให้ตัวอย่างไว้ด้านบน:
:กบทุกตัวสีเขียว
:เคอร์มิตเป็นกบ
:เพราะฉะนั้น เคอร์มิตตัวสีเขียว
ข้อสรุปเป็นผลพวงเชิงตรรกะของข้อตั้งเพราะเราไม่สามารถจินตนาการถึงโลกที่เป็นไปได้ใด ๆ เลยที่ (ก) กบทุกตัวสีเขียว (ข) เคอร์มิตเป็นกบ แล้ว (ค) เคอร์มิตตัวสีไม่เขียว
=== คำอธิบายเชิงอัญรูป-รูปนัย ===
|