Logic

0.0(0)
studied byStudied by 3 people
learnLearn
examPractice Test
spaced repetitionSpaced Repetition
heart puzzleMatch
flashcardsFlashcards
Card Sorting

1/24

encourage image

There's no tags or description

Looks like no tags are added yet.

Study Analytics
Name
Mastery
Learn
Test
Matching
Spaced

No study sessions yet.

25 Terms

1
New cards

AX:(p(X) => q(X)) is an implication

What is False?

2
New cards

AX:EX:p(X,Y)

What is True

3
New cards

The property of a sentence that contains no variables

What is ground?

4
New cards

The property of a sentence that contains no free variables

What is closed?

5
New cards

The sentence AX:(p(X) => EY:q(X,Y)) has no free variables

What is true?

6
New cards

Size of Herbrand base for a language with 3 object constants and 1 binary relation constant

What is 9

7
New cards

Logical property of a sentence that is true in every truth assignment

What is validity

8
New cards

Logical property of (EX:p(X) => AX:p(X))

What is contingency

9
New cards

Logical property of AX:(p(X) => ~p(X))

What is contingency (p could be empty)

10
New cards

Logical property of (EX:p(X) => AX:q(X)) | (AX:q(X) => EX:r(X))

What is validity

11
New cards

AX:AY:p(X,Y) |= p(a,a)

What is true

12
New cards

AX:EY:p(X,Y) |= EY:AX:p(X,Y)

What is false

13
New cards

EY:AX:p(X,Y) |= AX:EY:p(X,Y)

What is true

14
New cards

AX:EY:p(X,Y) |= EY:AX:p(Y,X)

What is false

15
New cards

AX:(p(X) => EY:q(Y)) |= (EX:p(X) => EY:q(Y))

what is true

16
New cards

The name of the rule ~~phi |- phi

negation elimination

17
New cards

The name of the rule phi => psi, phi => ~psi |- ~phi

negation introduction

18
New cards

AX:p(a,X) |- p(a,a) is an acceptable application of Universal Elimination

what is true

19
New cards

AX:AY:p(X,Y) |- AX:p(X,b) is an acceptable application of Universal Elimination.

what is false

20
New cards

Delta |= phi if and only if Delta |- phi

what is true

21
New cards

First person on moon

Neil Armstrong

22
New cards

Naturalist who sailed on HMS Beagle.

Charles Darwin

23
New cards

The first national park in the United States

Yellowstone National Park

24
New cards

The person who discovered radium

Marie Curie

25
New cards

The only person to win a Nobel prize in two scientific fields

Marie Curie