Terms in Logic

The following are some commonly used terms in logic:

• completeness
• contingency
• contradiction
• equivalence
• equivalence class
• forces relationship
• formula
• implication
• possible worlds
• power set
• proposition
• provability
• satisfiability
• set complement
• set intersection
• set membership
• set union
• soundness
• tautology
• therefore
• validity
• valuation
• variable

(A list of philosophical terms in general is also maintained on this site.)

• Philosophers
• Philosophy Texts