Propositional logic

Concepts

• Proposition 10 exercisesA proposition is a declarative statement that is assigned one of the truth values top or bot.
• Logical operator 10 exercisesA logical operator L is a function that, for some integer n≥ 1, takes n propositions and produces a proposition.
• Negation 10 exercisesGiven a proposition P, its negation is the proposition ¬ P.
• Conjunction 11 exercisesGiven propositions P and Q, their conjunction is the proposition P∧ Q.
• Disjunction 10 exercisesGiven propositions P and Q, their inclusive disjunction is the proposition P∨ Q.
• Implication 10 exercisesThe material implication P⇒ Q is false exactly when P is true and Q is false.
• Logical equivalence 10 exercisesP and Q are logically equivalent if they have the same truth value under every assignment.
• NAND 10 exercisesGiven propositions P and Q, the NAND operation is the negation of their conjunction.
• Truth table 11 exercisesLet P_1,…,P_n be atomic propositions. A truth table records the value of a formula for every assignment of them.
• Tautology 10 exercisesA compound proposition P is a tautology if it is true under every assignment of its components.
• Contradiction 11 exercisesA compound proposition P is a contradiction if it is false under every assignment of its components.