(p →q)↔(¬q → ¬p) and show that it i

(p →q)↔(¬q → ¬p) and show that it is a tautology. Writing p → q as U
and ¬q → ¬p as V, the details are displayed in Table 1.12. Since the last column
of Table 1.12 is a tautology, U and V are logically equivalent. Notice that the
columns U → V and V → U are tautologies to make this last column a tautology.

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

↔ (p →q) (¬q → ¬p) และดูว่า มันเป็นแบบ tautology เขียน p → q เป็น Uและ ¬q → ¬p เป็น V แสดงรายละเอียดในตาราง 1.12 ตั้งแต่คอลัมน์สุดท้ายตาราง 1.12 เป็น tautology เป็น และ V จะเทียบเท่า สังเกตที่การคอลัมน์ U → V และ V จะ tautologies เพื่อให้คอลัมน์สุดท้ายนี้เป็น tautology →

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

(พี→ด) ↔ (¬q→¬p) และแสดงให้เห็นว่ามันเป็นสิ่งที่ซ้ำซาก เขียนพี→คิวเป็น U
และ¬q→¬pเป็น V รายละเอียดแสดงในตารางที่ 1.12 ตั้งแต่คอลัมน์สุดท้ายของตารางที่ 1.12 เป็นซ้ำซาก, U และ V มีเหตุผลเทียบเท่า
ขอให้สังเกตว่าคอลัมน์ U → V และ V → U มี tautologies เพื่อให้คอลัมน์สุดท้ายนี้ซ้ำซาก

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

( P → keyboard - key - name q ) ↔ ( ¬ Q → keyboard - key - name ¬ P ) และแสดงให้เห็นว่ามันเป็นโฉด . เขียน P → keyboard - key - name Q และ Q u
¬→ keyboard - key - name ¬ P เป็น V รายละเอียดแสดงในตาราง 1.12 . ตั้งแต่ช่วงคอลัมน์
โต๊ะ 1.12 เป็นโฉด U V เป็นตรรกะและเทียบเท่า สังเกตว่า
คอลัมน์ u → keyboard - key - name V และ V U tautologies → keyboard - key - name เพื่อให้คอลัมน์สุดท้ายเป็นโฉด .