Deductive arguments symbols, definitions and truths Flashcards Preview

PHIL105 > Deductive arguments symbols, definitions and truths > Flashcards

Flashcards in Deductive arguments symbols, definitions and truths Deck (14)
Loading flashcards...
1

Atomic proposition

simple sentence (can't be broken down into simpler propositions) e.g. cats are rude

2

Complex proposition

2+ atomic propositions e.g. I am going to Bali (1) even though it is hot (2)

3

Propositional connectives

Join atomic propositions

4

Not. Symbol: ~

Negation

5

And (can also be represented by "although"). Symbol: &

Conjunction

6

Or. Symbol: V

DIsjunction

7

If... then... Symbol: ↩️ (horseshoe)

Conditional

8

If and only if. Symbol: (three lines on top of each other)

Biconditional

9

Negation is true when

its constituent proposition (the negand) is false

10

Conjunction is true when

both of its conjuncts are true and false otherwise.

11

Disjunction (inclusive) is true when

at least one of its disjuncts are true

12

Conditional is false when

it has true antecedent (first atomic proposition) and a false consequent (second atomic proposition). True otherwise.
e.g. if there are three people in this room, then there is one person in this room.

13

Biconditional is true when

antecedent (first atomic proposition) and consequent (second atomic proposition) have the same truth value i.e. both true or both false. False otherwise.

14

If there is a full stop and then a new sentence this should be represented shorthand by a...

Comma