is by assuming that P is false and

is by assuming that P is false and deriving

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

โดยสมมติว่า P เป็นเท็จ และบริษัทฯ

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

โดยสมมติว่า P ​​เป็นเท็จและมา

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

โดยสมมติให้ P เป็นเท็จและอนุพันธ์