Unit 7.1 Flashcards Preview

Logic > Unit 7.1 > Flashcards

Flashcards in Unit 7.1 Deck (10)
Loading flashcards...
1

atomic statement

One that does not have any other statement as a component

2

Compound Statement

One that has at least one atomic statement as a component

3

Tilde

translates to not
Negation

4

Scheme of abbreviation

on the right assigns a distinct capital letter to each atomic statement in the English

5

conjuncts

statements composing a conjunction

6

Vee

symbolizes disjunctions

7

Arrow

symbolizes coditionals

8

Double-Arrow

symbolizes biconditionals

9

Biconditional

statements of the form A if and only if B

10

Well-Formed Formula (WFF)

a grammatically correct symbolic expression