Propositional Logic

The formal system that uses propositional wffs is called propositional logic, statement logic, or propositional calculus

Valid Arguments

Covers hypotheses, conclusions, valid argument as tautology, proof sequences, and correctness/completeness.

Questions (11)

Derivation Rules

Covers equivalence rules, inference rules, and how they are applied in proof sequences.

Questions (17)

Deduction Method and Other Rules

Covers the deduction method, hypothetical syllogism, and shortened proof sequences.

Questions (16)

Propositional Logic - Review

Reviews key techniques and main ideas for propositional logic.

Questions (18)

Propositional Logic : Comprehensive Review

Covers inference rules, conclusions from hypotheses, proof sequence justifications, validity proofs, additional derivation rules, verbal arguments, the deduction method, and the defense attorney argument.

Questions (61)