Symbols and Operators

Definitions

Definitions pt. 2

Truth Tables

Everything Else

100

A logical operator that is only true with both propositions are true

What is a conjunction?

100

This is the definition for logic as presented by James B. Nance?

What is the science and art of reasoning?

100

This is a proposition that is always true due to its logical structure.

What is a tautology?

100

You need this many rows for a propositional argument with four variables

What is 16

100

This is the symbol for a conjunction

What is the dot?

200

A logical operator that is true when at least one of the propositions is true

What is a disjunction?

200

This is another word for a proposition

What is a statement?

200

This is a proposition that is false by logical structure.

What is a self-contradiction?

200

When using a shorter truth tale for determining validity you need this many rows

What is one?

200

This is the symbol for a disjunction

What is the vee?

300

A logical operator that is true with both propositions are the same

What is a biconditional?

300

This represents a single proposition and is typically symbolized with a capital letter

What is a propositional constant?

300

If a propositions has true premises and a false conclusion then it is this.

What is invalid?

300

Use a shorter truth table to determine the validity of the following proposition:

If S then I, If S then Y, therefore I or Y

What is invalid?

300

Symbolize the following proposition:

If you study then you will pass the test, if you don't study then you will do something fun, therefore you will either pass the test or do something fun

What is "(If S then P), (If ~S then F), therefore (P v F)"

400

This symbol negates a given proposition

What is the tilde?

400

This is a proposition that can represent any proposition and is usually symbolized as a lower case letter

What is a propositional variable?

400

Identify this symbolic proposition: p v ~p

What is a tautology?

400

Determine the validity for the following:

p v q ~p therefore p if and only if q

What is invalid (third row)

400

A truth table with three variables needs this many rows

What is 8?

500

A logical operator that is only false when the antecedent is true and the conclusion is false

What is a conditional (hypothetical)?

500

The biconditional cab be placed between two propositions in order to check for these three things

What are Logical Equivalence, non-equivalence, and contradiction?

500

Name the problem with this proposition: ~(p v ~p)

What is a contradiction?

500

Assume A and B are true, X and Y are false, and P and Q are an unknown truth value. Determine the truth value of the following: ~(A * X)

What is true?

500

Develop a truth table for the compound proposition ~p v q

Show on board

Click to zoom