{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

Symbolic Logic - One-way Sequents

Symbolic Logic - One-way Sequents - Term Definition Modus...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
Term: Modus Tollens Definition: P->Q, -Q therefore -P Term: Disjunctive Syllogism Definition: P\/Q, -Q therefore P Term: Law of Identity Definition: Therefore P ->P Term: Denial Definition: -P therefore -(P /\ Q) Term: Ex Falso Quodlibet Definition: P, -P therefore Q
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
Term: Absorption Definition: P->Q therefore P ->(P/\Q) Term:
Background image of page 2
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}