Negation

คำจำกัดความภาษาไทย #1

นิเสธ

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

English Definition

In logic, a formal operation that takes a proposition and replaces it with its contradictory. If a statement is true, its negation is false, and vice versa.

คำจำกัดความภาษาไทย #2

นิเสธ (การปฏิเสธ)

ตัวดำเนินการทางตรรกะที่กลับค่าความจริงของประพจน์ ถ้า P เป็นจริง นิเสธของ P (¬P) จะเป็นเท็จ เฟรเกถือว่านิเสธเป็นฟังก์ชันที่จับคู่ค่าความจริงเข้ากับค่าตรงข้ามของมัน

English Definition

A logical operator that reverses the truth value of a proposition. If P is true, then not-P (¬P) is false. Frege treated negation as a function that maps truth-values to their opposites.