Truth trees/semantic tableau

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

1/7

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.

8 Terms

1
New cards

P /\ Q

P

Q

2
New cards

P V Q

P Q

3
New cards

P > Q

~P Q

4
New cards

P ↔ Q

P ~P

Q ~Q

5
New cards

~ ( P /\ Q )

~P ~Q

6
New cards

~ ( P V Q )

~P

~Q

7
New cards

~ ( P > Q )

P

~Q

8
New cards

~ ( P ↔ Q )

~P P

Q ~Q