Symbolic Logic Test 1

Front 1

Truth-functionally valid applies to ___.

Back 1

Arguments

Front 2

Truth-functional tautology applies to ___

Back 2

Single Statements

Front 3

Truth-Functionally Self-Contradictory applies to ___.

Back 3

Single Statements

Front 4

Truth-Functionally Equivalent or Non-Equivalent applies to ___.

Back 4

Pair of Statements

Front 5

Truth-Functional Consistency applies to ___.

Back 5

Sets/groups of statements

Front 6

What is an argument?

Back 6

An argument is a collection of statements, one of which is the conclusion and the rest of which are premises.

Front 7

What is the definition for deductively valid?

Back 7

An argument is deductively valid when it is impossible for all of the premises to be true and the conclusion to be false.

Front 8

What does it mean for an argument to be sound?

Back 8

An argument is sound when it is a deductively valid argument with all true premises.

Front 9

A necessary condition is ___

Back 9

something that must be the case in order for something else to be the case.

Front 10

A sufficient condition is ___

Back 10

if the statement's being true would be enough to make another statement true.

Front 11

Semantics are concerned with ___.

Back 11

Truth and Falsity

Front 12

Syntax is concerned with ___.

Back 12

Grammatical and Logical Form

Front 13

What is an interpretation?

Back 13

An interpretation is is an association of truth values to each statement letter that occurs within a set.

Front 14

What does it mean to say that a statement is tautologous?

Back 14

It means that the statement is true under every interpretation.

Front 15

What does it mean to say that a statement is truth-functionally self-contradictory?

Back 15

There is no interpretation under with the statement is true

Front 16

What does it mean to say that a statement is truth-funtionally contingent?

Back 16

There is at least one interpretation under which it is true and under which it is false.

Front 17

What does it mean to say that two statements are truth-functionally equivalent?

Back 17

The two statements (p&q) have the same truth value under every interpretation.

Front 18

What does it mean to sat that two statements are truth-functionally mutually contradictory?

Back 18

p and q have opposite truth values under every interpretation

Front 19

What does it mean to say that a set of statements is truth-functionally consistent?

Back 19

There is at least one interpretation under which all the elements of the set are true.

Front 20

Modus Ponens

Back 20

if p then q
p
therefore q

Front 21

Conjunction Elimination

Back 21

A&B
therefore A
therefore B

Front 22

Conjunction Introduction

Back 22

A
B
Therefore A&B

Front 23

Modus Tollens

Back 23

if p then q
not q
therefore not p