AdditionIf P is a premise, we can u

Addition
If P is a premise, we can use Addiction rule to derive P ∨ Q.

Conjunction
If P and Q are two premises, we can use Conjunction rule to derive P ∧ Q.

Simplification
If P ∧ Q is a premise, we can use Simplification rule to derive P.

Modus Ponens
If P and P→Q are two premises, we can use Modus Ponens to derive Q.

Modus Tollens
If P→Q and ¬Q are two premises, we can use Modus Tollens to derive ¬P.


Disjunctive Syllogism
If ¬P and P ∨ Q are two premises, we can use Disjunctive Syllogism to derive Q.

Hypothetical Syllogism
If P→Q and Q→R are two premises, we can use Hypothetical Syllogism to derive P→R

Constructive Dilemma
If ( P→Q ) ∧ (R→S) and P ∨ R are two premises, we can use constructive dilemma to derive Q ∨ S.

Destructive Dilemma
If (P→Q) ∧ (R→S) and ¬Q ∨ ¬S are two premises, we can use destructive dilemma to derive P ∨ R.

wet

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

นอกจากนี้ถ้า P เป็นสถาน เราสามารถใช้กฎการติดยาเสพติดได้ P ∨ Qร่วมถ้า P และ Q เป็นสถานที่สอง เราสามารถใช้กฎร่วมได้ P ∧ Qเข้าใจง่ายถ้า P ∧ Q สถาน เราสามารถใช้กฎเข้าใจง่ายได้ pโมดัส Ponensถ้า P และ P→Q สถานสอง เราสามารถใช้ Ponens ดัสได้ Qโมดัส Tollensหาก P→Q และ ¬Q เป็นสถานที่สอง เราสามารถใช้ Tollens ดัสได้ ¬PDisjunctive Syllogismถ้ามีสองสถาน ¬P และ P ∨ Q เราสามารถใช้ Disjunctive Syllogism ได้ Qสมมุติ Syllogismหาก P→Q และ Q→R เป็นสถานที่สอง เราสามารถใช้ Syllogism สมมุติได้ P→Rสร้างสรรค์ขึ้นเขียงถ้า∧ (P→Q) (R→S) และ P ∨ R มีสองสถาน เราสามารถใช้สร้างสรรค์ขึ้นเขียงได้ Q ∨ s ได้ขึ้นเขียงทำลายถ้า∧ (P→Q) (R→S) และ ¬Q ∨ ¬S เป็นสถานที่สอง เราสามารถใช้ทำลายขึ้นเขียงได้ P ∨ rเปียก

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

นอกจากนี้
ถ้า P เป็นสถานที่ที่เราสามารถใช้กฎติดยาเสพติดให้ได้มาซึ่ง P ∨ Q.

ร่วม
ถ้า p และ q เป็นสองสถานที่ที่เราสามารถใช้กฎร่วมจะได้รับ P ∧ Q.

เข้าใจง่าย
ถ้า P ∧ Q คือสถานที่ที่เราสามารถใช้ กฎความเรียบง่ายที่จะได้รับพี

Modus Ponens
ถ้า P และ P → Q สองสถานที่ที่เราสามารถใช้ Modus Ponens จะได้รับ Q.

Modus Tollens
ถ้า P → Q และ¬Qสองสถานที่ที่เราสามารถใช้ Modus Tollens จะได้รับ¬P


ตรรกศาสตร์ disjunctive
หาก¬Pและ P ∨ Q สองสถานที่ที่เราสามารถใช้ตรรกศาสตร์ disjunctive ที่ได้รับมาถาม

สมมุติตรรกศาสตร์
ถ้า P → Q และ Q → R สองสถานที่ที่เราสามารถใช้ตรรกศาสตร์สมมุติให้ได้มาซึ่ง P → R

Dilemma สร้างสรรค์
IF ( P → Q) ∧ (R → S) และ P ∨ R สองสถานที่ที่เราสามารถใช้ขึ้นเขียงสร้างสรรค์ที่จะได้รับ Q ∨เอส

Dilemma ทำลาย
หาก (P → Q) ∧ (R → S) และ¬Q∨¬Sมี สองสถานที่ที่เราสามารถใช้ขึ้นเขียงให้ได้มาซึ่งการทำลายล้าง P ∨อาร์

เปียก

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

นอกจากนี้ถ้า p เป็นสถานที่เราสามารถใช้ติดกฎจาก P ∨ Qคำสันธานถ้า P และ Q เป็นสองสถานที่ เราสามารถใช้ร่วมกับกฎจาก P ∧ Qหนึ่งเดียวถ้า P ∧ Q คือหลักฐานที่เราสามารถใช้กฎการสร้างหน้าวิธีการ ponensถ้า P และ P → keyboard - key - name Q เป็นสองสถานที่ เราสามารถใช้วิธีการ ponens จาก Qวิธีการ tollensถ้า P → keyboard - key - name Q และ Q คือ¬สองสถานที่ เราสามารถใช้วิธีการ tollens มา¬ Pการอ้างเหตุผลดิซจังถ้า¬ p p และ q เป็น∨สองสถานที่ที่เราสามารถใช้ในการอ้างเหตุผล เพื่อให้ได้มาซึ่งดิซจัง .การอ้างเหตุผล .ถ้า P → keyboard - key - name Q และ Q R → keyboard - key - name เป็นสองสถานที่ที่เราสามารถใช้ในการอ้างเหตุผลสมมุติจาก P R → keyboard - key - nameไม่สร้างสรรค์ถ้า ( P → keyboard - key - name q ) ∧ ( R → keyboard - key - name ) และ P ∨ R เป็นสองสถานที่ เราสามารถใช้สร้างสรรค์ไม่สร้าง∨ Q sไม่ทำลายถ้า ( P → keyboard - key - name q ) ∧ ( R → keyboard - key - name ด้วย ) และ¬ Q ∨¬ S เป็นสองสถานที่ เราสามารถใช้ทำลายขึ้นเขียงเพื่อสืบทอด P ∨ Rเปียก