Propositions and Logical Symbols Flashcards
1
Q
A declarative sentence that is either TRUE or FALSE
A
Proposition
2
Q
This type of proposition cannot be broken down into other component propositions
A
Simple proposition
3
Q
This type of proposition is composes of simple propositions combined using logical connectors
A
Compound proposition
4
Q
Meaning of ~
A
Negation
5
Q
Meaning of ^
A
Conjunction – and (p and q)
- true only if both propositions are true
6
Q
Meaning of v
A
Disjunction – or (p or q)
- false only when both propositions are false
7
Q
Meaning of –>
A
Conditional – if, then (if p, then q)
- is only false when the hypothesis (p) is true and the conclusion (q) is false
8
Q
Meaning of <–>
A
Biconditional – if and only if, then (if and only if p, then q)
- only true when the truth values of p and q are the same