SL + Deductive Logic

Question 1

Syntax

Answer 1

Rules for constructing proper sentences (grammar)

Question 2

Semantics

Answer 2

Rules for interpreting sentences in a language

Question 3

Logically True

Answer 3

When it is impossible for a sentence to be false

Question 4

Logically false

Answer 4

When it is impossible for a sentence to be true

Question 5

Logically Indeterminate

Answer 5

When a sentence can be true or false, depending on the values of the literals

Question 6

Logical Equivalence

Answer 6

When two sentences always have the same truth values

Question 7

Logical consistency

Answer 7

When it is possible for all sentences in a set to be true

Question 8

Logical Entailment

Answer 8

When it is impossible or the conclusion to be false when the arguments are true

Question 9

Arguments

Answer 9

A set of sentences with at least 1 premise and at least 1 conclusion

Question 10

Deductively Valid

Answer 10

When the premises entail the conclusion

Question 11

TF True

Answer 11

(TF): True all the time

Question 12

TF False

Answer 12

(TF): False all the time

Question 13

TF Equivalent

Answer 13

(TF): Two sentences have the same truth value for the same inputs

Question 14

TF Entailment

Answer 14

(TF): Impossible for the context to be all true and P to be false. (\gamma |= P)