First Order Logic:

0.0(0)
learnLearn
examPractice Test
spaced repetitionSpaced Repetition
heart puzzleMatch
flashcardsFlashcards
Card Sorting

1/12

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.

13 Terms

1
New cards

Double Negation

<p></p>
2
New cards

Conjunction

knowt flashcard image
3
New cards

Disjunction✓

knowt flashcard image
4
New cards

Conditional

<p></p>
5
New cards

Biconditional

knowt flashcard image
6
New cards

Negated Conjunction

knowt flashcard image
7
New cards

Negated Disjunction

knowt flashcard image
8
New cards

Negated Conditional

knowt flashcard image
9
New cards

Negated Biconditional

<p></p>
10
New cards

Existential

Where a is a new name to the branch!!

<p>Where a is a new name to the branch!!</p>
11
New cards

Negated Universal

Where a is a new name to the branch!!

<p>Where a is a new name to the branch!!</p>
12
New cards

Universal

knowt flashcard image
13
New cards

Negated Existential

knowt flashcard image