Logic 16 & 17

Question 1

Propositional Logic

Answer 1

A branch of formal, deductive logic in which the basic unit of thought is the proposition. A proposition is a statement.

Question 2

Truth-functional

Answer 2

When a proposition’s truth value depends upon the truth values of its component parts. If a position has only one component part is is a simple proposition. Otherwise, it is compound.

Question 3

Logical operators

Answer 3

Words that combine or midfy simple propositions to amke compound propoisitons.

Question 4

Propoisitional constant

Answer 4

An uppercase letter that represents a single, given proposition.

Question 5

Propositional variable

Answer 5

A lowercase letter that represents any proposition

Question 6

Negation

Answer 6

The logical operator that denies or contradicts a proposition.

Question 7

Truth table

Answer 7

A listing of the possible truth values for a set of one or more propsitions.

Question 8

Defining truth table

Answer 8

Displays the truth vvalues produced by a logical operator modifying a minimum number of variables.

Question 9

Conjunction

Answer 9

A logical operator that joins two propositions and is true if and only if both the propositions are true.

Question 10

Disjunction

Answer 10

A logical operator that joins two propositions and is true if and only if one or both of the propositions is true.

Question 11

Conditional

Answer 11

A conditional operator asserts that one compnent imples the other. It is false if and only if the antecedent is true and the consequent is false.

Question 12

Biconditional Operator

Answer 12

The biconditional operator is true when both components propositions have the same truth value, and is false when their truth values differ.