Logic L3

0.0(0)
Studied by 0 people
call kaiCall Kai
Locked
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.

Last updated 3:52 PM on 9/14/26
Name
Mastery
Learn
Test
Matching
Spaced
Call with Kai
Chat

No analytics yet

Send a link to your students to track their progress

6 Terms

1
New cards

TAUTOLOGY

iff it is true on every valuation

2
New cards

CONTRADICTION

iff it is false on every valuation

3
New cards

TAUTOLOGICALLY EQUIVALENT

iff they have the same truth value on every valuation

4
New cards

JOINTLY TAUTOLOGICALLY CONSISTENT

iff there is some valuation that makes them all true

5
New cards

JOINTLY TAUTOLOGICALLY INCONSISTENT

iff there is no valuation that makes them all true

6
New cards

the sentences A,B TAUTOLOGICALLY ENTAIL C

if there is no valuation of the atomic sentences which makes A,B true and C false