For every statement P,"P or -P" is

For every statement P,"P or -P" is a valid step in a proof
For example, given two lines, we may assert that either they intersect or they are parallel.

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

สำหรับทุกงบ P, "P หรือ -P" เป็นขั้นตอนที่ถูกต้องในหลักฐานตัวอย่าง ให้สองบรรทัด เราอาจยืนยันรูปว่า จะอิน หรือจะขนานกัน

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

สำหรับงบกำไรทุก "P หรือ -P"
เป็นขั้นตอนที่ถูกต้องในการพิสูจน์ตัวอย่างเช่นกำหนดเส้นสองเส้นที่เราอาจจะยืนยันว่าทั้งที่พวกเขาตัดหรือพวกเขาจะเป็นแนวขนาน

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

แล้วจะให้ผู้เข้าชมทำนอกเหนือจากการดำน้ำและว่ายน้ำที่เกาะน้องสาวมารีน่าปาร์ค