An argument in English whose formalisation in L1 is valid

A sentence that is false under all interpretations

The study of expressions of a language bare of their meanings

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

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

A collection of objects

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

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

The number of designators associated with a predicate

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

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

Hint

Answer

Sentences that are true under exactly the same interpretations

A set containing nothing but ordered pairs

The study of the meanings of the expressions of a language

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

A sentence that is true under any interpretation

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

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

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 language in use

An expression that expresses membership of objects to a set

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