Logic Quiz terms

A sentence is logically possible if

there is a possible situation in which it is true

A sentence is Truth Table possible if

it is true in at least one row of its truth table

A sentence is TW possible if

there is at least one possible tarski’s world world in which it is true

A sentence is logically necessary iff

there is no possible circumstance in which it is not true

A sentence is a tautology iff

there is no row of its truth table in which it comes out false

A sentence is a TW necessity iff

there is no TW world in which it is false

Two sentences are logically equivalent iff

they have the same truth values in every circumstance/ they have the same truth conditions

Two sentences are tautologically equivalent iff

every row of their joint truth table assigns the same value

Sentence 1 is the logical consequence of S2 iff

there is no situation in which S2 is true and S1 is false

Sentence 1 is the tautological consequence of S2 iff

There is no row of the truth table in which S2 (and other premises) are T and S1 is false

a set of sentences is inconsistent if

it is impossible for them all to be true

A set of sentences is TT contradictory or inconsistent if

there is no row of the truth table in which they are all true