Definitions

Essential definitions to understand formal logic
👁 420
statistics
calculate
Questions #: 15
Time:
Pass Score: 80.0%
Style
Mode

A ______ is a sentence that is either true or false

POINTS (1)

Correct Answer

Explanation

Capital letters near the beginning of the alphabet, such as A, B, and C, are used to represent statements and are called statement ______

Missing
POINTS (1)

Correct Answer

Explanation

The following expression is called the ______ of A and B

A ∧ B

POINTS (1)

Correct Answer

Explanation

A and B in the following expression are called ___________

A ∧ B

POINTS (1)

Correct Answer

Explanation

The following expression is called the ______ of A and B

A ∨ B

POINTS (1)

Correct Answer

Explanation

A and B in the following expression are called ___________

A ∨ B

POINTS (1)

Correct Answer

Explanation

The logical connective in the following statement is called ____________

A → B

POINTS (1)

Correct Answer

Explanation

What do you call A in the following statement

A → B

POINTS (1)

Correct Answer

Explanation

What do you call B in the following statement

A → B

POINTS (1)

Correct Answer

Explanation

The following connectives are called

∧ ∨ → ↔

POINTS (1)

Correct Answer

Explanation

The following connectives are called binary connectives because

∧ ∨ → ↔

 
POINTS (1)

Correct Answer

Explanation

A ________ is a connective acting on expression to produce a second expression

POINTS (1)

Correct Answer

Explanation

A logical statement, or expression, that is a legitimate string is called a well-formed ______

POINTS (1)

Correct Answer

Explanation

In the following statement

 A→ B

A stands for (1)___________ statement and B stands for the (2)_____________ statement

drag and drop the selected option to the right place or type it instead
consequent
antecedent
POINTS (1)

Correct Answer

Explanation

In a well-formed formula, the connective to be applied last is called the ______ connective

POINTS (1)

Correct Answer

Explanation

Views:
Trials:
Avg score:
0
sin cos tan
sin-1 cos-1 tan-1 π e
xy x3 x2 ex 10x
y√x 3√x √x ln log
( ) 1/x % n!
7 8 9 + MS
4 5 6 – M+
1 2 3 × M-
0 . EXP ÷ MR
± RND C = MC

Document Actions