The reader can check that the premi

The reader can check that the premises and conclusion are true, but Logic is concerned with inference: does the truth of the conclusion follow from that of the premises?

The validity of an inference depends on the form of the inference. That is, the word "valid" does not refer to the truth of the premises or the conclusion, but rather to the form of the inference. An inference can be valid even if the parts are false, and can be invalid even if some parts are true. But a valid form with true premises will always have a true conclusion.

For example, consider the form of the following symbological track:

All meat comes from animals.
Beef is a type of meat.
Therefore, beef comes from an animal.

ผลลัพธ์ (ไทย) 1:

ผู้อ่านสามารถตรวจสอบสถานที่และสรุปเป็นความจริง แต่ตรรกะเกี่ยวข้องกับข้อ: ไม่จริงของข้อสรุปตามที่สถานที่หรือไม่มีผลบังคับใช้ของข้อความขึ้นอยู่กับรูปแบบของข้อ นั่นคือ การคำ "ถูกต้อง" ไม่อ้างอิงความจริงของสถานที่หรือข้อสรุป แต่เป็นรูปแบบของข้อ ข้อความได้ถูกต้องแม้ว่าส่วนที่เป็นเท็จ และจะไม่ถูกต้องแม้ว่าบางส่วนเป็นจริง แต่แบบที่ถูกต้องกับสถานที่จริงจะมีบทสรุปที่แท้จริงพิจารณาตัวอย่าง แบบฟอร์มติดตาม symbological ต่อไปนี้:เนื้อทั้งหมดที่มาจากสัตว์เนื้อเป็นเนื้อชนิดหนึ่งดังนั้น เนื้อมาจากสัตว์

ผลลัพธ์ (ไทย) 2:

ผู้อ่านสามารถตรวจสอบว่าสถานที่และข้อสรุปที่เป็นจริง แต่ลอจิกเป็นกังวลกับการอนุมาน: ไม่จริงของข้อสรุปที่ตามมาจากที่ของสถานที่ความถูกต้องของข้อสรุปขึ้นอยู่กับรูปแบบของการอนุมานที่ นั่นคือคำว่า "ถูกต้อง" ไม่ได้หมายถึงความจริงของสถานที่หรือข้อสรุป แต่รูปแบบของการอนุมานที่ สามารถอนุมานถูกต้องแม้ว่าชิ้นส่วนเป็นเท็จและสามารถที่ไม่ถูกต้องแม้ว่าบางส่วนเป็นจริง แต่รูปแบบที่ถูกต้องกับสถานที่จริงมักจะมีข้อสรุปที่แท้จริง. ตัวอย่างเช่นพิจารณารูปแบบของการติดตาม symbological ต่อไปนี้:. เนื้อทั้งหมดมาจากสัตว์. เนื้อเป็นประเภทของเนื้อดังนั้นมาจากเนื้อสัตว์

ผลลัพธ์ (ไทย) 3:

ผู้อ่านสามารถตรวจสอบสถานที่และข้อสรุปที่เป็นความจริง แต่เหตุผลที่เกี่ยวข้องกับการอนุมาน : ความจริงของข้อสรุปตามจากที่ของสถานที่ ?

ความถูกต้องของการอนุมานขึ้นอยู่กับรูปแบบของการอนุมาน นั่นคือคำว่า " ถูกต้อง " ไม่ได้อ้างถึงความจริงของสถานที่หรือข้อสรุป แต่จะรูปแบบของการอนุมานการอนุมานสามารถใช้ได้แม้ว่าส่วนที่เป็นเท็จและจะไม่ถูกต้อง แม้บางส่วนจะถูกจริง แต่รูปแบบใช้ได้กับสถานที่จริงจะได้ข้อสรุปที่แท้จริง

ตัวอย่างเช่นพิจารณารูปแบบของการติดตามเกี่ยวกับการใช้สัญลักษณ์ต่อไปนี้ :

อาหารที่มาจากสัตว์
เนื้อเป็นชนิดเนื้อ
ดังนั้นเนื้อมาจากสัตว์