An argument is valid if and only if

An argument is valid if and only if the truth of its premises entails the truth of its conclusion and each step, sub-argument, or logical operation in the argument is valid. Under such conditions it would be self-contradictory to affirm the premises and deny the conclusion. The corresponding conditional of a valid argument is a logical truth and the negation of its corresponding conditional is a contradiction. The conclusion is a logical consequence of its premises.

An example of a valid argument is given by the following well-known syllogism:

All men are mortal.
Socrates is a man.
Therefore, Socrates is mortal.

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

อาร์กิวเมนต์ที่ถูกต้องเท่านั้นหากความจริงของสถานก่อให้เกิดความจริงสิ้นสุด และแต่ละขั้นตอน อาร์กิวเมนต์ย่อย หรือแม้แต่การดำเนินการทางตรรกะในอาร์กิวเมนต์ไม่ถูกต้อง ภายใต้เงื่อนไขดังกล่าว มันจะ self-contradictory เพื่อยืนยันสถาน และปฏิเสธข้อสรุป มีเงื่อนไขที่สอดคล้องกันของอาร์กิวเมนต์ถูกต้องเป็นความจริงเชิงตรรกะ และนิเสธของเงื่อนไขสอดคล้องกันคือ ความขัดแย้ง สรุปคือ ผลทางตรรกะของสถานตัวอย่างของอาร์กิวเมนต์ถูกต้องถูกกำหนด โดย syllogism รู้จักต่อไปนี้:ทุกคนเป็นมนุษย์โซเครตีสเป็นคนดังนั้น โสกราตีเป็นมนุษย์

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

ข้อโต้แย้งที่ถูกต้องและถ้าหากความจริงของสถานที่สร้างความจริงของข้อสรุปและแต่ละขั้นตอนย่อยโต้แย้งหรือการดำเนินงานในการโต้เถียงตรรกะที่ถูกต้อง ภายใต้เงื่อนไขดังกล่าวก็จะมีความขัดแย้งในตัวเองเพื่อยืนยันสถานที่และปฏิเสธข้อสรุป เงื่อนไขที่สอดคล้องกันของอาร์กิวเมนต์ที่ถูกต้องเป็นจริงตรรกะและการปฏิเสธของเงื่อนไขที่สอดคล้องกันคือความขัดแย้ง ข้อสรุปที่เป็นผลมาจากตรรกะของสถานที่. ตัวอย่างของอาร์กิวเมนต์ที่ถูกต้องจะได้รับจากการอ้างเหตุผลต่อไปนี้ที่รู้จักกันดี: มนุษย์ทุกคนต้องตาย. โสกราตีสเป็นคนที่. ดังนั้นโสกราตีสเป็นคู่อาฆาต