An ordered pair containing 'D, I', where D is a non-empty set and I is a function of the set of all constants, sentence letters and predicate letters

The study of expressions of a language bare of their meanings

The number of designators associated with a predicate

A connective for which the truth-value of the compound sentence that it forms cannot be changed by replacing a subsentence with another subsentence of the same truth-value

Sentences that are true under exactly the same interpretations

The study of language in use

A binary relation for which each element in the domain has only one pair

The study of the meanings of the expressions of a language

A set of sentences such that there is at least one interpretation under which all sentences of the set are true

An expression that expresses membership of objects to a set

Hint

Answer

An argument in which there is no interpretation under which the premisses are all true and the conclusion is false

An argument in English whose formalisation in L1 is valid

An L1-structure for which the premisses of an argument are true but the conclusion is false

A set containing nothing but ordered pairs

An assignment of a truth value to every sentence letter of L1

A sentence that is true under any interpretation

An argument where the set containing the negation of the conclusion and the premises is consistent

A sentence that is false under all interpretations

A set of L1-sentences such that there is a L1-structure for which all sentences are true

The occurrence of the smallest subsentence of a sentence that contains the connective

In order to create a playlist on Sporcle, you need to verify the email address you used during registration. Go to your Sporcle Settings to finish the process.

## Show Comments