#### What is a proposition?

A proposition is a statement that is either true or false, but not both. It is a basic unit of meaning in logic and is used as the basis for logical reasoning.

#### What is a logical connective?

A logical connective is a word or symbol that is used to combine propositions into a larger proposition. Examples of logical connectives include “and,” “or,” “not,” “implies,” and “if and only if.”

#### What is the Law of Excluded Middle?

The Law of Excluded Middle is a fundamental principle of logic that states that every proposition is either true or false. There is no middle ground or third option.

#### What is a tautology?

A tautology is a proposition that is always true, regardless of the truth values of its component propositions. For example, the proposition “either it is raining or it is not raining” is a tautology.

#### What is a contradiction?

A contradiction is a proposition that is always false, regardless of the truth values of its component propositions. For example, the proposition “it is both raining and not raining” is a contradiction.

#### What is propositional logic?

Propositional logic is a branch of logic that deals with propositions and their logical relationships. It is concerned with the logical connectives that are used to combine propositions into more complex propositions.

#### What is predicate logic?

Predicate logic is a branch of logic that extends propositional logic by adding quantifiers and predicates to the language. It is concerned with the logical relationships between predicates and their subjects.

#### What is a quantifier?

A quantifier is a word or symbol that is used to indicate the scope of a variable in a logical expression. The two most common quantifiers are “forall” and “exists,” which indicate universal and existential quantification, respectively.

#### What is a contingency?

A contingency is a proposition that can be either true or false, depending on the truth values of its variables.

#### What is the negation of a proposition?

The negation of a proposition is a statement that is true when the original statement is false, and false when the original statement is true.

#### What is the conjunction of two propositions?

The conjunction of two propositions is a proposition that is true only when both of the original propositions are true.

#### What is the disjunction of two propositions?

The disjunction of two propositions is a proposition that is true when either one or both of the original propositions are true.