I have made a summary for Cos4807; It has all the year's content, some questions and answers, and definition tables. Each chapter is summarised in its section. I also included little tips that I learn't during the module to help with any understanding
,
,Propositional Logic Part 1 of 3
Propositional Formulae:
Instead of p1, p2 subscripts, use different letters such as p, q, r etc
Capital letters are used for arbitrary formulae A, B, C etc
If Parenthesis aren’t serving a purpose, omit it
Alphabet:
An atom is a formula with a single symbol ex p
A literal is a atom or its negation ex p or p
Complementary: One is the formula and the other is
it’s negation
Substitution: A[B/C] in formula A, sub all occurrences of B to C, if none occur it remains unchanged
A, B are Conjuncts
A, B are Disjuncts
A is the antecedent
B is the consequent
Formulae as Trees
principle operator (the root node)
Subformula: B is a subformula of
A iff B is a subtree of A
Propositional Interpretation: A function that assigns a truth value ( T or F) to
propositional sysmbols
p is true for interpretation 1, p is false for interpretation 2.
Truth value: Value associated to a propositional formula
, Definitions:
Validity: True in all interpretations.
Unsatisfiablity: False in all interpretations.
Falsifiability: False in at least one
interpretation.
Equivalence: Two formulae are equivalent
if they have identical truth tables.
Entailment: When A is true then B is true
Truth Tables
We use the interpretation
name I as a subscript and
we have the truth value
function v1. This normally
gets omitted.
Additional columns are
added for subformulae for
convenience.
The truth table above is
satisfiable
Sound: The output is always correct.
Complete: There is output to all input.
Truth value:
The benefits of buying summaries with Stuvia:
Guaranteed quality through customer reviews
Stuvia customers have reviewed more than 700,000 summaries. This how you know that you are buying the best documents.
Quick and easy check-out
You can quickly pay through EFT, credit card or Stuvia-credit for the summaries. There is no membership needed.
Focus on what matters
Your fellow students write the study notes themselves, which is why the documents are always reliable and up-to-date. This ensures you quickly get to the core!
Frequently asked questions
What do I get when I buy this document?
You get a PDF, available immediately after your purchase. The purchased document is accessible anytime, anywhere and indefinitely through your profile.
Satisfaction guarantee: how does it work?
Our satisfaction guarantee ensures that you always find a study document that suits you well. You fill out a form, and our customer service team takes care of the rest.
Who am I buying this summary from?
Stuvia is a marketplace, so you are not buying this document from us, but from seller examsummaries29. Stuvia facilitates payment to the seller.
Will I be stuck with a subscription?
No, you only buy this summary for R503,33. You're not tied to anything after your purchase.
