{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

Symbolic Logic - Basic Rules

Symbolic Logic - Basic Rules - Term Definition Rule of...

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

View Full Document Right Arrow Icon
Term: Rule of Assumption Definition: We may introduce any proposition of a proof anywhere within that proof (A) Term: Modus Ponens Definition: P -> Q, P therefore Q Term: Double Negation Definition: - - P entails P and vice versa Term: /\- introduction / Conjunction Definition: Given P and Q separately we can derive P /\ Q Term: /\ elimination / simplification Definition: Given P /\ Q we can derive P or Q separately
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: V-introduction / addition Definition: Given P, we may derive P \/ Q, where Q is proposition "whatever" Term: Alternation / v-Elimination Definition:
Background image of page 2
Background image of page 3
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}