CR Midterm Flashcards

1
Q

& is TRUE

only when

A

Both of them are TRUE

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

v is TRUE when

A

all the time

except for

when both of them are False, then it is FALSE.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

⊃ is TRUE when

A

BOTH of them are TRUE

or

1st FALSE and 2nd TRUE

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

Atomic Proposition

A

a proposition that doesn’t contain any other proposition as a component

ex: Yuna Kim is famous.

Songdo is in Korea.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

≡ is true when

A

BOTH are True

or

BOTH are False

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

An argument is logically valid =def

A

it is impossible for all of the premises to be true and the conclusion false (in virtue of form and structure).

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

Compound / Complex Proposition

A

a proposition that is not ATOMIC

ex: Yonsei won 2-2 v Korea University won 2-1.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

The scope

A

is the formulas that the connective applies to

in

P v Q

v is connective

P and Q are the scopes.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

Main connective

A

the connective that has the widest scope in the formula.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

Syntax

A

specifies the grammar of PL (propositional logic)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
11
Q

Semantics

A

give the meaning of ~, &, v, ≡, ⊃

by specifying EXACTLY WHEN they are TRUE.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
12
Q

Consistent Statements

A

there is at least 1 case when both of them are true at the same time

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
13
Q

Inconsistent Statement

A

there is NO case when both of them are true at the same time

sometimes contradictory but not always

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
14
Q

Contradictory Statements

A

are always INCONSISTENT

F. T

T. F

F. T

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
15
Q

Logically Equivalent

A

Mirror image of each other

T. T

F. F

T. T

Not always consistent (when the whole column is F)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
16
Q

Tautology

A

Apply to only one wff (P) 1

(logical truth)

The whole column of the main connective is true

17
Q

Self-contradictory

A

Applied to a wff

The whole column is FALSE

18
Q

Consistent

A

applied to a wff

There is at least 1 truth.

19
Q

Contingent

A

Applied to a wff

There is at least 1 TRUTH and 1 FALSE

20
Q
A
21
Q

If the conclusion is a tautology

A

the argument is always valid

because there is NO counter example (when the premises are T but the conclusion is F)

22
Q

if we have a premise that is self-contradictory

A

the argument is ALWAYS valid

(there is no counter example)

it can never be SOUND

23
Q

SOUNDNESS

A

an argument is VALID

and

ALL its PREMISES are TRUE

24
Q
A