ตรรกศาสตร์

Front

ประพจน์คืออะไร?

Back

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

Front

ค่าความจริงของประพจน์คืออะไร?

Back

ค่าความจริงของประพจน์คือสถานะที่บ่งบอกว่าประพจน์นั้นเป็นจริง (T) หรือเท็จ (F).

Front

สัญลักษณ์ T และ F หมายถึงอะไร?

Back

T หมายถึง 'จริง' และ F หมายถึง 'เท็จ'.

Front

การเชื่อมโยงทางตรรกศาสตร์ (Logical Connectives) คืออะไร?

Back

การเชื่อมโยงทางตรรกศาสตร์คือสัญลักษณ์ที่ใช้ในการสร้างประพจน์ใหม่จากประพจน์ที่มีอยู่ เช่น AND (∧), OR (∨), NOT (~), IMPLIES (→), และ IFF (↔).

Front

ประพจน์ที่ใช้สัญลักษณ์ AND (∧) มีค่าความจริงอย่างไร?

Back

ประพจน์ที่ใช้ AND (∧) จะเป็นจริงก็ต่อเมื่อทั้งสองประพจน์ที่เชื่อมโยงกันเป็นจริง.

Front

ประพจน์ที่ใช้สัญลักษณ์ OR (∨) มีค่าความจริงอย่างไร?

Back

ประพจน์ที่ใช้ OR (∨) จะเป็นจริงถ้าประพจน์อย่างน้อยหนึ่งในสองประพจน์ที่เชื่อมโยงกันเป็นจริง.

Front

สัญลักษณ์ NOT (~) หมายถึงอะไร?

Back

สัญลักษณ์ NOT (~) ใช้เพื่อกลับค่าความจริงของประพจน์ เช่น ถ้าประพจน์เป็นจริง จะกลายเป็นเท็จ.

Front

การเขียนประพจน์ในรูปสัญลักษณ์คืออะไร?

Back

การเขียนประพจน์ในรูปสัญลักษณ์คือการใช้สัญลักษณ์ทางตรรกศาสตร์แทนข้อความที่เป็นประพจน์เพื่อให้เข้าใจง่ายขึ้น.

Front

การแสดงความสัมพันธ์ระหว่างประพจน์ด้วยสัญลักษณ์ IMPLIES (→) คืออะไร?

Back

IMPLIES (→) แสดงความสัมพันธ์ว่า ถ้าประพจน์แรกเป็นจริง ประพจน์ที่สองจะต้องเป็นจริงด้วย.

Front

การแสดงความสัมพันธ์ระหว่างประพจน์ด้วยสัญลักษณ์ IFF (↔) คืออะไร?

Back

IFF (↔) แสดงความสัมพันธ์ว่า ประพจน์ทั้งสองมีค่าความจริงเหมือนกัน คือทั้งสองเป็นจริงหรือทั้งสองเป็นเท็จ.