Resumen
Summary Lectures/Slides
- Grado
- Institución
Summary lectures and slides for Skills for AI course of Vrije Universiteit VU Amsterdam. Samenvatting colleges en slides voor Skills for AI vak aan de Vrije Universiteit Amsterdam VU.
[Mostrar más]Vista previa 2 fuera de 9 páginas
Vista previa 2 fuera de 9 páginas
Añadir al carrito
Añadir al carrito
Vendedor
Seguir
maudvandenberg
Vista previa del contenido
Samenvatting Skills for AI – Logic College 1
Declarative sentence (proposition) = a statement that is true or false.
You can abstract an argument in the letters p, q, r , s etc. :
Abstraction: If p and not q, then r. Not r. p. Therefore, q.
With as logical formalization: (((p∧¬q)→r)∧ (¬r∧p)) → q
‘not’ is a unary
connective. All the other
ones are binary. Priority:
With a parse tree you can reconstruct a formula and see if its true or false.
With a truth table you can express functional behavior for each connective.
Formulas φ and ψ are semantically equivalent, notation φ ≡ ψ, if they have identical
columns in their truth tables.
, Conjunction() and disjunction() and the exclusive or() are associative. This means that if
they are alone in the formula, you don’t have to use brackets.
Tautology = always true. In a truth table there is a T/1 on every line. Example: p ∨ ¬p
Contradiction = always false. In a truth table there is a F/0 on every line. Example: p ∧ ¬p
Contingent = sometime true and sometimes false. True when the formula is neither a
tautology, nor a contradiction. Example: p ∧ ¬q
College 2
Bij deze formule
moet je dus bewijzen dat wanneer p is true, not r is true (r is false) en de formule is true: dan
moet q true zijn.
Semantic entailment
Dus bij P entails q:
Wanneer alle keren dat
p waar is, q ook waar is,
klopt het: valid.
Wanneer je een
counterexample vind (p
waar q niet waar) dan niet meer:
invalid
Counterexample
Deduction theorem
Slide 14???
Dan hebben bijde griekse letters exact
dezelfde truthtable.
Metalogic:
Reasoning at a higher abstraction level to answer concrete logical questions.
Los beneficios de comprar resúmenes en Stuvia estan en línea:
Garantiza la calidad de los comentarios
Compradores de Stuvia evaluaron más de 700.000 resúmenes. Así estas seguro que compras los mejores documentos!
Compra fácil y rápido
Puedes pagar rápidamente y en una vez con iDeal, tarjeta de crédito o con tu crédito de Stuvia. Sin tener que hacerte miembro.
Enfócate en lo más importante
Tus compañeros escriben los resúmenes. Por eso tienes la seguridad que tienes un resumen actual y confiable. Así llegas a la conclusión rapidamente!
Preguntas frecuentes
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.
100% de satisfacción garantizada: ¿Cómo funciona?
Nuestra garantía de satisfacción le asegura que siempre encontrará un documento de estudio a tu medida. Tu rellenas un formulario y nuestro equipo de atención al cliente se encarga del resto.
Who am I buying this summary from?
Stuvia is a marketplace, so you are not buying this document from us, but from seller maudvandenberg. Stuvia facilitates payment to the seller.
Will I be stuck with a subscription?
No, you only buy this summary for $7.62. You're not tied to anything after your purchase.
Can Stuvia be trusted?
4.6 stars on Google & Trustpilot (+1000 reviews)
45,681 summaries were sold in the last 30 days
Founded in 2010, the go-to place to buy summaries for 15 years now