สารานุกรม

Converse - ตรรกะ -

สนทนาในทางตรรกะประพจน์ที่เกิดจากการแลกเปลี่ยนหัวเรื่องและเพรดิเคตซึ่งกันและกัน ดังนั้นบทสนทนาของ“ No man is a pencil” คือ“ No pencil is a man” ใน syllogistics แบบดั้งเดิมโดยทั่วไปมีเพียงข้อเสนอE (เชิงลบสากล) และI (ยืนยันโดยเฉพาะ) เท่านั้นที่ให้การสนทนาที่ถูกต้อง การสนทนาของความสัมพันธ์ R คือความสัมพันธ์ S เช่นx S y ( yมีความสัมพันธ์ S ถึงx ) ถ้าและเฉพาะในกรณีที่y R x ( xมีความสัมพันธ์ R ถึงy ) ถ้าความสัมพันธ์เหมือนกันกับการสนทนามันจะสมมาตร

$config[zx-auto] not found$config[zx-overlay] not found