Test 2 Flashcards
!P is true if
P is false in the current model (negation)
P and Q is true IF
Both P & Q are true in the model (conjunction)
P or Q is true IF
P or Q is true in the model (disjunction)
P -> Q is true UNLESS
P is true and Q is false in M (implication)
P <-> Q is true IF
P & Q are both false or both true (bi conditional)
Sentences have a truth value with respect to a model. This means that:
The model is the list of the values of the variables slotted into the given sentence. I.e. a sentence might have 3 variables, and for a particular model, those values might be, say, “true, true, false”
A ^ B is logically equivalent too
B ^ A
A v B is logically equivalent to
B v A
((A ^ B) ^ C) is logically equivalent to
(A ^ (B ^ C))
((A v B) v C) is logically equivalent to
(A v (B v C))
!(!A) is logically equivalent to
A
A -> B is logically equivalent to
!B -> !A and also !A v B
A <-> B is logically equivalent to
((A -> B) ^ (B->A))
!(A ^ B) is logically equivalent to
!A v !B
!(A v B) is logically equivalent to:
!A ^ !B
((A ^ (B v C)) is logically equivalent too:
((A ^ B) v (A ^ C))