All lions are erce 2 some lions do not drink coee 3

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: is a snurd.” Solution: ¬∃x S(x) What is this equivalent to? Solution: ∀x ¬ S(x) Transla$on (cont) —༉  U = {fleegles, snurds, thingamabobs} F(x): x is a fleegle S(x): x is a snurd T(x): x is a thingamabob “All fleegles are snurds.” Solution: ∀x (F(x)→ S(x)) Transla$on (cont) —༉  U = {fleegles, snurds, thingamabobs} F(x): x is a fleegle S(x): x is a snurd T(x): x is a thingamabob “Some fleegles are thingamabobs.” Solution: ∃x (F(x) ∧ T(x)) Transla$on (cont) —༉  U = {fleegles, snurds, thingamabobs} F(x): x is a fleegle S(x): x is a snurd T(x): x is a thingamabob “No snurd is a thingamabob.” ¬ “Some snurd is a thingamabob.” Solution: ¬∃x (S(x) ∧ T(x)) Solution: ∀x (¬S(x) ∨ ¬T(x)) Transla$on (cont) —༉  U = {fleegles, snurds, thingamabobs} F(x): x is a fleegle S(x): x is a snurd T(x): x is a thingamabob “If any fleegle is a snurd then it is also a thingamabob.” Solution: ∀x ((F(x) ∧ S(x)) → T(x)) System Specifica$on Example —༉  For example, translate into predicate logic: —༉  “Every mail message larger than one megabyte will be compressed.” —༉  “If a user is active, then at least one network link will be available.” —༉  Decide on predicates and domains for the variables: —༉  Let L(m, y) be “Mail message m is larger than y megabytes.” —༉  Let C(m) denote “Mail message m will be compressed.” —༉  Let A(u) represent “User u is active.” —༉  Let S(n, x) represent “Network link n is state x.” —༉  No...
View Full Document

This document was uploaded on 02/27/2014 for the course CS 215 at SIU Carbondale.

Ask a homework question - tutors are online