TWiki> Sandbox Web>TestTopic8 (30 Oct 2009, TWikiGuest)EditAttach
  1. Punctuate the following sentences so that they are true:
    I am Shaughan. My name is Shaughan. My name's name is Shaughan, and it begins with a single quotation mark.
  2. Let $\mathfrak{A}$ be a structure with domain the set of people in which '$F$' is interpreted as the set of females, '$P$' as $\{\langle x,y\rangle : x\text{ is a parent of }y\}$, '$a$' is Charles Francis Adams, Jr., and '$b$' is Thomas Boylston Adams. Write down a sentence in the language of $\mathfrak{A}$ that says that Thomas Boylston Adams is a grandson of Charles Francis Adams, Jr.
  3. Devise a structure in which the following sentence is true: $(\forall x)(\forall y)((Fxy\lor Fyx)\land\lnot(Fxy\land Fyx)).$
  4. Let $W$ be a nonempty set of worlds, $S$ be a nonempty set of sentences, $\rho$ be $\{\langle x,y\rangle : x\text{ and }y\text{ are worlds in }W\text{ and }y\text{ is accessible from }x\}$,
and $T$ be $\{\langle x,y\rangle : x\text{ is a world in }W\text{ and }y\text{ is a sentence in }S\text{ and sentence }y\text{ is true in world }x\}$. Give the standard definition of 'sentence $s$ is necessary at world $w$.' Define

-- ShaughanLavine - 28 Feb 2009

Edit | Attach | Print version | History: r3 < r2 < r1 | Backlinks | Raw View | More topic actions
Topic revision: r3 - 30 Oct 2009 - 02:21:26 - TWikiGuest
 
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback