ผลต่างระหว่างรุ่นของ "ผู้ใช้:Thastp/ทดลองเขียน2"

เนื้อหาที่ลบ เนื้อหาที่เพิ่ม
Thastp (คุย | ส่วนร่วม)
Thastp (คุย | ส่วนร่วม)
บรรทัด 56:
:<math>\Gamma</math> <math>\vdash</math> <math>A</math> เป็นจริงก็ต่อเมื่อไม่มีโลกที่เป็นไปได้ที่สมาชิกของ <math>\Gamma</math> ทั้งหมดเป็นจริง แล้ว <math>A</math> เป็นเท็จ (ไม่จริง)
 
พิจารณาคำอธิบายเชิงอัญรูปในรูปของการให้เหตุผลซึ่งได้ให้ตัวอย่างไว้ด้านบน:
Consider the modal account in terms of the argument given as an example above:
 
:กบทุกตัวสีเขียว
:All frogs are green.
:เคอร์มิตเป็นกบ
:Kermit is a frog.
:เพราะฉะนั้น เคอร์มิตตัวสีเขียว
:Therefore, Kermit is green.
 
ข้อสรุปเป็นผลพวงเชิงตรรกะของข้อตั้งเพราะเราไม่สามารถจินตนาการถึงโลกที่เป็นไปได้ใด ๆ เลยที่ (ก) กบทุกตัวสีเขียว (ข) เคอร์มิตเป็นกบ แล้ว (ค) เคอร์มิตตัวสีไม่เขียว
The conclusion is a logical consequence of the premises because we can't imagine a possible world where (a) all frogs are green; (b) Kermit is a frog; and (c) Kermit is not green.
 
=== คำอธิบายเชิงอัญรูป-รูปนัย ===