# Definitions

last modified 2022-06-15T02:41:13+01:00

Essential definitions to understand formal logic

Questions #: 15
Pass Score: 80.0%

#### A ______ is a sentence that is either true or false

statement
proposition
any one of the above words

Missing

A ∧ B

conjunction
bond
link
relation

A ∧ B

terms
parts
entities
conjuncts

A ∨ B

conjunction
disjunction
link
relation

A ∨ B

terms
parts
disjuncts
conjuncts

A → B

leading
ascending
production
implication

A → B

antecedent
condition
test
input

A → B

result
consequent
end
goal

#### The following connectives are called

∧ ∨ → ↔

dual connectives
condition connectives
double connectives
binary connectives

#### The following connectives are called binary connectives because

∧ ∨ → ↔

they join two expressions together to produce a third expression
their shapes are binary
they connect any statements
they connect true and false statements

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

binary expression
unary expression
triple expression
none expression

statement
expression
formula
sentence

#### In the following statement

A→ B

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

Please drag and drop the selected option in the right place or type it instead
consequent
antecedent

lead
main
initial
pivot