Logic and Paradox

0.0(0)
studied byStudied by 0 people
0.0(0)
full-widthCall Kai
learnLearn
examPractice Test
spaced repetitionSpaced Repetition
heart puzzleMatch
flashcardsFlashcards
GameKnowt Play
Card Sorting

1/5

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.

6 Terms

1
New cards

satisfiability

there is an interpretation where at least 1 is true; p—> p

2
New cards

unsatisfiability

it cannot be made true; all 0’s; p ^ ¬p

3
New cards

tautology

true in every interpretation (all 0’s); p —> p

4
New cards

contradiction

false in every interpretation; all 0’s; p ^ ¬p

5
New cards

implication

x implies y iff every interpretation that makes x true also makes y true; x = p; y = q; p v q

6
New cards

equivalence

x=y, y=x; have the same truth value in EVERY interpretation; ¬¬p and p