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))
(A v (B ^ C)) is logically equivalent to:
((A v B) ^ (A v C))
A sentence is satisfiable if:
It is true in some models.
A sentence is valid if:
It is true in all models.
A sentence is unsatisfiable if:
It is true in no models.
Horn Clause:
A clause where at most one literal is positive.
E.I: (!P v !Q v V) and (!P v !W) are Horn Clauses.
Definite Clause:
A clause where exactly 1 literal is positive.
EX: (!P v !Q v H v !D) is a definite clause
How do you rewrite a Horn Clause to an implication?
Ex: (!C v !B v A)
First separate ! Terms
(!C v !B) v A
Negate ! Terms
(C ^ B) v A
Switch to implicate
(C ^ B) -> A
What is Bayes Theorum?
P(b | a) = P(a | b) P(b) / P(a)