LOGIC SYMBOLS Flashcards Preview

PROPOSITIONAL LOGIC > LOGIC SYMBOLS > Flashcards

Flashcards in LOGIC SYMBOLS Deck (9)
Loading flashcards...
1
Q

v

A
V = disjunction, "or..."
V = T iff at least one disjunct is true
2
Q

A
∧ = conjunction, "and..."
∧ = T iff both conjuncts are true
3
Q

A
→ = conditional, "if...then..."
→ = T iff the antecedent is false or the consequent is true
4
Q

A
↔ = biconditional, "if and only if...", "iff"
↔ = T iff both sides left and right have the same truth value. so either both true or both false.
5
Q

¬

A

¬ = negation, “it is not the case that…”, “not…”
¬ = reverses the truth value of whatever formula it is placed in front of/applied to
eg, say (P∧Q) = T, then ¬(P∧Q) = F

6
Q

T

A

T = “true”

7
Q

F

A

F = “false”

8
Q

A

⊨ = a tautology , “it is unconditionally/always true that…”
eg, if ⊨ P or ⊨ Q then ⊨ ¬ P → Q

9
Q

A

≔ = definition, “is defined as…”

x ≔ y means that x is defined as y, another name for x is y