https://www.lexical-resource-semantics.de/wiki/api.php?action=feedcontributions&feedformat=atom&user=Lisa 2026-04-12T18:48:42Z User contributions MediaWiki 1.43.8 https://www.lexical-resource-semantics.de/wiki/index.php?title=NMTS-Group9&diff=3471 2013-02-27T20:01:34Z

<p>Lisa: /* Our pictures */</p> <hr /> <div>{{MaterialUnderConstruction}}<br /> <br /> = Wikipage of Group 9 =<br /> <br /> == Overview ==<br /> <br /> === Members ===<br /> '''[[User:Lisa| Lisa]]''' &lt;br /&gt; '''[[User:Marthe| Marthe]]''' &lt;br /&gt; '''[[User:Elisabeth.krall| Elisabeth]]''' &lt;br /&gt; '''[[User:IsaB|Isabelle]]'''<br /> <br /> <br /> === Short description of the topic ===<br /> <br /> <br /> <br /> '''Predicate logic - logical connectives'''<br /> <br /> <br /> &quot;Predicate logic&quot; is a linguistic concept belonging to the field of semantics, specifically syntax and grammar. Within that concept natural language is translated into a logical language (formulae) in order to illustrate the relation between a sentence, the conditions under which a given sentence is true and the circumstances in the real world.<br /> <br /> <br /> The predicate of a sentence serves either to assign an information (property) to a single argument (&quot;argument&quot; here meaning a part of the sentence, such as subjects and objects) or to relate two or more arguments to each other. The predicate is seen as linking its arguments to give purpose to a sentence's content. Such a sentence can be paraphrased in a structured way which gives information about the relations between the elements of the sentence.<br /> <br /> <br /> The purpose of Predicate logic is to avoid ambiguity in sentences by forming formulae out of natural language, which can only be interpreted in one way. Logical connectives, in form of symbols, are used to create formulae out of sentences with &quot;and&quot;, &quot;or&quot;, &quot;if/then&quot; and &quot;not&quot; and thereby giving information about the mentioned relations. <br /> <br /> <br /> The aim is to be able to interpret given formulae in a way that it becomes possible to state if a given sentence is true or false regarding a given model or story that the formulae were formed from. A model in this case means the information given about all the individuals of a setting, their properties and their relations in the real world. <br /> <br /> <br /> ==== Connectives - Examples ====<br /> <br /> ===== AND =====<br /> <br /> Symbol: Ʌ &lt;br /&gt;<br /> Sentence: Harry is a student and Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) Ʌ teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable AND'''<br /> <br /> [[File:Truthtable_AND1.png|400px]]<br /> <br /> ===== OR =====<br /> <br /> Symbol: V &lt;br /&gt;<br /> Sentence: Harry is a student or Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) V teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable OR'''<br /> <br /> [[File:Truthtable_OR1.png|400px]]<br /> <br /> ===== IF/THEN =====<br /> <br /> Symbol: --&gt; &lt;br /&gt;<br /> Sentence: If Harry is a student then Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) --&gt; teacher(snape''')]] = ''true/false''<br /> <br /> <br /> <br /> '''Truthtable IF/THEN'''<br /> <br /> [[File:Truthtable_IF_THEN2.png|400px]]<br /> <br /> ===== NOT =====<br /> <br /> Symbol: ¬ &lt;br /&gt;<br /> Sentence: Harry is not a student. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''¬student(harry)''']] = ''true/false''<br /> <br /> The original formulae has to be false, that the overall statement is true.<br /> <br /> '''Example:'''<br /> Only if '''student(harry)''' is ''false'', '''¬student(harry''') is ''true''.<br /> <br /> <br /> '''Truthtable NOT'''<br /> <br /> [[File:Truthtable_NOT.png|300px]]<br /> <br /> ==== Difficulties ====<br /> * Abstraction of content/natural language<br /> * Understanding the whole process from creating a model to interpret formulae<br /> * Understanding the truth conditions of a formulae with connectives<br /> <br /> <br /> == References and links ==<br /> <br /> === References ===<br /> &lt;!-- Indicate at least 3 references that you will use for your topic --&gt;<br /> * Course material &quot;Introduction to Semantics&quot; by Manfred Sailer<br /> * Levine, Robert D., Frank Richter, and Manfred Sailer (in preparation): Formal Semantics. An Empirically Grounded Approach. Stanford: CSLI Publications. Draft of April 2012.<br /> <br /> === Links ===<br /> <br /> <br /> * [http://www.philosophy.hku.hk/think/sl Sentential Logic]<br /> <br /> * [http://www.philosophy.hku.hk/think/pl Predicate Logic]<br /> <br /> <br /> = Our e-learning objects =<br /> <br /> == Our wiki pages ==<br /> &lt;!-- List all the wiki pages that were created by your group. --&gt;<br /> <br /> * in the Glossary (only those relevant for our topic):<br /> ** [[Glossary:_Predicate| Glossary entry for ''predicate'']]<br /> ** [[Glossary:_Formulae| Glossary entry for ''formulae'']]<br /> ** [[Glossary:_I-Function| Glossary entry for ''I-Function'']]<br /> ** [[Glossary:_G-Function| Glossary entry for ''G-Function'']]<br /> ** [[Glossary:_Logical Connectives| Glossary entry for ''Logical Connective'']]<br /> <br /> == Our podcast ==<br /> &lt;!-- List all the podcasts that were created by your group. --&gt;<br /> <br /> &lt;mediaplayer&gt;http://youtu.be/4a3mXelw7H4&lt;/mediaplayer&gt;<br /> <br /> == Our material for an interactive whiteboard ==<br /> &lt;!-- List all the files that your group created for the interactive whiteboard. --&gt;<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic.notebook Presentation on Predicate Logic]<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic-Comments.docx Comments on the presentation]<br /> <br /> == Our pictures ==<br /> &lt;!-- Give all the pictures of your group. Use the gallery function for this:<br /> &lt;nowiki&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> File:Truthtable_AND1.png|Truthtable AND<br /> File:Truthtable_OR1.png|Truthtable OR<br /> File:Truthtable_IF_THEN2.png|Truthtable IF THEN<br /> File:Truthtable_NOT.png|Truthtable NOT<br /> <br /> &lt;/gallery&gt;&lt;/nowiki&gt;<br /> <br /> --&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> File:Truthtable_AND1.png|Truthtable AND<br /> File:Truthtable_OR1.png|Truthtable OR<br /> File:Truthtable_IF_THEN2.png|Truthtable IF THEN<br /> File:Truthtable_NOT.png|Truthtable NOT<br /> <br /> <br /> &lt;/gallery&gt;<br /> <br /> == Our exercises ==<br /> &lt;!-- Provide links to all the exercises that your group has created.--&gt;<br /> <br /> Complex exercise on Predicate Logic:<br /> <br /> * [[Creation_of_the_World|Exercise 1: Creation of the World]]<br /> <br /> * [[Formulae_and_their_interpretation|Exercise 2: Formulae and their interpretation]]<br /> <br /> * [[Interpretation_of_formulae_with_connectives|Exercise 3: Interpretation of formulae with connectives]]</div>

Lisa https://www.lexical-resource-semantics.de/wiki/index.php?title=NMTS-Group9&diff=3470 2013-02-27T20:00:48Z

<p>Lisa: /* NOT */</p> <hr /> <div>{{MaterialUnderConstruction}}<br /> <br /> = Wikipage of Group 9 =<br /> <br /> == Overview ==<br /> <br /> === Members ===<br /> '''[[User:Lisa| Lisa]]''' &lt;br /&gt; '''[[User:Marthe| Marthe]]''' &lt;br /&gt; '''[[User:Elisabeth.krall| Elisabeth]]''' &lt;br /&gt; '''[[User:IsaB|Isabelle]]'''<br /> <br /> <br /> === Short description of the topic ===<br /> <br /> <br /> <br /> '''Predicate logic - logical connectives'''<br /> <br /> <br /> &quot;Predicate logic&quot; is a linguistic concept belonging to the field of semantics, specifically syntax and grammar. Within that concept natural language is translated into a logical language (formulae) in order to illustrate the relation between a sentence, the conditions under which a given sentence is true and the circumstances in the real world.<br /> <br /> <br /> The predicate of a sentence serves either to assign an information (property) to a single argument (&quot;argument&quot; here meaning a part of the sentence, such as subjects and objects) or to relate two or more arguments to each other. The predicate is seen as linking its arguments to give purpose to a sentence's content. Such a sentence can be paraphrased in a structured way which gives information about the relations between the elements of the sentence.<br /> <br /> <br /> The purpose of Predicate logic is to avoid ambiguity in sentences by forming formulae out of natural language, which can only be interpreted in one way. Logical connectives, in form of symbols, are used to create formulae out of sentences with &quot;and&quot;, &quot;or&quot;, &quot;if/then&quot; and &quot;not&quot; and thereby giving information about the mentioned relations. <br /> <br /> <br /> The aim is to be able to interpret given formulae in a way that it becomes possible to state if a given sentence is true or false regarding a given model or story that the formulae were formed from. A model in this case means the information given about all the individuals of a setting, their properties and their relations in the real world. <br /> <br /> <br /> ==== Connectives - Examples ====<br /> <br /> ===== AND =====<br /> <br /> Symbol: Ʌ &lt;br /&gt;<br /> Sentence: Harry is a student and Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) Ʌ teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable AND'''<br /> <br /> [[File:Truthtable_AND1.png|400px]]<br /> <br /> ===== OR =====<br /> <br /> Symbol: V &lt;br /&gt;<br /> Sentence: Harry is a student or Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) V teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable OR'''<br /> <br /> [[File:Truthtable_OR1.png|400px]]<br /> <br /> ===== IF/THEN =====<br /> <br /> Symbol: --&gt; &lt;br /&gt;<br /> Sentence: If Harry is a student then Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) --&gt; teacher(snape''')]] = ''true/false''<br /> <br /> <br /> <br /> '''Truthtable IF/THEN'''<br /> <br /> [[File:Truthtable_IF_THEN2.png|400px]]<br /> <br /> ===== NOT =====<br /> <br /> Symbol: ¬ &lt;br /&gt;<br /> Sentence: Harry is not a student. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''¬student(harry)''']] = ''true/false''<br /> <br /> The original formulae has to be false, that the overall statement is true.<br /> <br /> '''Example:'''<br /> Only if '''student(harry)''' is ''false'', '''¬student(harry''') is ''true''.<br /> <br /> <br /> '''Truthtable NOT'''<br /> <br /> [[File:Truthtable_NOT.png|300px]]<br /> <br /> ==== Difficulties ====<br /> * Abstraction of content/natural language<br /> * Understanding the whole process from creating a model to interpret formulae<br /> * Understanding the truth conditions of a formulae with connectives<br /> <br /> <br /> == References and links ==<br /> <br /> === References ===<br /> &lt;!-- Indicate at least 3 references that you will use for your topic --&gt;<br /> * Course material &quot;Introduction to Semantics&quot; by Manfred Sailer<br /> * Levine, Robert D., Frank Richter, and Manfred Sailer (in preparation): Formal Semantics. An Empirically Grounded Approach. Stanford: CSLI Publications. Draft of April 2012.<br /> <br /> === Links ===<br /> <br /> <br /> * [http://www.philosophy.hku.hk/think/sl Sentential Logic]<br /> <br /> * [http://www.philosophy.hku.hk/think/pl Predicate Logic]<br /> <br /> <br /> = Our e-learning objects =<br /> <br /> == Our wiki pages ==<br /> &lt;!-- List all the wiki pages that were created by your group. --&gt;<br /> <br /> * in the Glossary (only those relevant for our topic):<br /> ** [[Glossary:_Predicate| Glossary entry for ''predicate'']]<br /> ** [[Glossary:_Formulae| Glossary entry for ''formulae'']]<br /> ** [[Glossary:_I-Function| Glossary entry for ''I-Function'']]<br /> ** [[Glossary:_G-Function| Glossary entry for ''G-Function'']]<br /> ** [[Glossary:_Logical Connectives| Glossary entry for ''Logical Connective'']]<br /> <br /> == Our podcast ==<br /> &lt;!-- List all the podcasts that were created by your group. --&gt;<br /> <br /> &lt;mediaplayer&gt;http://youtu.be/4a3mXelw7H4&lt;/mediaplayer&gt;<br /> <br /> == Our material for an interactive whiteboard ==<br /> &lt;!-- List all the files that your group created for the interactive whiteboard. --&gt;<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic.notebook Presentation on Predicate Logic]<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic-Comments.docx Comments on the presentation]<br /> <br /> == Our pictures ==<br /> &lt;!-- Give all the pictures of your group. Use the gallery function for this:<br /> &lt;nowiki&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> File:Truthtable_AND1.png|Truthtable AND<br /> File:Truthtable_OR1.png|Truthtable OR<br /> File:Truthtable_IF_THEN2.png|Truthtable IF THEN<br /> <br /> &lt;/gallery&gt;&lt;/nowiki&gt;<br /> <br /> --&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> File:Truthtable_AND1.png|Truthtable AND<br /> File:Truthtable_OR1.png|Truthtable OR<br /> File:Truthtable_IF_THEN2.png|Truthtable IF THEN<br /> <br /> <br /> &lt;/gallery&gt;<br /> <br /> == Our exercises ==<br /> &lt;!-- Provide links to all the exercises that your group has created.--&gt;<br /> <br /> Complex exercise on Predicate Logic:<br /> <br /> * [[Creation_of_the_World|Exercise 1: Creation of the World]]<br /> <br /> * [[Formulae_and_their_interpretation|Exercise 2: Formulae and their interpretation]]<br /> <br /> * [[Interpretation_of_formulae_with_connectives|Exercise 3: Interpretation of formulae with connectives]]</div>

Lisa https://www.lexical-resource-semantics.de/wiki/index.php?title=NMTS-Group9&diff=3469 2013-02-27T20:00:35Z

<p>Lisa: /* NOT */</p> <hr /> <div>{{MaterialUnderConstruction}}<br /> <br /> = Wikipage of Group 9 =<br /> <br /> == Overview ==<br /> <br /> === Members ===<br /> '''[[User:Lisa| Lisa]]''' &lt;br /&gt; '''[[User:Marthe| Marthe]]''' &lt;br /&gt; '''[[User:Elisabeth.krall| Elisabeth]]''' &lt;br /&gt; '''[[User:IsaB|Isabelle]]'''<br /> <br /> <br /> === Short description of the topic ===<br /> <br /> <br /> <br /> '''Predicate logic - logical connectives'''<br /> <br /> <br /> &quot;Predicate logic&quot; is a linguistic concept belonging to the field of semantics, specifically syntax and grammar. Within that concept natural language is translated into a logical language (formulae) in order to illustrate the relation between a sentence, the conditions under which a given sentence is true and the circumstances in the real world.<br /> <br /> <br /> The predicate of a sentence serves either to assign an information (property) to a single argument (&quot;argument&quot; here meaning a part of the sentence, such as subjects and objects) or to relate two or more arguments to each other. The predicate is seen as linking its arguments to give purpose to a sentence's content. Such a sentence can be paraphrased in a structured way which gives information about the relations between the elements of the sentence.<br /> <br /> <br /> The purpose of Predicate logic is to avoid ambiguity in sentences by forming formulae out of natural language, which can only be interpreted in one way. Logical connectives, in form of symbols, are used to create formulae out of sentences with &quot;and&quot;, &quot;or&quot;, &quot;if/then&quot; and &quot;not&quot; and thereby giving information about the mentioned relations. <br /> <br /> <br /> The aim is to be able to interpret given formulae in a way that it becomes possible to state if a given sentence is true or false regarding a given model or story that the formulae were formed from. A model in this case means the information given about all the individuals of a setting, their properties and their relations in the real world. <br /> <br /> <br /> ==== Connectives - Examples ====<br /> <br /> ===== AND =====<br /> <br /> Symbol: Ʌ &lt;br /&gt;<br /> Sentence: Harry is a student and Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) Ʌ teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable AND'''<br /> <br /> [[File:Truthtable_AND1.png|400px]]<br /> <br /> ===== OR =====<br /> <br /> Symbol: V &lt;br /&gt;<br /> Sentence: Harry is a student or Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) V teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable OR'''<br /> <br /> [[File:Truthtable_OR1.png|400px]]<br /> <br /> ===== IF/THEN =====<br /> <br /> Symbol: --&gt; &lt;br /&gt;<br /> Sentence: If Harry is a student then Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) --&gt; teacher(snape''')]] = ''true/false''<br /> <br /> <br /> <br /> '''Truthtable IF/THEN'''<br /> <br /> [[File:Truthtable_IF_THEN2.png|400px]]<br /> <br /> ===== NOT =====<br /> <br /> Symbol: ¬ &lt;br /&gt;<br /> Sentence: Harry is not a student. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''¬student(harry)''']] = ''true/false''<br /> <br /> The original formulae has to be false, that the overall statement is true.<br /> <br /> '''Example:'''<br /> Only if '''student(harry)''' is ''false'', '''¬student(harry''') is ''true''.<br /> <br /> <br /> '''Truthtable NOT'''<br /> <br /> [[File:Truthtable_NOT.png|200px]]<br /> <br /> ==== Difficulties ====<br /> * Abstraction of content/natural language<br /> * Understanding the whole process from creating a model to interpret formulae<br /> * Understanding the truth conditions of a formulae with connectives<br /> <br /> <br /> == References and links ==<br /> <br /> === References ===<br /> &lt;!-- Indicate at least 3 references that you will use for your topic --&gt;<br /> * Course material &quot;Introduction to Semantics&quot; by Manfred Sailer<br /> * Levine, Robert D., Frank Richter, and Manfred Sailer (in preparation): Formal Semantics. An Empirically Grounded Approach. Stanford: CSLI Publications. Draft of April 2012.<br /> <br /> === Links ===<br /> <br /> <br /> * [http://www.philosophy.hku.hk/think/sl Sentential Logic]<br /> <br /> * [http://www.philosophy.hku.hk/think/pl Predicate Logic]<br /> <br /> <br /> = Our e-learning objects =<br /> <br /> == Our wiki pages ==<br /> &lt;!-- List all the wiki pages that were created by your group. --&gt;<br /> <br /> * in the Glossary (only those relevant for our topic):<br /> ** [[Glossary:_Predicate| Glossary entry for ''predicate'']]<br /> ** [[Glossary:_Formulae| Glossary entry for ''formulae'']]<br /> ** [[Glossary:_I-Function| Glossary entry for ''I-Function'']]<br /> ** [[Glossary:_G-Function| Glossary entry for ''G-Function'']]<br /> ** [[Glossary:_Logical Connectives| Glossary entry for ''Logical Connective'']]<br /> <br /> == Our podcast ==<br /> &lt;!-- List all the podcasts that were created by your group. --&gt;<br /> <br /> &lt;mediaplayer&gt;http://youtu.be/4a3mXelw7H4&lt;/mediaplayer&gt;<br /> <br /> == Our material for an interactive whiteboard ==<br /> &lt;!-- List all the files that your group created for the interactive whiteboard. --&gt;<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic.notebook Presentation on Predicate Logic]<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic-Comments.docx Comments on the presentation]<br /> <br /> == Our pictures ==<br /> &lt;!-- Give all the pictures of your group. Use the gallery function for this:<br /> &lt;nowiki&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> File:Truthtable_AND1.png|Truthtable AND<br /> File:Truthtable_OR1.png|Truthtable OR<br /> File:Truthtable_IF_THEN2.png|Truthtable IF THEN<br /> <br /> &lt;/gallery&gt;&lt;/nowiki&gt;<br /> <br /> --&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> File:Truthtable_AND1.png|Truthtable AND<br /> File:Truthtable_OR1.png|Truthtable OR<br /> File:Truthtable_IF_THEN2.png|Truthtable IF THEN<br /> <br /> <br /> &lt;/gallery&gt;<br /> <br /> == Our exercises ==<br /> &lt;!-- Provide links to all the exercises that your group has created.--&gt;<br /> <br /> Complex exercise on Predicate Logic:<br /> <br /> * [[Creation_of_the_World|Exercise 1: Creation of the World]]<br /> <br /> * [[Formulae_and_their_interpretation|Exercise 2: Formulae and their interpretation]]<br /> <br /> * [[Interpretation_of_formulae_with_connectives|Exercise 3: Interpretation of formulae with connectives]]</div>

Lisa https://www.lexical-resource-semantics.de/wiki/index.php?title=File:Truthtable_NOT.png&diff=3468 2013-02-27T19:59:56Z

<p>Lisa: </p> <hr /> <div>== Licensing ==<br /> {{cc-by-nc-dn-3.0}}</div>

Lisa https://www.lexical-resource-semantics.de/wiki/index.php?title=NMTS-Group9&diff=3467 2013-02-27T19:58:49Z

<p>Lisa: /* NOT */</p> <hr /> <div>{{MaterialUnderConstruction}}<br /> <br /> = Wikipage of Group 9 =<br /> <br /> == Overview ==<br /> <br /> === Members ===<br /> '''[[User:Lisa| Lisa]]''' &lt;br /&gt; '''[[User:Marthe| Marthe]]''' &lt;br /&gt; '''[[User:Elisabeth.krall| Elisabeth]]''' &lt;br /&gt; '''[[User:IsaB|Isabelle]]'''<br /> <br /> <br /> === Short description of the topic ===<br /> <br /> <br /> <br /> '''Predicate logic - logical connectives'''<br /> <br /> <br /> &quot;Predicate logic&quot; is a linguistic concept belonging to the field of semantics, specifically syntax and grammar. Within that concept natural language is translated into a logical language (formulae) in order to illustrate the relation between a sentence, the conditions under which a given sentence is true and the circumstances in the real world.<br /> <br /> <br /> The predicate of a sentence serves either to assign an information (property) to a single argument (&quot;argument&quot; here meaning a part of the sentence, such as subjects and objects) or to relate two or more arguments to each other. The predicate is seen as linking its arguments to give purpose to a sentence's content. Such a sentence can be paraphrased in a structured way which gives information about the relations between the elements of the sentence.<br /> <br /> <br /> The purpose of Predicate logic is to avoid ambiguity in sentences by forming formulae out of natural language, which can only be interpreted in one way. Logical connectives, in form of symbols, are used to create formulae out of sentences with &quot;and&quot;, &quot;or&quot;, &quot;if/then&quot; and &quot;not&quot; and thereby giving information about the mentioned relations. <br /> <br /> <br /> The aim is to be able to interpret given formulae in a way that it becomes possible to state if a given sentence is true or false regarding a given model or story that the formulae were formed from. A model in this case means the information given about all the individuals of a setting, their properties and their relations in the real world. <br /> <br /> <br /> ==== Connectives - Examples ====<br /> <br /> ===== AND =====<br /> <br /> Symbol: Ʌ &lt;br /&gt;<br /> Sentence: Harry is a student and Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) Ʌ teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable AND'''<br /> <br /> [[File:Truthtable_AND1.png|400px]]<br /> <br /> ===== OR =====<br /> <br /> Symbol: V &lt;br /&gt;<br /> Sentence: Harry is a student or Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) V teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable OR'''<br /> <br /> [[File:Truthtable_OR1.png|400px]]<br /> <br /> ===== IF/THEN =====<br /> <br /> Symbol: --&gt; &lt;br /&gt;<br /> Sentence: If Harry is a student then Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) --&gt; teacher(snape''')]] = ''true/false''<br /> <br /> <br /> <br /> '''Truthtable IF/THEN'''<br /> <br /> [[File:Truthtable_IF_THEN2.png|400px]]<br /> <br /> ===== NOT =====<br /> <br /> Symbol: ¬ &lt;br /&gt;<br /> Sentence: Harry is not a student. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''¬student(harry)''']] = ''true/false''<br /> <br /> The original formulae has to be false, that the overall statement is true.<br /> <br /> '''Example:'''<br /> Only if '''student(harry)''' is ''false'', '''¬student(harry''') is ''true''.<br /> <br /> <br /> '''Truthtable NOT'''<br /> <br /> [[File:Truthtable_NOT.png|400px]]<br /> <br /> ==== Difficulties ====<br /> * Abstraction of content/natural language<br /> * Understanding the whole process from creating a model to interpret formulae<br /> * Understanding the truth conditions of a formulae with connectives<br /> <br /> <br /> == References and links ==<br /> <br /> === References ===<br /> &lt;!-- Indicate at least 3 references that you will use for your topic --&gt;<br /> * Course material &quot;Introduction to Semantics&quot; by Manfred Sailer<br /> * Levine, Robert D., Frank Richter, and Manfred Sailer (in preparation): Formal Semantics. An Empirically Grounded Approach. Stanford: CSLI Publications. Draft of April 2012.<br /> <br /> === Links ===<br /> <br /> <br /> * [http://www.philosophy.hku.hk/think/sl Sentential Logic]<br /> <br /> * [http://www.philosophy.hku.hk/think/pl Predicate Logic]<br /> <br /> <br /> = Our e-learning objects =<br /> <br /> == Our wiki pages ==<br /> &lt;!-- List all the wiki pages that were created by your group. --&gt;<br /> <br /> * in the Glossary (only those relevant for our topic):<br /> ** [[Glossary:_Predicate| Glossary entry for ''predicate'']]<br /> ** [[Glossary:_Formulae| Glossary entry for ''formulae'']]<br /> ** [[Glossary:_I-Function| Glossary entry for ''I-Function'']]<br /> ** [[Glossary:_G-Function| Glossary entry for ''G-Function'']]<br /> ** [[Glossary:_Logical Connectives| Glossary entry for ''Logical Connective'']]<br /> <br /> == Our podcast ==<br /> &lt;!-- List all the podcasts that were created by your group. --&gt;<br /> <br /> &lt;mediaplayer&gt;http://youtu.be/4a3mXelw7H4&lt;/mediaplayer&gt;<br /> <br /> == Our material for an interactive whiteboard ==<br /> &lt;!-- List all the files that your group created for the interactive whiteboard. --&gt;<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic.notebook Presentation on Predicate Logic]<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic-Comments.docx Comments on the presentation]<br /> <br /> == Our pictures ==<br /> &lt;!-- Give all the pictures of your group. Use the gallery function for this:<br /> &lt;nowiki&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> File:Truthtable_AND1.png|Truthtable AND<br /> File:Truthtable_OR1.png|Truthtable OR<br /> File:Truthtable_IF_THEN2.png|Truthtable IF THEN<br /> <br /> &lt;/gallery&gt;&lt;/nowiki&gt;<br /> <br /> --&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> File:Truthtable_AND1.png|Truthtable AND<br /> File:Truthtable_OR1.png|Truthtable OR<br /> File:Truthtable_IF_THEN2.png|Truthtable IF THEN<br /> <br /> <br /> &lt;/gallery&gt;<br /> <br /> == Our exercises ==<br /> &lt;!-- Provide links to all the exercises that your group has created.--&gt;<br /> <br /> Complex exercise on Predicate Logic:<br /> <br /> * [[Creation_of_the_World|Exercise 1: Creation of the World]]<br /> <br /> * [[Formulae_and_their_interpretation|Exercise 2: Formulae and their interpretation]]<br /> <br /> * [[Interpretation_of_formulae_with_connectives|Exercise 3: Interpretation of formulae with connectives]]</div>

Lisa https://www.lexical-resource-semantics.de/wiki/index.php?title=Glossary:_Logical_Connectives&diff=3466 2013-02-27T19:45:50Z

<p>Lisa: /* Literature */</p> <hr /> <div>{{MaterialUnderConstruction}}<br /> <br /> <br /> = Logical Connectives =<br /> <br /> == Definition ==<br /> <br /> Logical connectives are the conjunction ''and'', the disjunction ''or'', and the implication ''if...then'''. In the course of our topic, we also regard the negation ''not'' as a logical connective. They are used in order to connect atomic formulae in logical language, i.e. atomic sentences in natural language.<br /> <br /> == Examples ==<br /> <br /> The following examples refer to the scenario given in the online exercises.<br /> <br /> Paul rather wants to live in Munich and Alice is small.<br /> <br /> Complex formula: '''wants-to-live-in-Munich (paul) Ʌ small (alice)'''<br /> <br /> Walter is a dog or Tom is not blonde.<br /> <br /> Complex formula: '''dog (walter) V ¬ blonde (tom)'''<br /> <br /> == References ==<br /> <br /> * [[NMTS-Group9| Group page 9: Predicate Logic]]<br /> <br /> == Literature ==<br /> <br /> * Levine, Robert D., Frank Richter, and Manfred Sailer (in preparation): Formal Semantics. An Empirically Grounded Approach. Stanford: CSLI Publications. Draft of April 2012. Chapter 2.</div>

Lisa https://www.lexical-resource-semantics.de/wiki/index.php?title=Glossary:_G-Function&diff=3465 2013-02-27T19:45:28Z

<p>Lisa: /* Literature */</p> <hr /> <div>{{MaterialUnderConstruction}}<br /> <br /> <br /> = G-Function =<br /> <br /> == Definition ==<br /> <br /> The G-Function in Predicate Logic maps variables to individuals from the universe. In natural, real-world language we use variable, such as personal pronouns, instead of repeating the names constantly that are referred to. In order to, firstly, display and, then, interpret sentences with pronouns , the G-Function is applied.<br /> <br /> == Examples ==<br /> <br /> The following examples refer to the scenario given in the online exercises.<br /> <br /> Alice likes watching footbal together with Lisa. <br /> <br /> --&gt; I-Function: <br /> <br /> I('''alice''') = &lt;''alice''&gt;&lt;br/ &gt;<br /> I('''lisa''') = &lt;''lisa''&gt;<br /> <br /> Formula: '''like-watching-football-together (alice, lisa)'''<br /> <br /> But: She likes watching football together with her.<br /> <br /> --&gt; G-Function: &lt;br/ &gt;<br /> g('''x''')= &lt;''alice''&gt;&lt;br/ &gt;<br /> g('''y''')= &lt;''lisa''&gt;<br /> <br /> --&gt; Formula can be formed and interpreted: '''like-watching-football-together (x,y)'''<br /> <br /> == References ==<br /> <br /> * [[NMTS-Group9| Group page 9: Predicate Logic]]<br /> <br /> == Literature ==<br /> <br /> <br /> * Levine, Robert D., Frank Richter, and Manfred Sailer (in preparation): Formal Semantics. An Empirically Grounded Approach. Stanford: CSLI Publications. Draft of April 2012. Chapter 2.</div>

Lisa https://www.lexical-resource-semantics.de/wiki/index.php?title=Glossary:_I-Function&diff=3464 2013-02-27T19:44:47Z

<p>Lisa: /* Literature */</p> <hr /> <div>{{MaterialUnderConstruction}}<br /> <br /> <br /> = I-Function =<br /> <br /> == Definition ==<br /> <br /> The I-Function used in Predicate Logic maps each name of logical language to one individual from the universe. In this sense, it maps individuals to properties and sets of individuals to relations. <br /> <br /> == Examples ==<br /> <br /> The following examples refer to the scenario given in the online exercises.<br /> <br /> Names:<br /> <br /> I('''walter''')= &lt;''walter''&gt;&lt;br /&gt;<br /> I('''lisa''')= &lt;''lisa''&gt;<br /> <br /> Properties:<br /> <br /> I('''tall''')= &lt;''tom''&gt;&lt;br /&gt;<br /> I('''blonde''')= {&lt;''lisa''&gt;; &lt;''alice''&gt;}<br /> <br /> Relations:<br /> <br /> I('''being-married''')= {&lt;''alice,paul''&gt;; &lt;''paul,alice''&gt;}<br /> <br /> == References ==<br /> <br /> * [[NMTS-Group9| Group page 9: Predicate Logic]]<br /> <br /> == Literature ==<br /> <br /> <br /> * Levine, Robert D., Frank Richter, and Manfred Sailer (in preparation): Formal Semantics. An Empirically Grounded Approach. Stanford: CSLI Publications. Draft of April 2012. Chapter 2.</div>

Lisa https://www.lexical-resource-semantics.de/wiki/index.php?title=Glossary:_Formulae&diff=3463 2013-02-27T19:44:12Z

<p>Lisa: /* Literature */</p> <hr /> <div>{{MaterialUnderConstruction}}<br /> <br /> = formulae =<br /> <br /> == Definition ==<br /> <br /> Formulae are expressions of logic that can be interpreted as false or true by applying the interpretation function ''I''. <br /> <br /> == Examples ==<br /> <br /> '''professor(Mr.Sailer)'''= ''true'' &lt;br /&gt;<br /> '''student(Mr.Sailer)''' = ''wrong''<br /> <br /> == References ==<br /> <br /> * Predicate Logic<br /> * Logical Connectives<br /> * Quantifiers<br /> <br /> == Literature ==<br /> <br /> * Levine, Robert D., Frank Richter, and Manfred Sailer (in preparation): Formal Semantics. An Empirically Grounded Approach. Stanford: CSLI Publications. Draft of April 2012. Chapter 2.</div>

Lisa https://www.lexical-resource-semantics.de/wiki/index.php?title=Glossary:_Predicate&diff=3462 2013-02-27T19:43:37Z

<p>Lisa: /* Literature */</p> <hr /> <div>{{MaterialUnderConstruction}}<br /> <br /> <br /> = Predicate =<br /> <br /> == Definition ==<br /> <br /> There are two competing meanings of the term &quot;predicate&quot; in grammar. <br /> The traditional predicate gives meaning to a sentence by giving informtion about the subject of the sentence (What is the subject doing? What is the subject? What/Who is the subject? How is the subject?). The predicate must contain a verb, and the verb requires, permits, or precludes the object of a sentence to complete the predicate. <br /> <br /> The other meaning of the word &quot;predicate&quot; is applianced in the context of modern theories of syntax and grammar (such as ''First Order Predicate Logic''). In this approach, the predicate of a sentence serves either to assign an information (property) to a single argument (&quot;argument&quot; here meaning a part of the sentence, such as subjects and objects) or to relate two or more arguments to each other. The predicate is seen as linking its arguments into a greater structure. A structure which can be paraphrased in a structured way which gives information about the sentence's relations.<br /> <br /> == Examples ==<br /> <br /> ∗ Predicate in traditional grammar:<br /> <br /> She '''swims'''. (as the predicate) &lt;br/&gt;<br /> Anna '''writes a letter'''. (verb and direct-object-predicate)<br /> <br /> <br /> <br /> ∗ Predicate in modern grammar:<br /> <br /> Some predicates assign property to a single argument, others to two or more (one-placed, two-placed, three-placed...)<br /> <br /> Tom '''smiled'''. (one-place predicate) &lt;br/&gt;<br /> Anna '''helped her mother'''. (two-place-predicate) &lt;br/&gt;<br /> Tom '''gave a present to Anna'''. (three-place-predicate) &lt;br/&gt;<br /> <br /> <br /> == Sound file ==<br /> <br /> [http://dict.leo.org/ende?lp=ende&amp;lang=de&amp;searchLoc=0&amp;cmpType=relaxed&amp;sectHdr=on&amp;spellToler=&amp;search=predicate LEO.de]<br /> <br /> == References ==<br /> <br /> * [[NMTS-Group9| predicate logic]]<br /> * [[logical connectives]]<br /> <br /> == Literature ==<br /> <br /> * Levine, Robert D., Frank Richter, and Manfred Sailer (in preparation): Formal Semantics. An Empirically Grounded Approach. Stanford: CSLI Publications. Draft of April 2012. Chapter 2.</div>

Lisa https://www.lexical-resource-semantics.de/wiki/index.php?title=NMTS_Meeting_10&diff=3458 2013-02-25T07:44:54Z

<p>Lisa: /* Group 9 */</p> <hr /> <div>{{MaterialUnderConstruction}}<br /> <br /> <br /> === Studierendenbefragung ===<br /> <br /> [[File:Webbanner-Weihnachten.jpg]]<br /> <br /> http://www2.uni-frankfurt.de/43608865/startpunkt-studierendenbefragung<br /> <br /> =Creating Podcasts 2=<br /> <br /> This meeting will be directed by [http://www.relpaed.uni-frankfurt.de/team/bohrer/index.html Dr. Clemens Bohrer], Akademie f&amp;uuml;r Bildungsforschung und Lehrerbildung, Frankfurt a.M.<br /> <br /> == Preparation ==<br /> <br /> * Upload your first trial podcast into the OLAT folder &quot;Podcasts&quot; no later than 10am on December 17.<br /> <br /> == Podcasts of the groups ==<br /> <br /> === Group 0 ===<br /> <br /> We have uploaded a podcast from 2008 which illustrates the various steps in a syntactic analysis.<br /> <br /> &lt;mediaplayer&gt;http://www.youtube.com/watch?v=EDbaCAVgHUI&lt;/mediaplayer&gt;<br /> <br /> === Group 1 ===<br /> <br /> Podcast on lexical ambiguity<br /> <br /> &lt;mediaplayer&gt;http://www.youtube.com/watch?v=SyyqkS1aofI&lt;/mediaplayer&gt;<br /> <br /> === Group 2 ===<br /> <br /> Basic semantic relations: Homonyms and homographs<br /> <br /> &lt;mediaplayer&gt;http://youtu.be/M7pvAmLtOSk&lt;/mediaplayer&gt;<br /> <br /> === Group 3 ===<br /> <br /> A podcast to introduce semantics<br /> <br /> <br /> &lt;mediaplayer&gt;http://youtu.be/YQJvOaMCUaw&lt;/mediaplayer&gt;<br /> <br /> <br /> A podcast about presuppositions<br /> <br /> &lt;mediaplayer&gt;http://www.youtube.com/watch?v=vb8c7pEEEYg&lt;/mediaplayer&gt;<br /> <br /> === Group 4 ===<br /> <br /> Implicature<br /> <br /> &lt;mediaplayer&gt;http://youtu.be/6SIEglKPTtg&lt;/mediaplayer&gt;<br /> <br /> === Group 5 ===<br /> <br /> Quantifiers<br /> <br /> &lt;mediaplayer&gt;http://youtu.be/tE2TuQwpGZU&lt;/mediaplayer&gt;<br /> <br /> === Group 8 ===<br /> <br /> Podcast about sorts<br /> <br /> &lt;mediaplayer&gt;http://www.youtube.com/watch?v=EK6tqXdmFwk&amp;feature=youtu.be&lt;/mediaplayer&gt;<br /> <br /> === Group 9 ===<br /> <br /> Podcast on predicate logic<br /> <br /> &lt;mediaplayer&gt;http://youtu.be/4a3mXelw7H4&lt;/mediaplayer&gt;<br /> <br /> == Homework for January 15 ==<br /> <br /> Create '''three''' exercises on your topic and think of how you could encode them in our wiki.<br /> <br /> &lt;hr /&gt;<br /> Back to the [[NMTS_Course_Overview|course overview]].</div>

Lisa https://www.lexical-resource-semantics.de/wiki/index.php?title=NMTS-Group9&diff=3457 2013-02-25T07:43:50Z

<p>Lisa: /* Our podcast */</p> <hr /> <div>{{MaterialUnderConstruction}}<br /> <br /> = Wikipage of Group 9 =<br /> <br /> == Overview ==<br /> <br /> === Members ===<br /> '''[[User:Lisa| Lisa]]''' &lt;br /&gt; '''[[User:Marthe| Marthe]]''' &lt;br /&gt; '''[[User:Elisabeth.krall| Elisabeth]]''' &lt;br /&gt; '''[[User:IsaB|Isabelle]]'''<br /> <br /> <br /> === Short description of the topic ===<br /> <br /> <br /> <br /> '''Predicate logic - logical connectives'''<br /> <br /> <br /> &quot;Predicate logic&quot; is a linguistic concept belonging to the field of semantics, specifically syntax and grammar. Within that concept natural language is translated into a logical language (formulae) in order to illustrate the relation between a sentence, the conditions under which a given sentence is true and the circumstances in the real world.<br /> <br /> <br /> The predicate of a sentence serves either to assign an information (property) to a single argument (&quot;argument&quot; here meaning a part of the sentence, such as subjects and objects) or to relate two or more arguments to each other. The predicate is seen as linking its arguments to give purpose to a sentence's content. Such a sentence can be paraphrased in a structured way which gives information about the relations between the elements of the sentence.<br /> <br /> <br /> The purpose of Predicate logic is to avoid ambiguity in sentences by forming formulae out of natural language, which can only be interpreted in one way. Logical connectives, in form of symbols, are used to create formulae out of sentences with &quot;and&quot;, &quot;or&quot;, &quot;if/then&quot; and &quot;not&quot; and thereby giving information about the mentioned relations. <br /> <br /> <br /> The aim is to be able to interpret given formulae in a way that it becomes possible to state if a given sentence is true or false regarding a given model or story that the formulae were formed from. A model in this case means the information given about all the individuals of a setting, their properties and their relations in the real world. <br /> <br /> <br /> ==== Connectives - Examples ====<br /> <br /> ===== AND =====<br /> <br /> Symbol: Ʌ &lt;br /&gt;<br /> Sentence: Harry is a student and Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) Ʌ teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable AND'''<br /> <br /> [[File:Truthtable_AND1.png|400px]]<br /> <br /> ===== OR =====<br /> <br /> Symbol: V &lt;br /&gt;<br /> Sentence: Harry is a student or Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) V teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable OR'''<br /> <br /> [[File:Truthtable_OR1.png|400px]]<br /> <br /> ===== IF/THEN =====<br /> <br /> Symbol: --&gt; &lt;br /&gt;<br /> Sentence: If Harry is a student then Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) --&gt; teacher(snape''')]] = ''true/false''<br /> <br /> <br /> <br /> '''Truthtable IF/THEN'''<br /> <br /> [[File:Truthtable_IF_THEN2.png|400px]]<br /> <br /> ===== NOT =====<br /> <br /> Symbol: ¬ &lt;br /&gt;<br /> Sentence: Harry is not a student. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''¬student(harry)''']] = ''true/false''<br /> <br /> The original formulae has to be false, that the overall statement is true.<br /> <br /> '''Example:'''<br /> Only if '''student(harry)''' is ''false'', '''¬student(harry''') is ''true''.<br /> <br /> <br /> ==== Difficulties ====<br /> * Abstraction of content/natural language<br /> * Understanding the whole process from creating a model to interpret formulae<br /> * Understanding the truth conditions of a formulae with connectives<br /> <br /> <br /> == References and links ==<br /> <br /> === References ===<br /> &lt;!-- Indicate at least 3 references that you will use for your topic --&gt;<br /> * Course material &quot;Introduction to Semantics&quot; by Manfred Sailer<br /> <br /> <br /> === Links ===<br /> <br /> <br /> * [http://www.philosophy.hku.hk/think/sl Sentential Logic]<br /> <br /> * [http://www.philosophy.hku.hk/think/pl Predicate Logic]<br /> <br /> <br /> = Our e-learning objects =<br /> <br /> == Our wiki pages ==<br /> &lt;!-- List all the wiki pages that were created by your group. --&gt;<br /> <br /> * in the Glossary (only those relevant for our topic):<br /> ** [[Glossary:_Predicate| Glossary entry for ''predicate'']]<br /> ** [[Glossary:_Formulae| Glossary entry for ''formulae'']]<br /> ** [[Glossary:_I-Function| Glossary entry for ''I-Function'']]<br /> ** [[Glossary:_G-Function| Glossary entry for ''G-Function'']]<br /> ** [[Glossary:_Logical Connectives| Glossary entry for ''Logical Connective'']]<br /> <br /> == Our podcast ==<br /> &lt;!-- List all the podcasts that were created by your group. --&gt;<br /> <br /> &lt;mediaplayer&gt;http://youtu.be/4a3mXelw7H4&lt;/mediaplayer&gt;<br /> <br /> == Our material for an interactive whiteboard ==<br /> &lt;!-- List all the files that your group created for the interactive whiteboard. --&gt;<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic.notebook Presentation on Predicate Logic]<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic-Comments.docx Comments on the presentation]<br /> <br /> == Our pictures ==<br /> &lt;!-- Give all the pictures of your group. Use the gallery function for this:<br /> &lt;nowiki&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> File:Truthtable_AND1.png|Truthtable AND<br /> File:Truthtable_OR1.png|Truthtable OR<br /> File:Truthtable_IF_THEN2.png|Truthtable IF THEN<br /> <br /> &lt;/gallery&gt;&lt;/nowiki&gt;<br /> <br /> --&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> File:Truthtable_AND1.png|Truthtable AND<br /> File:Truthtable_OR1.png|Truthtable OR<br /> File:Truthtable_IF_THEN2.png|Truthtable IF THEN<br /> <br /> <br /> &lt;/gallery&gt;<br /> <br /> == Our exercises ==<br /> &lt;!-- Provide links to all the exercises that your group has created.--&gt;<br /> <br /> Complex exercise on Predicate Logic:<br /> <br /> * [[Creation_of_the_World|Exercise 1: Creation of the World]]<br /> <br /> * [[Formulae_and_their_interpretation|Exercise 2: Formulae and their interpretation]]<br /> <br /> * [[Interpretation_of_formulae_with_connectives|Exercise 3: Interpretation of formulae with connectives]]</div>

Lisa https://www.lexical-resource-semantics.de/wiki/index.php?title=NMTS-Group9&diff=3456 2013-02-22T12:12:32Z

<p>Lisa: </p> <hr /> <div>{{MaterialUnderConstruction}}<br /> <br /> = Wikipage of Group 9 =<br /> <br /> == Overview ==<br /> <br /> === Members ===<br /> '''[[User:Lisa| Lisa]]''' &lt;br /&gt; '''[[User:Marthe| Marthe]]''' &lt;br /&gt; '''[[User:Elisabeth.krall| Elisabeth]]''' &lt;br /&gt; '''[[User:IsaB|Isabelle]]'''<br /> <br /> <br /> === Short description of the topic ===<br /> <br /> <br /> <br /> '''Predicate logic - logical connectives'''<br /> <br /> <br /> &quot;Predicate logic&quot; is a linguistic concept belonging to the field of semantics, specifically syntax and grammar. Within that concept natural language is translated into a logical language (formulae) in order to illustrate the relation between a sentence, the conditions under which a given sentence is true and the circumstances in the real world.<br /> <br /> <br /> The predicate of a sentence serves either to assign an information (property) to a single argument (&quot;argument&quot; here meaning a part of the sentence, such as subjects and objects) or to relate two or more arguments to each other. The predicate is seen as linking its arguments to give purpose to a sentence's content. Such a sentence can be paraphrased in a structured way which gives information about the relations between the elements of the sentence.<br /> <br /> <br /> The purpose of Predicate logic is to avoid ambiguity in sentences by forming formulae out of natural language, which can only be interpreted in one way. Logical connectives, in form of symbols, are used to create formulae out of sentences with &quot;and&quot;, &quot;or&quot;, &quot;if/then&quot; and &quot;not&quot; and thereby giving information about the mentioned relations. <br /> <br /> <br /> The aim is to be able to interpret given formulae in a way that it becomes possible to state if a given sentence is true or false regarding a given model or story that the formulae were formed from. A model in this case means the information given about all the individuals of a setting, their properties and their relations in the real world. <br /> <br /> <br /> ==== Connectives - Examples ====<br /> <br /> ===== AND =====<br /> <br /> Symbol: Ʌ &lt;br /&gt;<br /> Sentence: Harry is a student and Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) Ʌ teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable AND'''<br /> <br /> [[File:Truthtable_AND1.png|400px]]<br /> <br /> ===== OR =====<br /> <br /> Symbol: V &lt;br /&gt;<br /> Sentence: Harry is a student or Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) V teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable OR'''<br /> <br /> [[File:Truthtable_OR1.png|400px]]<br /> <br /> ===== IF/THEN =====<br /> <br /> Symbol: --&gt; &lt;br /&gt;<br /> Sentence: If Harry is a student then Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) --&gt; teacher(snape''')]] = ''true/false''<br /> <br /> <br /> <br /> '''Truthtable IF/THEN'''<br /> <br /> [[File:Truthtable_IF_THEN2.png|400px]]<br /> <br /> ===== NOT =====<br /> <br /> Symbol: ¬ &lt;br /&gt;<br /> Sentence: Harry is not a student. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''¬student(harry)''']] = ''true/false''<br /> <br /> The original formulae has to be false, that the overall statement is true.<br /> <br /> '''Example:'''<br /> Only if '''student(harry)''' is ''false'', '''¬student(harry''') is ''true''.<br /> <br /> <br /> ==== Difficulties ====<br /> * Abstraction of content/natural language<br /> * Understanding the whole process from creating a model to interpret formulae<br /> * Understanding the truth conditions of a formulae with connectives<br /> <br /> <br /> == References and links ==<br /> <br /> === References ===<br /> &lt;!-- Indicate at least 3 references that you will use for your topic --&gt;<br /> * Course material &quot;Introduction to Semantics&quot; by Manfred Sailer<br /> <br /> <br /> === Links ===<br /> <br /> <br /> * [http://www.philosophy.hku.hk/think/sl Sentential Logic]<br /> <br /> * [http://www.philosophy.hku.hk/think/pl Predicate Logic]<br /> <br /> <br /> = Our e-learning objects =<br /> <br /> == Our wiki pages ==<br /> &lt;!-- List all the wiki pages that were created by your group. --&gt;<br /> <br /> * in the Glossary (only those relevant for our topic):<br /> ** [[Glossary:_Predicate| Glossary entry for ''predicate'']]<br /> ** [[Glossary:_Formulae| Glossary entry for ''formulae'']]<br /> ** [[Glossary:_I-Function| Glossary entry for ''I-Function'']]<br /> ** [[Glossary:_G-Function| Glossary entry for ''G-Function'']]<br /> ** [[Glossary:_Logical Connectives| Glossary entry for ''Logical Connective'']]<br /> <br /> == Our podcast ==<br /> &lt;!-- List all the podcasts that were created by your group. --&gt;<br /> <br /> &lt;mediaplayer&gt;http://youtu.be/KLeSxGJ-FeI&lt;/mediaplayer&gt;<br /> <br /> == Our material for an interactive whiteboard ==<br /> &lt;!-- List all the files that your group created for the interactive whiteboard. --&gt;<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic.notebook Presentation on Predicate Logic]<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic-Comments.docx Comments on the presentation]<br /> <br /> == Our pictures ==<br /> &lt;!-- Give all the pictures of your group. Use the gallery function for this:<br /> &lt;nowiki&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> File:Truthtable_AND1.png|Truthtable AND<br /> File:Truthtable_OR1.png|Truthtable OR<br /> File:Truthtable_IF_THEN2.png|Truthtable IF THEN<br /> <br /> &lt;/gallery&gt;&lt;/nowiki&gt;<br /> <br /> --&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> File:Truthtable_AND1.png|Truthtable AND<br /> File:Truthtable_OR1.png|Truthtable OR<br /> File:Truthtable_IF_THEN2.png|Truthtable IF THEN<br /> <br /> <br /> &lt;/gallery&gt;<br /> <br /> == Our exercises ==<br /> &lt;!-- Provide links to all the exercises that your group has created.--&gt;<br /> <br /> Complex exercise on Predicate Logic:<br /> <br /> * [[Creation_of_the_World|Exercise 1: Creation of the World]]<br /> <br /> * [[Formulae_and_their_interpretation|Exercise 2: Formulae and their interpretation]]<br /> <br /> * [[Interpretation_of_formulae_with_connectives|Exercise 3: Interpretation of formulae with connectives]]</div>

Lisa https://www.lexical-resource-semantics.de/wiki/index.php?title=NMTS-Group9&diff=3455 2013-02-22T12:11:35Z

<p>Lisa: /* Short description of the topic */</p> <hr /> <div>{{MaterialUnderConstruction}}<br /> <br /> = Wikipage of Group 9 =<br /> <br /> == Overview ==<br /> <br /> === Members ===<br /> '''[[User:Lisa| Lisa]]''' &lt;br /&gt; '''[[User:Marthe| Marthe]]''' &lt;br /&gt; '''[[User:Elisabeth.krall| Elisabeth]]''' &lt;br /&gt; '''[[User:IsaB|Isabelle]]'''<br /> <br /> <br /> === Short description of the topic ===<br /> <br /> <br /> <br /> '''Predicate logic - logical connectives'''<br /> <br /> <br /> &quot;Predicate logic&quot; is a linguistic concept belonging to the field of semantics, specifically syntax and grammar. Within that concept natural language is translated into a logical language (formulae) in order to illustrate the relation between a sentence, the conditions under which a given sentence is true and the circumstances in the real world.<br /> <br /> <br /> The predicate of a sentence serves either to assign an information (property) to a single argument (&quot;argument&quot; here meaning a part of the sentence, such as subjects and objects) or to relate two or more arguments to each other. The predicate is seen as linking its arguments to give purpose to a sentence's content. Such a sentence can be paraphrased in a structured way which gives information about the relations between the elements of the sentence.<br /> <br /> <br /> The purpose of Predicate logic is to avoid ambiguity in sentences by forming formulae out of natural language, which can only be interpreted in one way. Logical connectives, in form of symbols, are used to create formulae out of sentences with &quot;and&quot;, &quot;or&quot;, &quot;if/then&quot; and &quot;not&quot; and thereby giving information about the mentioned relations. <br /> <br /> <br /> The aim is to be able to interpret given formulae in a way that it becomes possible to state if a given sentence is true or false regarding a given model or story that the formulae were formed from. A model in this case means the information given about all the individuals of a setting, their properties and their relations in the real world. <br /> <br /> <br /> ==== Connectives - Examples ====<br /> <br /> ===== AND =====<br /> <br /> Symbol: Ʌ &lt;br /&gt;<br /> Sentence: Harry is a student and Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) Ʌ teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable AND'''<br /> <br /> [[File:Truthtable_AND1.png|400px]]<br /> <br /> ===== OR =====<br /> <br /> Symbol: V &lt;br /&gt;<br /> Sentence: Harry is a student or Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) V teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable OR'''<br /> <br /> [[File:Truthtable_OR1.png|400px]]<br /> <br /> ===== IF/THEN =====<br /> <br /> Symbol: --&gt; &lt;br /&gt;<br /> Sentence: If Harry is a student then Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) --&gt; teacher(snape''')]] = ''true/false''<br /> <br /> <br /> <br /> '''Truthtable IF/THEN'''<br /> <br /> [[File:Truthtable_IF_THEN2.png|400px]]<br /> <br /> ===== NOT =====<br /> <br /> Symbol: ¬ &lt;br /&gt;<br /> Sentence: Harry is not a student. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''¬student(harry)''']] = ''true/false''<br /> <br /> The original formulae has to be false, that the overall statement is true.<br /> <br /> '''Example:'''<br /> Only if '''student(harry)''' is ''false'', '''¬student(harry''') is ''true''.<br /> <br /> <br /> ==== Difficulties ====<br /> * Abstraction of content/natural language<br /> * Understanding the whole process from creating a model to interpret formulae<br /> * Understanding the truth conditions of a formulae with connectives<br /> <br /> == References and links ==<br /> <br /> === References ===<br /> &lt;!-- Indicate at least 3 references that you will use for your topic --&gt;<br /> * Course material &quot;Introduction to Semantics&quot; by Manfred Sailer<br /> <br /> === Links ===<br /> <br /> <br /> * [http://www.philosophy.hku.hk/think/sl Sentential Logic]<br /> <br /> * [http://www.philosophy.hku.hk/think/pl Predicate Logic]<br /> <br /> = Our e-learning objects =<br /> <br /> == Our wiki pages ==<br /> &lt;!-- List all the wiki pages that were created by your group. --&gt;<br /> <br /> * in the Glossary (only those relevant for our topic):<br /> ** [[Glossary:_Predicate| Glossary entry for ''predicate'']]<br /> ** [[Glossary:_Formulae| Glossary entry for ''formulae'']]<br /> ** [[Glossary:_I-Function| Glossary entry for ''I-Function'']]<br /> ** [[Glossary:_G-Function| Glossary entry for ''G-Function'']]<br /> ** [[Glossary:_Logical Connectives| Glossary entry for ''Logical Connective'']]<br /> <br /> == Our podcast ==<br /> &lt;!-- List all the podcasts that were created by your group. --&gt;<br /> <br /> &lt;mediaplayer&gt;http://youtu.be/KLeSxGJ-FeI&lt;/mediaplayer&gt;<br /> <br /> == Our material for an interactive whiteboard ==<br /> &lt;!-- List all the files that your group created for the interactive whiteboard. --&gt;<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic.notebook Presentation on Predicate Logic]<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic-Comments.docx Comments on the presentation]<br /> <br /> == Our pictures ==<br /> &lt;!-- Give all the pictures of your group. Use the gallery function for this:<br /> &lt;nowiki&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> File:Truthtable_AND1.png|Truthtable AND<br /> File:Truthtable_OR1.png|Truthtable OR<br /> File:Truthtable_IF_THEN2.png|Truthtable IF THEN<br /> <br /> &lt;/gallery&gt;&lt;/nowiki&gt;<br /> <br /> --&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> File:Truthtable_AND1.png|Truthtable AND<br /> File:Truthtable_OR1.png|Truthtable OR<br /> File:Truthtable_IF_THEN2.png|Truthtable IF THEN<br /> <br /> <br /> &lt;/gallery&gt;<br /> <br /> == Our exercises ==<br /> &lt;!-- Provide links to all the exercises that your group has created.--&gt;<br /> <br /> Complex exercise on Predicate Logic:<br /> <br /> * [[Creation_of_the_World|Exercise 1: Creation of the World]]<br /> <br /> * [[Formulae_and_their_interpretation|Exercise 2: Formulae and their interpretation]]<br /> <br /> * [[Interpretation_of_formulae_with_connectives|Exercise 3: Interpretation of formulae with connectives]]</div>

Lisa https://www.lexical-resource-semantics.de/wiki/index.php?title=NMTS-Group9&diff=3454 2013-02-22T12:10:18Z

<p>Lisa: /* Short description of the topic */</p> <hr /> <div>{{MaterialUnderConstruction}}<br /> <br /> = Wikipage of Group 9 =<br /> <br /> == Overview ==<br /> <br /> === Members ===<br /> '''[[User:Lisa| Lisa]]''' &lt;br /&gt; '''[[User:Marthe| Marthe]]''' &lt;br /&gt; '''[[User:Elisabeth.krall| Elisabeth]]''' &lt;br /&gt; '''[[User:IsaB|Isabelle]]'''<br /> <br /> <br /> === Short description of the topic ===<br /> <br /> <br /> <br /> '''Predicate logic - logical connectives'''<br /> <br /> <br /> &quot;Predicate logic&quot; is a linguistic concept belonging to the field of semantics, specifically syntax and grammar. Within that concept natural language is translated into a logical language (formula) in order to illustrate the relation between a sentence, the conditions under which a given sentence is true and the circumstances in the real world.<br /> <br /> <br /> The predicate of a sentence serves either to assign an information (property) to a single argument (&quot;argument&quot; here meaning a part of the sentence, such as subjects and objects) or to relate two or more arguments to each other. The predicate is seen as linking its arguments to give purpose to a sentence's content. Such a sentence can be paraphrased in a structured way which gives information about the relations between the elements of the sentence.<br /> <br /> <br /> The purpose of Predicate logic is to avoid ambiguity in sentences by forming formulae out of natural language, which can only be interpreted in one way. Logical connectives, in form of symbols, are used to create formulae out of sentences with &quot;and&quot;, &quot;or&quot;, &quot;if/then&quot; and &quot;not&quot; and thereby giving information about the mentioned relations. <br /> <br /> <br /> The aim is to be able to interpret given formulae in a way that it becomes possible to state if a given sentence is true or false regarding a given model or story that the formulae were formed from. A model in this case means the information given about all the individuals of a setting, their properties and their relations in the real world. <br /> <br /> <br /> <br /> <br /> ==== Connectives - Examples ====<br /> <br /> ===== AND =====<br /> <br /> Symbol: Ʌ &lt;br /&gt;<br /> Sentence: Harry is a student and Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) Ʌ teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable AND'''<br /> <br /> [[File:Truthtable_AND1.png|400px]]<br /> <br /> ===== OR =====<br /> <br /> Symbol: V &lt;br /&gt;<br /> Sentence: Harry is a student or Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) V teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable OR'''<br /> <br /> [[File:Truthtable_OR1.png|400px]]<br /> <br /> ===== IF/THEN =====<br /> <br /> Symbol: --&gt; &lt;br /&gt;<br /> Sentence: If Harry is a student then Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) --&gt; teacher(snape''')]] = ''true/false''<br /> <br /> <br /> <br /> '''Truthtable IF/THEN'''<br /> <br /> [[File:Truthtable_IF_THEN2.png|400px]]<br /> <br /> ===== NOT =====<br /> <br /> Symbol: ¬ &lt;br /&gt;<br /> Sentence: Harry is not a student. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''¬student(harry)''']] = ''true/false''<br /> <br /> The original formulae has to be false, that the overall statement is true.<br /> <br /> '''Example:'''<br /> Only if '''student(harry)''' is ''false'', '''¬student(harry''') is ''true''.<br /> <br /> <br /> ==== Difficulties ====<br /> * Abstraction of content/natural language<br /> * Understanding the whole process from creating a model to interpret formulae<br /> * Understanding the truth conditions of a formulae with connectives<br /> <br /> == References and links ==<br /> <br /> === References ===<br /> &lt;!-- Indicate at least 3 references that you will use for your topic --&gt;<br /> * Course material &quot;Introduction to Semantics&quot; by Manfred Sailer<br /> <br /> === Links ===<br /> <br /> <br /> * [http://www.philosophy.hku.hk/think/sl Sentential Logic]<br /> <br /> * [http://www.philosophy.hku.hk/think/pl Predicate Logic]<br /> <br /> = Our e-learning objects =<br /> <br /> == Our wiki pages ==<br /> &lt;!-- List all the wiki pages that were created by your group. --&gt;<br /> <br /> * in the Glossary (only those relevant for our topic):<br /> ** [[Glossary:_Predicate| Glossary entry for ''predicate'']]<br /> ** [[Glossary:_Formulae| Glossary entry for ''formulae'']]<br /> ** [[Glossary:_I-Function| Glossary entry for ''I-Function'']]<br /> ** [[Glossary:_G-Function| Glossary entry for ''G-Function'']]<br /> ** [[Glossary:_Logical Connectives| Glossary entry for ''Logical Connective'']]<br /> <br /> == Our podcast ==<br /> &lt;!-- List all the podcasts that were created by your group. --&gt;<br /> <br /> &lt;mediaplayer&gt;http://youtu.be/KLeSxGJ-FeI&lt;/mediaplayer&gt;<br /> <br /> == Our material for an interactive whiteboard ==<br /> &lt;!-- List all the files that your group created for the interactive whiteboard. --&gt;<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic.notebook Presentation on Predicate Logic]<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic-Comments.docx Comments on the presentation]<br /> <br /> == Our pictures ==<br /> &lt;!-- Give all the pictures of your group. Use the gallery function for this:<br /> &lt;nowiki&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> File:Truthtable_AND1.png|Truthtable AND<br /> File:Truthtable_OR1.png|Truthtable OR<br /> File:Truthtable_IF_THEN2.png|Truthtable IF THEN<br /> <br /> &lt;/gallery&gt;&lt;/nowiki&gt;<br /> <br /> --&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> File:Truthtable_AND1.png|Truthtable AND<br /> File:Truthtable_OR1.png|Truthtable OR<br /> File:Truthtable_IF_THEN2.png|Truthtable IF THEN<br /> <br /> <br /> &lt;/gallery&gt;<br /> <br /> == Our exercises ==<br /> &lt;!-- Provide links to all the exercises that your group has created.--&gt;<br /> <br /> Complex exercise on Predicate Logic:<br /> <br /> * [[Creation_of_the_World|Exercise 1: Creation of the World]]<br /> <br /> * [[Formulae_and_their_interpretation|Exercise 2: Formulae and their interpretation]]<br /> <br /> * [[Interpretation_of_formulae_with_connectives|Exercise 3: Interpretation of formulae with connectives]]</div>

Lisa https://www.lexical-resource-semantics.de/wiki/index.php?title=NMTS-Group9&diff=3453 2013-02-22T12:09:43Z

<p>Lisa: /* Short description of the topic */</p> <hr /> <div>{{MaterialUnderConstruction}}<br /> <br /> = Wikipage of Group 9 =<br /> <br /> == Overview ==<br /> <br /> === Members ===<br /> '''[[User:Lisa| Lisa]]''' &lt;br /&gt; '''[[User:Marthe| Marthe]]''' &lt;br /&gt; '''[[User:Elisabeth.krall| Elisabeth]]''' &lt;br /&gt; '''[[User:IsaB|Isabelle]]'''<br /> <br /> <br /> === Short description of the topic ===<br /> <br /> <br /> <br /> '''Predicate logic - logical connectives'''<br /> <br /> <br /> &quot;Predicate logic&quot; is a linguistic concept belonging to the field of semantics, specifically syntax and grammar. Within that concept natural language is translated into a logical language (formula) in order to illustrate the relation between a sentence, the conditions under which a given sentence is true and the circumstances in the real world.<br /> <br /> The predicate of a sentence serves either to assign an information (property) to a single argument (&quot;argument&quot; here meaning a part of the sentence, such as subjects and objects) or to relate two or more arguments to each other. The predicate is seen as linking its arguments to give purpose to a sentence's content. Such a sentence can be paraphrased in a structured way which gives information about the relations between the elements of the sentence.<br /> <br /> The purpose of Predicate logic is to avoid ambiguity in sentences by forming formulae out of natural language, which can only be interpreted in one way. Logical connectives, in form of symbols, are used to create formulae out of sentences with &quot;and&quot;, &quot;or&quot;, &quot;if/then&quot; and &quot;not&quot; and thereby giving information about the mentioned relations. <br /> <br /> The aim is to be able to interpret given formulae in a way that it becomes possible to state if a given sentence is true or false regarding a given model or story that the formulae were formed from. A model in this case means the information given about all the individuals of a setting, their properties and their relations in the real world. <br /> <br /> <br /> <br /> <br /> ==== Examples ====<br /> <br /> ===== AND =====<br /> <br /> Symbol: Ʌ &lt;br /&gt;<br /> Sentence: Harry is a student and Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) Ʌ teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable AND'''<br /> <br /> [[File:Truthtable_AND1.png|400px]]<br /> <br /> ===== OR =====<br /> <br /> Symbol: V &lt;br /&gt;<br /> Sentence: Harry is a student or Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) V teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable OR'''<br /> <br /> [[File:Truthtable_OR1.png|400px]]<br /> <br /> ===== IF/THEN =====<br /> <br /> Symbol: --&gt; &lt;br /&gt;<br /> Sentence: If Harry is a student then Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) --&gt; teacher(snape''')]] = ''true/false''<br /> <br /> <br /> <br /> '''Truthtable IF/THEN'''<br /> <br /> [[File:Truthtable_IF_THEN2.png|400px]]<br /> <br /> ===== NOT =====<br /> <br /> Symbol: ¬ &lt;br /&gt;<br /> Sentence: Harry is not a student. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''¬student(harry)''']] = ''true/false''<br /> <br /> The original formulae has to be false, that the overall statement is true.<br /> <br /> '''Example:'''<br /> Only if '''student(harry)''' is ''false'', '''¬student(harry''') is ''true''.<br /> <br /> <br /> ==== Difficulties ====<br /> * Abstraction of content/natural language<br /> * Understanding the whole process from creating a model to interpret formulae<br /> * Understanding the truth conditions of a formulae with connectives<br /> <br /> == References and links ==<br /> <br /> === References ===<br /> &lt;!-- Indicate at least 3 references that you will use for your topic --&gt;<br /> * Course material &quot;Introduction to Semantics&quot; by Manfred Sailer<br /> <br /> === Links ===<br /> <br /> <br /> * [http://www.philosophy.hku.hk/think/sl Sentential Logic]<br /> <br /> * [http://www.philosophy.hku.hk/think/pl Predicate Logic]<br /> <br /> = Our e-learning objects =<br /> <br /> == Our wiki pages ==<br /> &lt;!-- List all the wiki pages that were created by your group. --&gt;<br /> <br /> * in the Glossary (only those relevant for our topic):<br /> ** [[Glossary:_Predicate| Glossary entry for ''predicate'']]<br /> ** [[Glossary:_Formulae| Glossary entry for ''formulae'']]<br /> ** [[Glossary:_I-Function| Glossary entry for ''I-Function'']]<br /> ** [[Glossary:_G-Function| Glossary entry for ''G-Function'']]<br /> ** [[Glossary:_Logical Connectives| Glossary entry for ''Logical Connective'']]<br /> <br /> == Our podcast ==<br /> &lt;!-- List all the podcasts that were created by your group. --&gt;<br /> <br /> &lt;mediaplayer&gt;http://youtu.be/KLeSxGJ-FeI&lt;/mediaplayer&gt;<br /> <br /> == Our material for an interactive whiteboard ==<br /> &lt;!-- List all the files that your group created for the interactive whiteboard. --&gt;<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic.notebook Presentation on Predicate Logic]<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic-Comments.docx Comments on the presentation]<br /> <br /> == Our pictures ==<br /> &lt;!-- Give all the pictures of your group. Use the gallery function for this:<br /> &lt;nowiki&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> File:Truthtable_AND1.png|Truthtable AND<br /> File:Truthtable_OR1.png|Truthtable OR<br /> File:Truthtable_IF_THEN2.png|Truthtable IF THEN<br /> <br /> &lt;/gallery&gt;&lt;/nowiki&gt;<br /> <br /> --&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> File:Truthtable_AND1.png|Truthtable AND<br /> File:Truthtable_OR1.png|Truthtable OR<br /> File:Truthtable_IF_THEN2.png|Truthtable IF THEN<br /> <br /> <br /> &lt;/gallery&gt;<br /> <br /> == Our exercises ==<br /> &lt;!-- Provide links to all the exercises that your group has created.--&gt;<br /> <br /> Complex exercise on Predicate Logic:<br /> <br /> * [[Creation_of_the_World|Exercise 1: Creation of the World]]<br /> <br /> * [[Formulae_and_their_interpretation|Exercise 2: Formulae and their interpretation]]<br /> <br /> * [[Interpretation_of_formulae_with_connectives|Exercise 3: Interpretation of formulae with connectives]]</div>

Lisa https://www.lexical-resource-semantics.de/wiki/index.php?title=NMTS-Group9&diff=3452 2013-02-22T12:09:10Z

<p>Lisa: /* Short description of the topic */</p> <hr /> <div>{{MaterialUnderConstruction}}<br /> <br /> = Wikipage of Group 9 =<br /> <br /> == Overview ==<br /> <br /> === Members ===<br /> '''[[User:Lisa| Lisa]]''' &lt;br /&gt; '''[[User:Marthe| Marthe]]''' &lt;br /&gt; '''[[User:Elisabeth.krall| Elisabeth]]''' &lt;br /&gt; '''[[User:IsaB|Isabelle]]'''<br /> <br /> === Short description of the topic ===<br /> <br /> <br /> '''Predicate logic - logical connectives'''<br /> <br /> &quot;Predicate logic&quot; is a linguistic concept belonging to the field of semantics, specifically syntax and grammar. Within that concept natural language is translated into a logical language (formula) in order to illustrate the relation between a sentence, the conditions under which a given sentence is true and the circumstances in the real world.<br /> <br /> The predicate of a sentence serves either to assign an information (property) to a single argument (&quot;argument&quot; here meaning a part of the sentence, such as subjects and objects) or to relate two or more arguments to each other. The predicate is seen as linking its arguments to give purpose to a sentence's content. Such a sentence can be paraphrased in a structured way which gives information about the relations between the elements of the sentence.<br /> <br /> The purpose of Predicate logic is to avoid ambiguity in sentences by forming formulae out of natural language, which can only be interpreted in one way. Logical connectives, in form of symbols, are used to create formulae out of sentences with &quot;and&quot;, &quot;or&quot;, &quot;if/then&quot; and &quot;not&quot; and thereby giving information about the mentioned relations. <br /> <br /> The aim is to be able to interpret given formulae in a way that it becomes possible to state if a given sentence is true or false regarding a given model or story that the formulae were formed from. A model in this case means the information given about all the individuals of a setting, their properties and their relations in the real world. <br /> <br /> <br /> <br /> <br /> ==== Examples ====<br /> <br /> ===== AND =====<br /> <br /> Symbol: Ʌ &lt;br /&gt;<br /> Sentence: Harry is a student and Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) Ʌ teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable AND'''<br /> <br /> [[File:Truthtable_AND1.png|400px]]<br /> <br /> ===== OR =====<br /> <br /> Symbol: V &lt;br /&gt;<br /> Sentence: Harry is a student or Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) V teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable OR'''<br /> <br /> [[File:Truthtable_OR1.png|400px]]<br /> <br /> ===== IF/THEN =====<br /> <br /> Symbol: --&gt; &lt;br /&gt;<br /> Sentence: If Harry is a student then Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) --&gt; teacher(snape''')]] = ''true/false''<br /> <br /> <br /> <br /> '''Truthtable IF/THEN'''<br /> <br /> [[File:Truthtable_IF_THEN2.png|400px]]<br /> <br /> ===== NOT =====<br /> <br /> Symbol: ¬ &lt;br /&gt;<br /> Sentence: Harry is not a student. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''¬student(harry)''']] = ''true/false''<br /> <br /> The original formulae has to be false, that the overall statement is true.<br /> <br /> '''Example:'''<br /> Only if '''student(harry)''' is ''false'', '''¬student(harry''') is ''true''.<br /> <br /> <br /> ==== Difficulties ====<br /> * Abstraction of content/natural language<br /> * Understanding the whole process from creating a model to interpret formulae<br /> * Understanding the truth conditions of a formulae with connectives<br /> <br /> == References and links ==<br /> <br /> === References ===<br /> &lt;!-- Indicate at least 3 references that you will use for your topic --&gt;<br /> * Course material &quot;Introduction to Semantics&quot; by Manfred Sailer<br /> <br /> === Links ===<br /> <br /> <br /> * [http://www.philosophy.hku.hk/think/sl Sentential Logic]<br /> <br /> * [http://www.philosophy.hku.hk/think/pl Predicate Logic]<br /> <br /> = Our e-learning objects =<br /> <br /> == Our wiki pages ==<br /> &lt;!-- List all the wiki pages that were created by your group. --&gt;<br /> <br /> * in the Glossary (only those relevant for our topic):<br /> ** [[Glossary:_Predicate| Glossary entry for ''predicate'']]<br /> ** [[Glossary:_Formulae| Glossary entry for ''formulae'']]<br /> ** [[Glossary:_I-Function| Glossary entry for ''I-Function'']]<br /> ** [[Glossary:_G-Function| Glossary entry for ''G-Function'']]<br /> ** [[Glossary:_Logical Connectives| Glossary entry for ''Logical Connective'']]<br /> <br /> == Our podcast ==<br /> &lt;!-- List all the podcasts that were created by your group. --&gt;<br /> <br /> &lt;mediaplayer&gt;http://youtu.be/KLeSxGJ-FeI&lt;/mediaplayer&gt;<br /> <br /> == Our material for an interactive whiteboard ==<br /> &lt;!-- List all the files that your group created for the interactive whiteboard. --&gt;<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic.notebook Presentation on Predicate Logic]<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic-Comments.docx Comments on the presentation]<br /> <br /> == Our pictures ==<br /> &lt;!-- Give all the pictures of your group. Use the gallery function for this:<br /> &lt;nowiki&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> File:Truthtable_AND1.png|Truthtable AND<br /> File:Truthtable_OR1.png|Truthtable OR<br /> File:Truthtable_IF_THEN2.png|Truthtable IF THEN<br /> <br /> &lt;/gallery&gt;&lt;/nowiki&gt;<br /> <br /> --&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> File:Truthtable_AND1.png|Truthtable AND<br /> File:Truthtable_OR1.png|Truthtable OR<br /> File:Truthtable_IF_THEN2.png|Truthtable IF THEN<br /> <br /> <br /> &lt;/gallery&gt;<br /> <br /> == Our exercises ==<br /> &lt;!-- Provide links to all the exercises that your group has created.--&gt;<br /> <br /> Complex exercise on Predicate Logic:<br /> <br /> * [[Creation_of_the_World|Exercise 1: Creation of the World]]<br /> <br /> * [[Formulae_and_their_interpretation|Exercise 2: Formulae and their interpretation]]<br /> <br /> * [[Interpretation_of_formulae_with_connectives|Exercise 3: Interpretation of formulae with connectives]]</div>

Lisa https://www.lexical-resource-semantics.de/wiki/index.php?title=NMTS-Group9&diff=3451 2013-02-22T12:08:47Z

<p>Lisa: /* Short description of the topic */</p> <hr /> <div>{{MaterialUnderConstruction}}<br /> <br /> = Wikipage of Group 9 =<br /> <br /> == Overview ==<br /> <br /> === Members ===<br /> '''[[User:Lisa| Lisa]]''' &lt;br /&gt; '''[[User:Marthe| Marthe]]''' &lt;br /&gt; '''[[User:Elisabeth.krall| Elisabeth]]''' &lt;br /&gt; '''[[User:IsaB|Isabelle]]'''<br /> <br /> === Short description of the topic ===<br /> <br /> '''Predicate logic - logical connectives'''<br /> <br /> &quot;Predicate logic&quot; is a linguistic concept belonging to the field of semantics, specifically syntax and grammar. Within that concept natural language is translated into a logical language (formula) in order to illustrate the relation between a sentence, the conditions under which a given sentence is true and the circumstances in the real world.<br /> <br /> The predicate of a sentence serves either to assign an information (property) to a single argument (&quot;argument&quot; here meaning a part of the sentence, such as subjects and objects) or to relate two or more arguments to each other. The predicate is seen as linking its arguments to give purpose to a sentence's content. Such a sentence can be paraphrased in a structured way which gives information about the relations between the elements of the sentence.<br /> <br /> The purpose of Predicate logic is to avoid ambiguity in sentences by forming formulae out of natural language, which can only be interpreted in one way. Logical connectives, in form of symbols, are used to create formulae out of sentences with &quot;and&quot;, &quot;or&quot;, &quot;if/then&quot; and &quot;not&quot; and thereby giving information about the mentioned relations. <br /> <br /> The aim is to be able to interpret given formulae in a way that it becomes possible to state if a given sentence is true or false regarding a given model or story that the formulae were formed from. A model in this case means the information given about all the individuals of a setting, their properties and their relations in the real world. <br /> <br /> <br /> <br /> <br /> ==== Examples ====<br /> <br /> ===== AND =====<br /> <br /> Symbol: Ʌ &lt;br /&gt;<br /> Sentence: Harry is a student and Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) Ʌ teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable AND'''<br /> <br /> [[File:Truthtable_AND1.png|400px]]<br /> <br /> ===== OR =====<br /> <br /> Symbol: V &lt;br /&gt;<br /> Sentence: Harry is a student or Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) V teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable OR'''<br /> <br /> [[File:Truthtable_OR1.png|400px]]<br /> <br /> ===== IF/THEN =====<br /> <br /> Symbol: --&gt; &lt;br /&gt;<br /> Sentence: If Harry is a student then Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) --&gt; teacher(snape''')]] = ''true/false''<br /> <br /> <br /> <br /> '''Truthtable IF/THEN'''<br /> <br /> [[File:Truthtable_IF_THEN2.png|400px]]<br /> <br /> ===== NOT =====<br /> <br /> Symbol: ¬ &lt;br /&gt;<br /> Sentence: Harry is not a student. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''¬student(harry)''']] = ''true/false''<br /> <br /> The original formulae has to be false, that the overall statement is true.<br /> <br /> '''Example:'''<br /> Only if '''student(harry)''' is ''false'', '''¬student(harry''') is ''true''.<br /> <br /> <br /> <br /> ==== Difficulties ====<br /> * Abstraction of content/natural language<br /> * Understanding the whole process from creating a model to interpret formulae<br /> * Understanding the truth conditions of a formulae with connectives<br /> <br /> == References and links ==<br /> <br /> === References ===<br /> &lt;!-- Indicate at least 3 references that you will use for your topic --&gt;<br /> * Course material &quot;Introduction to Semantics&quot; by Manfred Sailer<br /> <br /> === Links ===<br /> <br /> <br /> * [http://www.philosophy.hku.hk/think/sl Sentential Logic]<br /> <br /> * [http://www.philosophy.hku.hk/think/pl Predicate Logic]<br /> <br /> = Our e-learning objects =<br /> <br /> == Our wiki pages ==<br /> &lt;!-- List all the wiki pages that were created by your group. --&gt;<br /> <br /> * in the Glossary (only those relevant for our topic):<br /> ** [[Glossary:_Predicate| Glossary entry for ''predicate'']]<br /> ** [[Glossary:_Formulae| Glossary entry for ''formulae'']]<br /> ** [[Glossary:_I-Function| Glossary entry for ''I-Function'']]<br /> ** [[Glossary:_G-Function| Glossary entry for ''G-Function'']]<br /> ** [[Glossary:_Logical Connectives| Glossary entry for ''Logical Connective'']]<br /> <br /> == Our podcast ==<br /> &lt;!-- List all the podcasts that were created by your group. --&gt;<br /> <br /> &lt;mediaplayer&gt;http://youtu.be/KLeSxGJ-FeI&lt;/mediaplayer&gt;<br /> <br /> == Our material for an interactive whiteboard ==<br /> &lt;!-- List all the files that your group created for the interactive whiteboard. --&gt;<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic.notebook Presentation on Predicate Logic]<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic-Comments.docx Comments on the presentation]<br /> <br /> == Our pictures ==<br /> &lt;!-- Give all the pictures of your group. Use the gallery function for this:<br /> &lt;nowiki&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> File:Truthtable_AND1.png|Truthtable AND<br /> File:Truthtable_OR1.png|Truthtable OR<br /> File:Truthtable_IF_THEN2.png|Truthtable IF THEN<br /> <br /> &lt;/gallery&gt;&lt;/nowiki&gt;<br /> <br /> --&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> File:Truthtable_AND1.png|Truthtable AND<br /> File:Truthtable_OR1.png|Truthtable OR<br /> File:Truthtable_IF_THEN2.png|Truthtable IF THEN<br /> <br /> <br /> &lt;/gallery&gt;<br /> <br /> == Our exercises ==<br /> &lt;!-- Provide links to all the exercises that your group has created.--&gt;<br /> <br /> Complex exercise on Predicate Logic:<br /> <br /> * [[Creation_of_the_World|Exercise 1: Creation of the World]]<br /> <br /> * [[Formulae_and_their_interpretation|Exercise 2: Formulae and their interpretation]]<br /> <br /> * [[Interpretation_of_formulae_with_connectives|Exercise 3: Interpretation of formulae with connectives]]</div>

Lisa https://www.lexical-resource-semantics.de/wiki/index.php?title=NMTS-Group9&diff=3296 2013-02-12T13:02:30Z

<p>Lisa: /* Our podcasts */</p> <hr /> <div>{{MaterialUnderConstruction}}<br /> <br /> = Wikipage of Group 9 =<br /> <br /> == Overview ==<br /> <br /> === Members ===<br /> '''[[User:Lisa| Lisa]]''' &lt;br /&gt; '''[[User:Marthe| Marthe]]''' &lt;br /&gt; '''[[User:Elisabeth.krall| Elisabeth]]''' &lt;br /&gt; '''[[User:IsaB|Isabelle]]'''<br /> <br /> === Short description of the topic ===<br /> <br /> '''Predicate logic - logical connectives'''<br /> <br /> The purpose of Predicate logic is to avoid ambiguity in sentences by forming formulae out of natural language. Logical connectives are used to create formulae out of sentences with &quot;and&quot;, &quot;or&quot;, &quot;if/then&quot; and &quot;not&quot;. The aim is to state if the given sentence is true or false in a given model.<br /> <br /> ==== Examples ====<br /> <br /> ===== AND =====<br /> <br /> Symbol: Ʌ &lt;br /&gt;<br /> Sentence: Harry is a student and Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) Ʌ teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable AND'''<br /> <br /> [[File:Truthtable_AND1.png|400px]]<br /> <br /> ===== OR =====<br /> <br /> Symbol: V &lt;br /&gt;<br /> Sentence: Harry is a student or Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) V teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable OR'''<br /> <br /> [[File:Truthtable_OR1.png|400px]]<br /> <br /> ===== IF/THEN =====<br /> <br /> Symbol: --&gt; &lt;br /&gt;<br /> Sentence: If Harry is a student then Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) --&gt; teacher(snape''')]] = ''true/false''<br /> <br /> <br /> <br /> '''Truthtable IF/THEN'''<br /> <br /> [[File:Truthtable_IF_THEN2.png|400px]]<br /> <br /> ===== NOT =====<br /> <br /> Symbol: ¬ &lt;br /&gt;<br /> Sentence: Harry is not a student. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''¬student(harry)''']] = ''true/false''<br /> <br /> The original formulae has to be false, that the overall statement is true.<br /> <br /> '''Example:'''<br /> Only if '''student(harry)''' is ''false'', '''¬student(harry''') is ''true''.<br /> <br /> <br /> <br /> ==== Difficulties ====<br /> * Abstraction of content/natural language<br /> * Understanding the whole process from creating a model to interpret formulae<br /> * Understanding the truth conditions of a formulae with connectives<br /> <br /> == References and links ==<br /> <br /> === References ===<br /> &lt;!-- Indicate at least 3 references that you will use for your topic --&gt;<br /> * Course material &quot;Introduction to Semantics&quot; by Manfred Sailer<br /> <br /> === Links ===<br /> <br /> <br /> * [http://www.philosophy.hku.hk/think/sl Sentential Logic]<br /> <br /> * [http://www.philosophy.hku.hk/think/pl Predicate Logic]<br /> <br /> = Our e-learning objects =<br /> <br /> == Our wiki pages ==<br /> &lt;!-- List all the wiki pages that were created by your group. --&gt;<br /> <br /> * in the Glossary (only those relevant for our topic):<br /> ** [[Glossary:_Predicate| Glossary entry for ''predicate'']]<br /> ** [[Glossary:_Formulae| Glossary entry for ''formulae'']]<br /> ** [[Glossary:_I-Function| Glossary entry for ''I-Function'']]<br /> ** [[Glossary:_G-Function| Glossary entry for ''G-Function'']]<br /> ** [[Glossary:_Logical Connectives| Glossary entry for ''Logical Connective'']]<br /> <br /> == Our podcast ==<br /> &lt;!-- List all the podcasts that were created by your group. --&gt;<br /> <br /> &lt;mediaplayer&gt;http://youtu.be/KLeSxGJ-FeI&lt;/mediaplayer&gt;<br /> <br /> == Our material for an interactive whiteboard ==<br /> &lt;!-- List all the files that your group created for the interactive whiteboard. --&gt;<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic.notebook Presentation on Predicate Logic]<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic-Comments.docx Comments on the presentation]<br /> <br /> == Our pictures ==<br /> &lt;!-- Give all the pictures of your group. Use the gallery function for this:<br /> &lt;nowiki&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> File:Truthtable_AND1.png|Truthtable AND<br /> File:Truthtable_OR1.png|Truthtable OR<br /> File:Truthtable_IF_THEN2.png|Truthtable IF THEN<br /> <br /> &lt;/gallery&gt;&lt;/nowiki&gt;<br /> <br /> --&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> File:Truthtable_AND1.png|Truthtable AND<br /> File:Truthtable_OR1.png|Truthtable OR<br /> File:Truthtable_IF_THEN2.png|Truthtable IF THEN<br /> <br /> <br /> &lt;/gallery&gt;<br /> <br /> == Our exercises ==<br /> &lt;!-- Provide links to all the exercises that your group has created.--&gt;<br /> <br /> Complex exercise on Predicate Logic:<br /> <br /> * [[Creation_of_the_World|Exercise 1: Creation of the World]]<br /> <br /> * [[Formulae_and_their_interpretation|Exercise 2: Formulae and their interpretation]]<br /> <br /> * [[Interpretation_of_formulae_with_connectives|Exercise 3: Interpretation of formulae with connectives]]</div>

Lisa https://www.lexical-resource-semantics.de/wiki/index.php?title=NMTS-Group9&diff=3295 2013-02-12T12:56:34Z

<p>Lisa: /* Our pictures */</p> <hr /> <div>{{MaterialUnderConstruction}}<br /> <br /> = Wikipage of Group 9 =<br /> <br /> == Overview ==<br /> <br /> === Members ===<br /> '''[[User:Lisa| Lisa]]''' &lt;br /&gt; '''[[User:Marthe| Marthe]]''' &lt;br /&gt; '''[[User:Elisabeth.krall| Elisabeth]]''' &lt;br /&gt; '''[[User:IsaB|Isabelle]]'''<br /> <br /> === Short description of the topic ===<br /> <br /> '''Predicate logic - logical connectives'''<br /> <br /> The purpose of Predicate logic is to avoid ambiguity in sentences by forming formulae out of natural language. Logical connectives are used to create formulae out of sentences with &quot;and&quot;, &quot;or&quot;, &quot;if/then&quot; and &quot;not&quot;. The aim is to state if the given sentence is true or false in a given model.<br /> <br /> ==== Examples ====<br /> <br /> ===== AND =====<br /> <br /> Symbol: Ʌ &lt;br /&gt;<br /> Sentence: Harry is a student and Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) Ʌ teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable AND'''<br /> <br /> [[File:Truthtable_AND1.png|400px]]<br /> <br /> ===== OR =====<br /> <br /> Symbol: V &lt;br /&gt;<br /> Sentence: Harry is a student or Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) V teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable OR'''<br /> <br /> [[File:Truthtable_OR1.png|400px]]<br /> <br /> ===== IF/THEN =====<br /> <br /> Symbol: --&gt; &lt;br /&gt;<br /> Sentence: If Harry is a student then Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) --&gt; teacher(snape''')]] = ''true/false''<br /> <br /> <br /> <br /> '''Truthtable IF/THEN'''<br /> <br /> [[File:Truthtable_IF_THEN2.png|400px]]<br /> <br /> ===== NOT =====<br /> <br /> Symbol: ¬ &lt;br /&gt;<br /> Sentence: Harry is not a student. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''¬student(harry)''']] = ''true/false''<br /> <br /> The original formulae has to be false, that the overall statement is true.<br /> <br /> '''Example:'''<br /> Only if '''student(harry)''' is ''false'', '''¬student(harry''') is ''true''.<br /> <br /> <br /> <br /> ==== Difficulties ====<br /> * Abstraction of content/natural language<br /> * Understanding the whole process from creating a model to interpret formulae<br /> * Understanding the truth conditions of a formulae with connectives<br /> <br /> == References and links ==<br /> <br /> === References ===<br /> &lt;!-- Indicate at least 3 references that you will use for your topic --&gt;<br /> * Course material &quot;Introduction to Semantics&quot; by Manfred Sailer<br /> <br /> === Links ===<br /> <br /> <br /> * [http://www.philosophy.hku.hk/think/sl Sentential Logic]<br /> <br /> * [http://www.philosophy.hku.hk/think/pl Predicate Logic]<br /> <br /> = Our e-learning objects =<br /> <br /> == Our wiki pages ==<br /> &lt;!-- List all the wiki pages that were created by your group. --&gt;<br /> <br /> * in the Glossary (only those relevant for our topic):<br /> ** [[Glossary:_Predicate| Glossary entry for ''predicate'']]<br /> ** [[Glossary:_Formulae| Glossary entry for ''formulae'']]<br /> ** [[Glossary:_I-Function| Glossary entry for ''I-Function'']]<br /> ** [[Glossary:_G-Function| Glossary entry for ''G-Function'']]<br /> ** [[Glossary:_Logical Connectives| Glossary entry for ''Logical Connective'']]<br /> <br /> == Our podcasts ==<br /> &lt;!-- List all the podcasts that were created by your group. --&gt;<br /> <br /> &lt;mediaplayer&gt;http://youtu.be/KLeSxGJ-FeI&lt;/mediaplayer&gt;<br /> <br /> == Our material for an interactive whiteboard ==<br /> &lt;!-- List all the files that your group created for the interactive whiteboard. --&gt;<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic.notebook Presentation on Predicate Logic]<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic-Comments.docx Comments on the presentation]<br /> <br /> == Our pictures ==<br /> &lt;!-- Give all the pictures of your group. Use the gallery function for this:<br /> &lt;nowiki&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> File:Truthtable_AND1.png|Truthtable AND<br /> File:Truthtable_OR1.png|Truthtable OR<br /> File:Truthtable_IF_THEN2.png|Truthtable IF THEN<br /> <br /> &lt;/gallery&gt;&lt;/nowiki&gt;<br /> <br /> --&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> File:Truthtable_AND1.png|Truthtable AND<br /> File:Truthtable_OR1.png|Truthtable OR<br /> File:Truthtable_IF_THEN2.png|Truthtable IF THEN<br /> <br /> <br /> &lt;/gallery&gt;<br /> <br /> == Our exercises ==<br /> &lt;!-- Provide links to all the exercises that your group has created.--&gt;<br /> <br /> Complex exercise on Predicate Logic:<br /> <br /> * [[Creation_of_the_World|Exercise 1: Creation of the World]]<br /> <br /> * [[Formulae_and_their_interpretation|Exercise 2: Formulae and their interpretation]]<br /> <br /> * [[Interpretation_of_formulae_with_connectives|Exercise 3: Interpretation of formulae with connectives]]</div>

Lisa https://www.lexical-resource-semantics.de/wiki/index.php?title=File:Truthtable_IF_THEN2.png&diff=3294 2013-02-12T12:55:56Z

<p>Lisa: </p> <hr /> <div>== Licensing ==<br /> {{cc-by-nc-dn-3.0}}</div>

Lisa https://www.lexical-resource-semantics.de/wiki/index.php?title=NMTS-Group9&diff=3293 2013-02-12T12:55:39Z

<p>Lisa: /* IF/THEN */</p> <hr /> <div>{{MaterialUnderConstruction}}<br /> <br /> = Wikipage of Group 9 =<br /> <br /> == Overview ==<br /> <br /> === Members ===<br /> '''[[User:Lisa| Lisa]]''' &lt;br /&gt; '''[[User:Marthe| Marthe]]''' &lt;br /&gt; '''[[User:Elisabeth.krall| Elisabeth]]''' &lt;br /&gt; '''[[User:IsaB|Isabelle]]'''<br /> <br /> === Short description of the topic ===<br /> <br /> '''Predicate logic - logical connectives'''<br /> <br /> The purpose of Predicate logic is to avoid ambiguity in sentences by forming formulae out of natural language. Logical connectives are used to create formulae out of sentences with &quot;and&quot;, &quot;or&quot;, &quot;if/then&quot; and &quot;not&quot;. The aim is to state if the given sentence is true or false in a given model.<br /> <br /> ==== Examples ====<br /> <br /> ===== AND =====<br /> <br /> Symbol: Ʌ &lt;br /&gt;<br /> Sentence: Harry is a student and Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) Ʌ teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable AND'''<br /> <br /> [[File:Truthtable_AND1.png|400px]]<br /> <br /> ===== OR =====<br /> <br /> Symbol: V &lt;br /&gt;<br /> Sentence: Harry is a student or Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) V teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable OR'''<br /> <br /> [[File:Truthtable_OR1.png|400px]]<br /> <br /> ===== IF/THEN =====<br /> <br /> Symbol: --&gt; &lt;br /&gt;<br /> Sentence: If Harry is a student then Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) --&gt; teacher(snape''')]] = ''true/false''<br /> <br /> <br /> <br /> '''Truthtable IF/THEN'''<br /> <br /> [[File:Truthtable_IF_THEN2.png|400px]]<br /> <br /> ===== NOT =====<br /> <br /> Symbol: ¬ &lt;br /&gt;<br /> Sentence: Harry is not a student. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''¬student(harry)''']] = ''true/false''<br /> <br /> The original formulae has to be false, that the overall statement is true.<br /> <br /> '''Example:'''<br /> Only if '''student(harry)''' is ''false'', '''¬student(harry''') is ''true''.<br /> <br /> <br /> <br /> ==== Difficulties ====<br /> * Abstraction of content/natural language<br /> * Understanding the whole process from creating a model to interpret formulae<br /> * Understanding the truth conditions of a formulae with connectives<br /> <br /> == References and links ==<br /> <br /> === References ===<br /> &lt;!-- Indicate at least 3 references that you will use for your topic --&gt;<br /> * Course material &quot;Introduction to Semantics&quot; by Manfred Sailer<br /> <br /> === Links ===<br /> <br /> <br /> * [http://www.philosophy.hku.hk/think/sl Sentential Logic]<br /> <br /> * [http://www.philosophy.hku.hk/think/pl Predicate Logic]<br /> <br /> = Our e-learning objects =<br /> <br /> == Our wiki pages ==<br /> &lt;!-- List all the wiki pages that were created by your group. --&gt;<br /> <br /> * in the Glossary (only those relevant for our topic):<br /> ** [[Glossary:_Predicate| Glossary entry for ''predicate'']]<br /> ** [[Glossary:_Formulae| Glossary entry for ''formulae'']]<br /> ** [[Glossary:_I-Function| Glossary entry for ''I-Function'']]<br /> ** [[Glossary:_G-Function| Glossary entry for ''G-Function'']]<br /> ** [[Glossary:_Logical Connectives| Glossary entry for ''Logical Connective'']]<br /> <br /> == Our podcasts ==<br /> &lt;!-- List all the podcasts that were created by your group. --&gt;<br /> <br /> &lt;mediaplayer&gt;http://youtu.be/KLeSxGJ-FeI&lt;/mediaplayer&gt;<br /> <br /> == Our material for an interactive whiteboard ==<br /> &lt;!-- List all the files that your group created for the interactive whiteboard. --&gt;<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic.notebook Presentation on Predicate Logic]<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic-Comments.docx Comments on the presentation]<br /> <br /> == Our pictures ==<br /> &lt;!-- Give all the pictures of your group. Use the gallery function for this:<br /> &lt;nowiki&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> File:Truthtable_AND1.png|Truthtable AND<br /> File:Truthtable_OR1.png|Truthtable OR<br /> File:Truthtable_IF_THEN1.png|Truthtable IF THEN<br /> <br /> &lt;/gallery&gt;&lt;/nowiki&gt;<br /> <br /> --&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> File:Truthtable_AND1.png|Truthtable AND<br /> File:Truthtable_OR1.png|Truthtable OR<br /> File:Truthtable_IF_THEN1.png|Truthtable IF THEN<br /> <br /> <br /> &lt;/gallery&gt;<br /> <br /> == Our exercises ==<br /> &lt;!-- Provide links to all the exercises that your group has created.--&gt;<br /> <br /> Complex exercise on Predicate Logic:<br /> <br /> * [[Creation_of_the_World|Exercise 1: Creation of the World]]<br /> <br /> * [[Formulae_and_their_interpretation|Exercise 2: Formulae and their interpretation]]<br /> <br /> * [[Interpretation_of_formulae_with_connectives|Exercise 3: Interpretation of formulae with connectives]]</div>

Lisa https://www.lexical-resource-semantics.de/wiki/index.php?title=NMTS-Group9&diff=3292 2013-02-12T12:54:59Z

<p>Lisa: /* IF/THEN */</p> <hr /> <div>{{MaterialUnderConstruction}}<br /> <br /> = Wikipage of Group 9 =<br /> <br /> == Overview ==<br /> <br /> === Members ===<br /> '''[[User:Lisa| Lisa]]''' &lt;br /&gt; '''[[User:Marthe| Marthe]]''' &lt;br /&gt; '''[[User:Elisabeth.krall| Elisabeth]]''' &lt;br /&gt; '''[[User:IsaB|Isabelle]]'''<br /> <br /> === Short description of the topic ===<br /> <br /> '''Predicate logic - logical connectives'''<br /> <br /> The purpose of Predicate logic is to avoid ambiguity in sentences by forming formulae out of natural language. Logical connectives are used to create formulae out of sentences with &quot;and&quot;, &quot;or&quot;, &quot;if/then&quot; and &quot;not&quot;. The aim is to state if the given sentence is true or false in a given model.<br /> <br /> ==== Examples ====<br /> <br /> ===== AND =====<br /> <br /> Symbol: Ʌ &lt;br /&gt;<br /> Sentence: Harry is a student and Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) Ʌ teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable AND'''<br /> <br /> [[File:Truthtable_AND1.png|400px]]<br /> <br /> ===== OR =====<br /> <br /> Symbol: V &lt;br /&gt;<br /> Sentence: Harry is a student or Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) V teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable OR'''<br /> <br /> [[File:Truthtable_OR1.png|400px]]<br /> <br /> ===== IF/THEN =====<br /> <br /> Symbol: --&gt; &lt;br /&gt;<br /> Sentence: If Harry is a student then Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) --&gt; teacher(snape''')]] = ''true/false''<br /> <br /> <br /> <br /> '''Truthtable IF/THEN'''<br /> <br /> [[File:Truthtable_IF_THEN.png|400px]]<br /> <br /> ===== NOT =====<br /> <br /> Symbol: ¬ &lt;br /&gt;<br /> Sentence: Harry is not a student. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''¬student(harry)''']] = ''true/false''<br /> <br /> The original formulae has to be false, that the overall statement is true.<br /> <br /> '''Example:'''<br /> Only if '''student(harry)''' is ''false'', '''¬student(harry''') is ''true''.<br /> <br /> <br /> <br /> ==== Difficulties ====<br /> * Abstraction of content/natural language<br /> * Understanding the whole process from creating a model to interpret formulae<br /> * Understanding the truth conditions of a formulae with connectives<br /> <br /> == References and links ==<br /> <br /> === References ===<br /> &lt;!-- Indicate at least 3 references that you will use for your topic --&gt;<br /> * Course material &quot;Introduction to Semantics&quot; by Manfred Sailer<br /> <br /> === Links ===<br /> <br /> <br /> * [http://www.philosophy.hku.hk/think/sl Sentential Logic]<br /> <br /> * [http://www.philosophy.hku.hk/think/pl Predicate Logic]<br /> <br /> = Our e-learning objects =<br /> <br /> == Our wiki pages ==<br /> &lt;!-- List all the wiki pages that were created by your group. --&gt;<br /> <br /> * in the Glossary (only those relevant for our topic):<br /> ** [[Glossary:_Predicate| Glossary entry for ''predicate'']]<br /> ** [[Glossary:_Formulae| Glossary entry for ''formulae'']]<br /> ** [[Glossary:_I-Function| Glossary entry for ''I-Function'']]<br /> ** [[Glossary:_G-Function| Glossary entry for ''G-Function'']]<br /> ** [[Glossary:_Logical Connectives| Glossary entry for ''Logical Connective'']]<br /> <br /> == Our podcasts ==<br /> &lt;!-- List all the podcasts that were created by your group. --&gt;<br /> <br /> &lt;mediaplayer&gt;http://youtu.be/KLeSxGJ-FeI&lt;/mediaplayer&gt;<br /> <br /> == Our material for an interactive whiteboard ==<br /> &lt;!-- List all the files that your group created for the interactive whiteboard. --&gt;<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic.notebook Presentation on Predicate Logic]<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic-Comments.docx Comments on the presentation]<br /> <br /> == Our pictures ==<br /> &lt;!-- Give all the pictures of your group. Use the gallery function for this:<br /> &lt;nowiki&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> File:Truthtable_AND1.png|Truthtable AND<br /> File:Truthtable_OR1.png|Truthtable OR<br /> File:Truthtable_IF_THEN1.png|Truthtable IF THEN<br /> <br /> &lt;/gallery&gt;&lt;/nowiki&gt;<br /> <br /> --&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> File:Truthtable_AND1.png|Truthtable AND<br /> File:Truthtable_OR1.png|Truthtable OR<br /> File:Truthtable_IF_THEN1.png|Truthtable IF THEN<br /> <br /> <br /> &lt;/gallery&gt;<br /> <br /> == Our exercises ==<br /> &lt;!-- Provide links to all the exercises that your group has created.--&gt;<br /> <br /> Complex exercise on Predicate Logic:<br /> <br /> * [[Creation_of_the_World|Exercise 1: Creation of the World]]<br /> <br /> * [[Formulae_and_their_interpretation|Exercise 2: Formulae and their interpretation]]<br /> <br /> * [[Interpretation_of_formulae_with_connectives|Exercise 3: Interpretation of formulae with connectives]]</div>

Lisa https://www.lexical-resource-semantics.de/wiki/index.php?title=NMTS-Group9&diff=3291 2013-02-12T12:51:54Z

<p>Lisa: /* Our pictures */</p> <hr /> <div>{{MaterialUnderConstruction}}<br /> <br /> = Wikipage of Group 9 =<br /> <br /> == Overview ==<br /> <br /> === Members ===<br /> '''[[User:Lisa| Lisa]]''' &lt;br /&gt; '''[[User:Marthe| Marthe]]''' &lt;br /&gt; '''[[User:Elisabeth.krall| Elisabeth]]''' &lt;br /&gt; '''[[User:IsaB|Isabelle]]'''<br /> <br /> === Short description of the topic ===<br /> <br /> '''Predicate logic - logical connectives'''<br /> <br /> The purpose of Predicate logic is to avoid ambiguity in sentences by forming formulae out of natural language. Logical connectives are used to create formulae out of sentences with &quot;and&quot;, &quot;or&quot;, &quot;if/then&quot; and &quot;not&quot;. The aim is to state if the given sentence is true or false in a given model.<br /> <br /> ==== Examples ====<br /> <br /> ===== AND =====<br /> <br /> Symbol: Ʌ &lt;br /&gt;<br /> Sentence: Harry is a student and Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) Ʌ teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable AND'''<br /> <br /> [[File:Truthtable_AND1.png|400px]]<br /> <br /> ===== OR =====<br /> <br /> Symbol: V &lt;br /&gt;<br /> Sentence: Harry is a student or Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) V teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable OR'''<br /> <br /> [[File:Truthtable_OR1.png|400px]]<br /> <br /> ===== IF/THEN =====<br /> <br /> Symbol: --&gt; &lt;br /&gt;<br /> Sentence: If Harry is a student then Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) --&gt; teacher(snape''')]] = ''true/false''<br /> <br /> <br /> <br /> '''Truthtable IF/THEN'''<br /> <br /> [[File:Truthtable_IF_THEN1.png|400px]]<br /> <br /> ===== NOT =====<br /> <br /> Symbol: ¬ &lt;br /&gt;<br /> Sentence: Harry is not a student. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''¬student(harry)''']] = ''true/false''<br /> <br /> The original formulae has to be false, that the overall statement is true.<br /> <br /> '''Example:'''<br /> Only if '''student(harry)''' is ''false'', '''¬student(harry''') is ''true''.<br /> <br /> <br /> <br /> ==== Difficulties ====<br /> * Abstraction of content/natural language<br /> * Understanding the whole process from creating a model to interpret formulae<br /> * Understanding the truth conditions of a formulae with connectives<br /> <br /> == References and links ==<br /> <br /> === References ===<br /> &lt;!-- Indicate at least 3 references that you will use for your topic --&gt;<br /> * Course material &quot;Introduction to Semantics&quot; by Manfred Sailer<br /> <br /> === Links ===<br /> <br /> <br /> * [http://www.philosophy.hku.hk/think/sl Sentential Logic]<br /> <br /> * [http://www.philosophy.hku.hk/think/pl Predicate Logic]<br /> <br /> = Our e-learning objects =<br /> <br /> == Our wiki pages ==<br /> &lt;!-- List all the wiki pages that were created by your group. --&gt;<br /> <br /> * in the Glossary (only those relevant for our topic):<br /> ** [[Glossary:_Predicate| Glossary entry for ''predicate'']]<br /> ** [[Glossary:_Formulae| Glossary entry for ''formulae'']]<br /> ** [[Glossary:_I-Function| Glossary entry for ''I-Function'']]<br /> ** [[Glossary:_G-Function| Glossary entry for ''G-Function'']]<br /> ** [[Glossary:_Logical Connectives| Glossary entry for ''Logical Connective'']]<br /> <br /> == Our podcasts ==<br /> &lt;!-- List all the podcasts that were created by your group. --&gt;<br /> <br /> &lt;mediaplayer&gt;http://youtu.be/KLeSxGJ-FeI&lt;/mediaplayer&gt;<br /> <br /> == Our material for an interactive whiteboard ==<br /> &lt;!-- List all the files that your group created for the interactive whiteboard. --&gt;<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic.notebook Presentation on Predicate Logic]<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic-Comments.docx Comments on the presentation]<br /> <br /> == Our pictures ==<br /> &lt;!-- Give all the pictures of your group. Use the gallery function for this:<br /> &lt;nowiki&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> File:Truthtable_AND1.png|Truthtable AND<br /> File:Truthtable_OR1.png|Truthtable OR<br /> File:Truthtable_IF_THEN1.png|Truthtable IF THEN<br /> <br /> &lt;/gallery&gt;&lt;/nowiki&gt;<br /> <br /> --&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> File:Truthtable_AND1.png|Truthtable AND<br /> File:Truthtable_OR1.png|Truthtable OR<br /> File:Truthtable_IF_THEN1.png|Truthtable IF THEN<br /> <br /> <br /> &lt;/gallery&gt;<br /> <br /> == Our exercises ==<br /> &lt;!-- Provide links to all the exercises that your group has created.--&gt;<br /> <br /> Complex exercise on Predicate Logic:<br /> <br /> * [[Creation_of_the_World|Exercise 1: Creation of the World]]<br /> <br /> * [[Formulae_and_their_interpretation|Exercise 2: Formulae and their interpretation]]<br /> <br /> * [[Interpretation_of_formulae_with_connectives|Exercise 3: Interpretation of formulae with connectives]]</div>

Lisa https://www.lexical-resource-semantics.de/wiki/index.php?title=NMTS-Group9&diff=3290 2013-02-12T12:51:37Z

<p>Lisa: /* Our pictures */</p> <hr /> <div>{{MaterialUnderConstruction}}<br /> <br /> = Wikipage of Group 9 =<br /> <br /> == Overview ==<br /> <br /> === Members ===<br /> '''[[User:Lisa| Lisa]]''' &lt;br /&gt; '''[[User:Marthe| Marthe]]''' &lt;br /&gt; '''[[User:Elisabeth.krall| Elisabeth]]''' &lt;br /&gt; '''[[User:IsaB|Isabelle]]'''<br /> <br /> === Short description of the topic ===<br /> <br /> '''Predicate logic - logical connectives'''<br /> <br /> The purpose of Predicate logic is to avoid ambiguity in sentences by forming formulae out of natural language. Logical connectives are used to create formulae out of sentences with &quot;and&quot;, &quot;or&quot;, &quot;if/then&quot; and &quot;not&quot;. The aim is to state if the given sentence is true or false in a given model.<br /> <br /> ==== Examples ====<br /> <br /> ===== AND =====<br /> <br /> Symbol: Ʌ &lt;br /&gt;<br /> Sentence: Harry is a student and Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) Ʌ teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable AND'''<br /> <br /> [[File:Truthtable_AND1.png|400px]]<br /> <br /> ===== OR =====<br /> <br /> Symbol: V &lt;br /&gt;<br /> Sentence: Harry is a student or Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) V teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable OR'''<br /> <br /> [[File:Truthtable_OR1.png|400px]]<br /> <br /> ===== IF/THEN =====<br /> <br /> Symbol: --&gt; &lt;br /&gt;<br /> Sentence: If Harry is a student then Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) --&gt; teacher(snape''')]] = ''true/false''<br /> <br /> <br /> <br /> '''Truthtable IF/THEN'''<br /> <br /> [[File:Truthtable_IF_THEN1.png|400px]]<br /> <br /> ===== NOT =====<br /> <br /> Symbol: ¬ &lt;br /&gt;<br /> Sentence: Harry is not a student. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''¬student(harry)''']] = ''true/false''<br /> <br /> The original formulae has to be false, that the overall statement is true.<br /> <br /> '''Example:'''<br /> Only if '''student(harry)''' is ''false'', '''¬student(harry''') is ''true''.<br /> <br /> <br /> <br /> ==== Difficulties ====<br /> * Abstraction of content/natural language<br /> * Understanding the whole process from creating a model to interpret formulae<br /> * Understanding the truth conditions of a formulae with connectives<br /> <br /> == References and links ==<br /> <br /> === References ===<br /> &lt;!-- Indicate at least 3 references that you will use for your topic --&gt;<br /> * Course material &quot;Introduction to Semantics&quot; by Manfred Sailer<br /> <br /> === Links ===<br /> <br /> <br /> * [http://www.philosophy.hku.hk/think/sl Sentential Logic]<br /> <br /> * [http://www.philosophy.hku.hk/think/pl Predicate Logic]<br /> <br /> = Our e-learning objects =<br /> <br /> == Our wiki pages ==<br /> &lt;!-- List all the wiki pages that were created by your group. --&gt;<br /> <br /> * in the Glossary (only those relevant for our topic):<br /> ** [[Glossary:_Predicate| Glossary entry for ''predicate'']]<br /> ** [[Glossary:_Formulae| Glossary entry for ''formulae'']]<br /> ** [[Glossary:_I-Function| Glossary entry for ''I-Function'']]<br /> ** [[Glossary:_G-Function| Glossary entry for ''G-Function'']]<br /> ** [[Glossary:_Logical Connectives| Glossary entry for ''Logical Connective'']]<br /> <br /> == Our podcasts ==<br /> &lt;!-- List all the podcasts that were created by your group. --&gt;<br /> <br /> &lt;mediaplayer&gt;http://youtu.be/KLeSxGJ-FeI&lt;/mediaplayer&gt;<br /> <br /> == Our material for an interactive whiteboard ==<br /> &lt;!-- List all the files that your group created for the interactive whiteboard. --&gt;<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic.notebook Presentation on Predicate Logic]<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic-Comments.docx Comments on the presentation]<br /> <br /> == Our pictures ==<br /> &lt;!-- Give all the pictures of your group. Use the gallery function for this:<br /> &lt;nowiki&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> File:Truthtable_AND1.png|Truthtable AND<br /> File:Truthtable_OR1.png|Truthtable OR<br /> File:Truthtable_IF_THEN1.png|Truthtable IF THEN<br /> <br /> &lt;/gallery&gt;&lt;/nowiki&gt;<br /> <br /> --&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> File:Truthtable_AND1.png|Truthtable AND<br /> File:Truthtable_OR1.png|Truthtable OR<br /> File:Truthtable_IF_THEN1|Truthtable IF THEN<br /> <br /> <br /> &lt;/gallery&gt;<br /> <br /> == Our exercises ==<br /> &lt;!-- Provide links to all the exercises that your group has created.--&gt;<br /> <br /> Complex exercise on Predicate Logic:<br /> <br /> * [[Creation_of_the_World|Exercise 1: Creation of the World]]<br /> <br /> * [[Formulae_and_their_interpretation|Exercise 2: Formulae and their interpretation]]<br /> <br /> * [[Interpretation_of_formulae_with_connectives|Exercise 3: Interpretation of formulae with connectives]]</div>

Lisa https://www.lexical-resource-semantics.de/wiki/index.php?title=NMTS-Group9&diff=3289 2013-02-12T12:51:17Z

<p>Lisa: /* Our pictures */</p> <hr /> <div>{{MaterialUnderConstruction}}<br /> <br /> = Wikipage of Group 9 =<br /> <br /> == Overview ==<br /> <br /> === Members ===<br /> '''[[User:Lisa| Lisa]]''' &lt;br /&gt; '''[[User:Marthe| Marthe]]''' &lt;br /&gt; '''[[User:Elisabeth.krall| Elisabeth]]''' &lt;br /&gt; '''[[User:IsaB|Isabelle]]'''<br /> <br /> === Short description of the topic ===<br /> <br /> '''Predicate logic - logical connectives'''<br /> <br /> The purpose of Predicate logic is to avoid ambiguity in sentences by forming formulae out of natural language. Logical connectives are used to create formulae out of sentences with &quot;and&quot;, &quot;or&quot;, &quot;if/then&quot; and &quot;not&quot;. The aim is to state if the given sentence is true or false in a given model.<br /> <br /> ==== Examples ====<br /> <br /> ===== AND =====<br /> <br /> Symbol: Ʌ &lt;br /&gt;<br /> Sentence: Harry is a student and Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) Ʌ teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable AND'''<br /> <br /> [[File:Truthtable_AND1.png|400px]]<br /> <br /> ===== OR =====<br /> <br /> Symbol: V &lt;br /&gt;<br /> Sentence: Harry is a student or Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) V teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable OR'''<br /> <br /> [[File:Truthtable_OR1.png|400px]]<br /> <br /> ===== IF/THEN =====<br /> <br /> Symbol: --&gt; &lt;br /&gt;<br /> Sentence: If Harry is a student then Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) --&gt; teacher(snape''')]] = ''true/false''<br /> <br /> <br /> <br /> '''Truthtable IF/THEN'''<br /> <br /> [[File:Truthtable_IF_THEN1.png|400px]]<br /> <br /> ===== NOT =====<br /> <br /> Symbol: ¬ &lt;br /&gt;<br /> Sentence: Harry is not a student. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''¬student(harry)''']] = ''true/false''<br /> <br /> The original formulae has to be false, that the overall statement is true.<br /> <br /> '''Example:'''<br /> Only if '''student(harry)''' is ''false'', '''¬student(harry''') is ''true''.<br /> <br /> <br /> <br /> ==== Difficulties ====<br /> * Abstraction of content/natural language<br /> * Understanding the whole process from creating a model to interpret formulae<br /> * Understanding the truth conditions of a formulae with connectives<br /> <br /> == References and links ==<br /> <br /> === References ===<br /> &lt;!-- Indicate at least 3 references that you will use for your topic --&gt;<br /> * Course material &quot;Introduction to Semantics&quot; by Manfred Sailer<br /> <br /> === Links ===<br /> <br /> <br /> * [http://www.philosophy.hku.hk/think/sl Sentential Logic]<br /> <br /> * [http://www.philosophy.hku.hk/think/pl Predicate Logic]<br /> <br /> = Our e-learning objects =<br /> <br /> == Our wiki pages ==<br /> &lt;!-- List all the wiki pages that were created by your group. --&gt;<br /> <br /> * in the Glossary (only those relevant for our topic):<br /> ** [[Glossary:_Predicate| Glossary entry for ''predicate'']]<br /> ** [[Glossary:_Formulae| Glossary entry for ''formulae'']]<br /> ** [[Glossary:_I-Function| Glossary entry for ''I-Function'']]<br /> ** [[Glossary:_G-Function| Glossary entry for ''G-Function'']]<br /> ** [[Glossary:_Logical Connectives| Glossary entry for ''Logical Connective'']]<br /> <br /> == Our podcasts ==<br /> &lt;!-- List all the podcasts that were created by your group. --&gt;<br /> <br /> &lt;mediaplayer&gt;http://youtu.be/KLeSxGJ-FeI&lt;/mediaplayer&gt;<br /> <br /> == Our material for an interactive whiteboard ==<br /> &lt;!-- List all the files that your group created for the interactive whiteboard. --&gt;<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic.notebook Presentation on Predicate Logic]<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic-Comments.docx Comments on the presentation]<br /> <br /> == Our pictures ==<br /> &lt;!-- Give all the pictures of your group. Use the gallery function for this:<br /> &lt;nowiki&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> File:Truthtable_AND1.png|Truthtable AND<br /> File:Truthtable_OR1.png|Truthtable OR<br /> File:Truthtable_IF_THEN1|Truthtable IF THEN<br /> <br /> &lt;/gallery&gt;&lt;/nowiki&gt;<br /> <br /> --&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> File:Truthtable_AND1.png|Truthtable AND<br /> File:Truthtable_OR1.png|Truthtable OR<br /> File:Truthtable_IF_THEN1|Truthtable IF THEN<br /> <br /> <br /> &lt;/gallery&gt;<br /> <br /> == Our exercises ==<br /> &lt;!-- Provide links to all the exercises that your group has created.--&gt;<br /> <br /> Complex exercise on Predicate Logic:<br /> <br /> * [[Creation_of_the_World|Exercise 1: Creation of the World]]<br /> <br /> * [[Formulae_and_their_interpretation|Exercise 2: Formulae and their interpretation]]<br /> <br /> * [[Interpretation_of_formulae_with_connectives|Exercise 3: Interpretation of formulae with connectives]]</div>

Lisa https://www.lexical-resource-semantics.de/wiki/index.php?title=NMTS-Group9&diff=3288 2013-02-12T12:50:48Z

<p>Lisa: /* Our pictures */</p> <hr /> <div>{{MaterialUnderConstruction}}<br /> <br /> = Wikipage of Group 9 =<br /> <br /> == Overview ==<br /> <br /> === Members ===<br /> '''[[User:Lisa| Lisa]]''' &lt;br /&gt; '''[[User:Marthe| Marthe]]''' &lt;br /&gt; '''[[User:Elisabeth.krall| Elisabeth]]''' &lt;br /&gt; '''[[User:IsaB|Isabelle]]'''<br /> <br /> === Short description of the topic ===<br /> <br /> '''Predicate logic - logical connectives'''<br /> <br /> The purpose of Predicate logic is to avoid ambiguity in sentences by forming formulae out of natural language. Logical connectives are used to create formulae out of sentences with &quot;and&quot;, &quot;or&quot;, &quot;if/then&quot; and &quot;not&quot;. The aim is to state if the given sentence is true or false in a given model.<br /> <br /> ==== Examples ====<br /> <br /> ===== AND =====<br /> <br /> Symbol: Ʌ &lt;br /&gt;<br /> Sentence: Harry is a student and Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) Ʌ teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable AND'''<br /> <br /> [[File:Truthtable_AND1.png|400px]]<br /> <br /> ===== OR =====<br /> <br /> Symbol: V &lt;br /&gt;<br /> Sentence: Harry is a student or Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) V teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable OR'''<br /> <br /> [[File:Truthtable_OR1.png|400px]]<br /> <br /> ===== IF/THEN =====<br /> <br /> Symbol: --&gt; &lt;br /&gt;<br /> Sentence: If Harry is a student then Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) --&gt; teacher(snape''')]] = ''true/false''<br /> <br /> <br /> <br /> '''Truthtable IF/THEN'''<br /> <br /> [[File:Truthtable_IF_THEN1.png|400px]]<br /> <br /> ===== NOT =====<br /> <br /> Symbol: ¬ &lt;br /&gt;<br /> Sentence: Harry is not a student. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''¬student(harry)''']] = ''true/false''<br /> <br /> The original formulae has to be false, that the overall statement is true.<br /> <br /> '''Example:'''<br /> Only if '''student(harry)''' is ''false'', '''¬student(harry''') is ''true''.<br /> <br /> <br /> <br /> ==== Difficulties ====<br /> * Abstraction of content/natural language<br /> * Understanding the whole process from creating a model to interpret formulae<br /> * Understanding the truth conditions of a formulae with connectives<br /> <br /> == References and links ==<br /> <br /> === References ===<br /> &lt;!-- Indicate at least 3 references that you will use for your topic --&gt;<br /> * Course material &quot;Introduction to Semantics&quot; by Manfred Sailer<br /> <br /> === Links ===<br /> <br /> <br /> * [http://www.philosophy.hku.hk/think/sl Sentential Logic]<br /> <br /> * [http://www.philosophy.hku.hk/think/pl Predicate Logic]<br /> <br /> = Our e-learning objects =<br /> <br /> == Our wiki pages ==<br /> &lt;!-- List all the wiki pages that were created by your group. --&gt;<br /> <br /> * in the Glossary (only those relevant for our topic):<br /> ** [[Glossary:_Predicate| Glossary entry for ''predicate'']]<br /> ** [[Glossary:_Formulae| Glossary entry for ''formulae'']]<br /> ** [[Glossary:_I-Function| Glossary entry for ''I-Function'']]<br /> ** [[Glossary:_G-Function| Glossary entry for ''G-Function'']]<br /> ** [[Glossary:_Logical Connectives| Glossary entry for ''Logical Connective'']]<br /> <br /> == Our podcasts ==<br /> &lt;!-- List all the podcasts that were created by your group. --&gt;<br /> <br /> &lt;mediaplayer&gt;http://youtu.be/KLeSxGJ-FeI&lt;/mediaplayer&gt;<br /> <br /> == Our material for an interactive whiteboard ==<br /> &lt;!-- List all the files that your group created for the interactive whiteboard. --&gt;<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic.notebook Presentation on Predicate Logic]<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic-Comments.docx Comments on the presentation]<br /> <br /> == Our pictures ==<br /> &lt;!-- Give all the pictures of your group. Use the gallery function for this:<br /> &lt;nowiki&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> File:Truthtable_AND1.png|Truthtable AND<br /> File:Truthtable_OR1.png|Truthtable OR<br /> File:Truthtable_IF_THEN1|Truthtable IF THEN<br /> <br /> &lt;/gallery&gt;&lt;/nowiki&gt;<br /> --&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> File:Truthtable_AND1.png|Truthtable AND<br /> File:Truthtable_OR1.png|Truthtable OR<br /> File:Truthtable_IF_THEN1|Truthtable IF THEN<br /> <br /> &lt;/gallery&gt;<br /> <br /> == Our exercises ==<br /> &lt;!-- Provide links to all the exercises that your group has created.--&gt;<br /> <br /> Complex exercise on Predicate Logic:<br /> <br /> * [[Creation_of_the_World|Exercise 1: Creation of the World]]<br /> <br /> * [[Formulae_and_their_interpretation|Exercise 2: Formulae and their interpretation]]<br /> <br /> * [[Interpretation_of_formulae_with_connectives|Exercise 3: Interpretation of formulae with connectives]]</div>

Lisa https://www.lexical-resource-semantics.de/wiki/index.php?title=NMTS-Group9&diff=3287 2013-02-12T12:49:40Z

<p>Lisa: /* Our pictures */</p> <hr /> <div>{{MaterialUnderConstruction}}<br /> <br /> = Wikipage of Group 9 =<br /> <br /> == Overview ==<br /> <br /> === Members ===<br /> '''[[User:Lisa| Lisa]]''' &lt;br /&gt; '''[[User:Marthe| Marthe]]''' &lt;br /&gt; '''[[User:Elisabeth.krall| Elisabeth]]''' &lt;br /&gt; '''[[User:IsaB|Isabelle]]'''<br /> <br /> === Short description of the topic ===<br /> <br /> '''Predicate logic - logical connectives'''<br /> <br /> The purpose of Predicate logic is to avoid ambiguity in sentences by forming formulae out of natural language. Logical connectives are used to create formulae out of sentences with &quot;and&quot;, &quot;or&quot;, &quot;if/then&quot; and &quot;not&quot;. The aim is to state if the given sentence is true or false in a given model.<br /> <br /> ==== Examples ====<br /> <br /> ===== AND =====<br /> <br /> Symbol: Ʌ &lt;br /&gt;<br /> Sentence: Harry is a student and Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) Ʌ teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable AND'''<br /> <br /> [[File:Truthtable_AND1.png|400px]]<br /> <br /> ===== OR =====<br /> <br /> Symbol: V &lt;br /&gt;<br /> Sentence: Harry is a student or Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) V teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable OR'''<br /> <br /> [[File:Truthtable_OR1.png|400px]]<br /> <br /> ===== IF/THEN =====<br /> <br /> Symbol: --&gt; &lt;br /&gt;<br /> Sentence: If Harry is a student then Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) --&gt; teacher(snape''')]] = ''true/false''<br /> <br /> <br /> <br /> '''Truthtable IF/THEN'''<br /> <br /> [[File:Truthtable_IF_THEN1.png|400px]]<br /> <br /> ===== NOT =====<br /> <br /> Symbol: ¬ &lt;br /&gt;<br /> Sentence: Harry is not a student. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''¬student(harry)''']] = ''true/false''<br /> <br /> The original formulae has to be false, that the overall statement is true.<br /> <br /> '''Example:'''<br /> Only if '''student(harry)''' is ''false'', '''¬student(harry''') is ''true''.<br /> <br /> <br /> <br /> ==== Difficulties ====<br /> * Abstraction of content/natural language<br /> * Understanding the whole process from creating a model to interpret formulae<br /> * Understanding the truth conditions of a formulae with connectives<br /> <br /> == References and links ==<br /> <br /> === References ===<br /> &lt;!-- Indicate at least 3 references that you will use for your topic --&gt;<br /> * Course material &quot;Introduction to Semantics&quot; by Manfred Sailer<br /> <br /> === Links ===<br /> <br /> <br /> * [http://www.philosophy.hku.hk/think/sl Sentential Logic]<br /> <br /> * [http://www.philosophy.hku.hk/think/pl Predicate Logic]<br /> <br /> = Our e-learning objects =<br /> <br /> == Our wiki pages ==<br /> &lt;!-- List all the wiki pages that were created by your group. --&gt;<br /> <br /> * in the Glossary (only those relevant for our topic):<br /> ** [[Glossary:_Predicate| Glossary entry for ''predicate'']]<br /> ** [[Glossary:_Formulae| Glossary entry for ''formulae'']]<br /> ** [[Glossary:_I-Function| Glossary entry for ''I-Function'']]<br /> ** [[Glossary:_G-Function| Glossary entry for ''G-Function'']]<br /> ** [[Glossary:_Logical Connectives| Glossary entry for ''Logical Connective'']]<br /> <br /> == Our podcasts ==<br /> &lt;!-- List all the podcasts that were created by your group. --&gt;<br /> <br /> &lt;mediaplayer&gt;http://youtu.be/KLeSxGJ-FeI&lt;/mediaplayer&gt;<br /> <br /> == Our material for an interactive whiteboard ==<br /> &lt;!-- List all the files that your group created for the interactive whiteboard. --&gt;<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic.notebook Presentation on Predicate Logic]<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic-Comments.docx Comments on the presentation]<br /> <br /> == Our pictures ==<br /> &lt;!-- Give all the pictures of your group. Use the gallery function for this:<br /> &lt;nowiki&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> File:Truthtable_AND1.png|Truthtable AND<br /> <br /> &lt;/gallery&gt;&lt;/nowiki&gt;<br /> --&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> File:Truthtable_AND1.png|Truthtable AND<br /> <br /> <br /> &lt;/gallery&gt;<br /> <br /> == Our exercises ==<br /> &lt;!-- Provide links to all the exercises that your group has created.--&gt;<br /> <br /> Complex exercise on Predicate Logic:<br /> <br /> * [[Creation_of_the_World|Exercise 1: Creation of the World]]<br /> <br /> * [[Formulae_and_their_interpretation|Exercise 2: Formulae and their interpretation]]<br /> <br /> * [[Interpretation_of_formulae_with_connectives|Exercise 3: Interpretation of formulae with connectives]]</div>

Lisa https://www.lexical-resource-semantics.de/wiki/index.php?title=NMTS-Group9&diff=3286 2013-02-12T12:48:24Z

<p>Lisa: /* Our pictures */</p> <hr /> <div>{{MaterialUnderConstruction}}<br /> <br /> = Wikipage of Group 9 =<br /> <br /> == Overview ==<br /> <br /> === Members ===<br /> '''[[User:Lisa| Lisa]]''' &lt;br /&gt; '''[[User:Marthe| Marthe]]''' &lt;br /&gt; '''[[User:Elisabeth.krall| Elisabeth]]''' &lt;br /&gt; '''[[User:IsaB|Isabelle]]'''<br /> <br /> === Short description of the topic ===<br /> <br /> '''Predicate logic - logical connectives'''<br /> <br /> The purpose of Predicate logic is to avoid ambiguity in sentences by forming formulae out of natural language. Logical connectives are used to create formulae out of sentences with &quot;and&quot;, &quot;or&quot;, &quot;if/then&quot; and &quot;not&quot;. The aim is to state if the given sentence is true or false in a given model.<br /> <br /> ==== Examples ====<br /> <br /> ===== AND =====<br /> <br /> Symbol: Ʌ &lt;br /&gt;<br /> Sentence: Harry is a student and Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) Ʌ teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable AND'''<br /> <br /> [[File:Truthtable_AND1.png|400px]]<br /> <br /> ===== OR =====<br /> <br /> Symbol: V &lt;br /&gt;<br /> Sentence: Harry is a student or Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) V teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable OR'''<br /> <br /> [[File:Truthtable_OR1.png|400px]]<br /> <br /> ===== IF/THEN =====<br /> <br /> Symbol: --&gt; &lt;br /&gt;<br /> Sentence: If Harry is a student then Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) --&gt; teacher(snape''')]] = ''true/false''<br /> <br /> <br /> <br /> '''Truthtable IF/THEN'''<br /> <br /> [[File:Truthtable_IF_THEN1.png|400px]]<br /> <br /> ===== NOT =====<br /> <br /> Symbol: ¬ &lt;br /&gt;<br /> Sentence: Harry is not a student. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''¬student(harry)''']] = ''true/false''<br /> <br /> The original formulae has to be false, that the overall statement is true.<br /> <br /> '''Example:'''<br /> Only if '''student(harry)''' is ''false'', '''¬student(harry''') is ''true''.<br /> <br /> <br /> <br /> ==== Difficulties ====<br /> * Abstraction of content/natural language<br /> * Understanding the whole process from creating a model to interpret formulae<br /> * Understanding the truth conditions of a formulae with connectives<br /> <br /> == References and links ==<br /> <br /> === References ===<br /> &lt;!-- Indicate at least 3 references that you will use for your topic --&gt;<br /> * Course material &quot;Introduction to Semantics&quot; by Manfred Sailer<br /> <br /> === Links ===<br /> <br /> <br /> * [http://www.philosophy.hku.hk/think/sl Sentential Logic]<br /> <br /> * [http://www.philosophy.hku.hk/think/pl Predicate Logic]<br /> <br /> = Our e-learning objects =<br /> <br /> == Our wiki pages ==<br /> &lt;!-- List all the wiki pages that were created by your group. --&gt;<br /> <br /> * in the Glossary (only those relevant for our topic):<br /> ** [[Glossary:_Predicate| Glossary entry for ''predicate'']]<br /> ** [[Glossary:_Formulae| Glossary entry for ''formulae'']]<br /> ** [[Glossary:_I-Function| Glossary entry for ''I-Function'']]<br /> ** [[Glossary:_G-Function| Glossary entry for ''G-Function'']]<br /> ** [[Glossary:_Logical Connectives| Glossary entry for ''Logical Connective'']]<br /> <br /> == Our podcasts ==<br /> &lt;!-- List all the podcasts that were created by your group. --&gt;<br /> <br /> &lt;mediaplayer&gt;http://youtu.be/KLeSxGJ-FeI&lt;/mediaplayer&gt;<br /> <br /> == Our material for an interactive whiteboard ==<br /> &lt;!-- List all the files that your group created for the interactive whiteboard. --&gt;<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic.notebook Presentation on Predicate Logic]<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic-Comments.docx Comments on the presentation]<br /> <br /> == Our pictures ==<br /> &lt;!-- Give all the pictures of your group. Use the gallery function for this:<br /> &lt;nowiki&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> <br /> &lt;/gallery&gt;&lt;/nowiki&gt;<br /> --&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> <br /> <br /> <br /> &lt;/gallery&gt;<br /> <br /> [[File:Truthtable_AND1.png|300px|Truthtable AND]]<br /> <br /> == Our exercises ==<br /> &lt;!-- Provide links to all the exercises that your group has created.--&gt;<br /> <br /> Complex exercise on Predicate Logic:<br /> <br /> * [[Creation_of_the_World|Exercise 1: Creation of the World]]<br /> <br /> * [[Formulae_and_their_interpretation|Exercise 2: Formulae and their interpretation]]<br /> <br /> * [[Interpretation_of_formulae_with_connectives|Exercise 3: Interpretation of formulae with connectives]]</div>

Lisa https://www.lexical-resource-semantics.de/wiki/index.php?title=NMTS-Group9&diff=3285 2013-02-12T12:47:46Z

<p>Lisa: /* Our pictures */</p> <hr /> <div>{{MaterialUnderConstruction}}<br /> <br /> = Wikipage of Group 9 =<br /> <br /> == Overview ==<br /> <br /> === Members ===<br /> '''[[User:Lisa| Lisa]]''' &lt;br /&gt; '''[[User:Marthe| Marthe]]''' &lt;br /&gt; '''[[User:Elisabeth.krall| Elisabeth]]''' &lt;br /&gt; '''[[User:IsaB|Isabelle]]'''<br /> <br /> === Short description of the topic ===<br /> <br /> '''Predicate logic - logical connectives'''<br /> <br /> The purpose of Predicate logic is to avoid ambiguity in sentences by forming formulae out of natural language. Logical connectives are used to create formulae out of sentences with &quot;and&quot;, &quot;or&quot;, &quot;if/then&quot; and &quot;not&quot;. The aim is to state if the given sentence is true or false in a given model.<br /> <br /> ==== Examples ====<br /> <br /> ===== AND =====<br /> <br /> Symbol: Ʌ &lt;br /&gt;<br /> Sentence: Harry is a student and Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) Ʌ teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable AND'''<br /> <br /> [[File:Truthtable_AND1.png|400px]]<br /> <br /> ===== OR =====<br /> <br /> Symbol: V &lt;br /&gt;<br /> Sentence: Harry is a student or Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) V teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable OR'''<br /> <br /> [[File:Truthtable_OR1.png|400px]]<br /> <br /> ===== IF/THEN =====<br /> <br /> Symbol: --&gt; &lt;br /&gt;<br /> Sentence: If Harry is a student then Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) --&gt; teacher(snape''')]] = ''true/false''<br /> <br /> <br /> <br /> '''Truthtable IF/THEN'''<br /> <br /> [[File:Truthtable_IF_THEN1.png|400px]]<br /> <br /> ===== NOT =====<br /> <br /> Symbol: ¬ &lt;br /&gt;<br /> Sentence: Harry is not a student. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''¬student(harry)''']] = ''true/false''<br /> <br /> The original formulae has to be false, that the overall statement is true.<br /> <br /> '''Example:'''<br /> Only if '''student(harry)''' is ''false'', '''¬student(harry''') is ''true''.<br /> <br /> <br /> <br /> ==== Difficulties ====<br /> * Abstraction of content/natural language<br /> * Understanding the whole process from creating a model to interpret formulae<br /> * Understanding the truth conditions of a formulae with connectives<br /> <br /> == References and links ==<br /> <br /> === References ===<br /> &lt;!-- Indicate at least 3 references that you will use for your topic --&gt;<br /> * Course material &quot;Introduction to Semantics&quot; by Manfred Sailer<br /> <br /> === Links ===<br /> <br /> <br /> * [http://www.philosophy.hku.hk/think/sl Sentential Logic]<br /> <br /> * [http://www.philosophy.hku.hk/think/pl Predicate Logic]<br /> <br /> = Our e-learning objects =<br /> <br /> == Our wiki pages ==<br /> &lt;!-- List all the wiki pages that were created by your group. --&gt;<br /> <br /> * in the Glossary (only those relevant for our topic):<br /> ** [[Glossary:_Predicate| Glossary entry for ''predicate'']]<br /> ** [[Glossary:_Formulae| Glossary entry for ''formulae'']]<br /> ** [[Glossary:_I-Function| Glossary entry for ''I-Function'']]<br /> ** [[Glossary:_G-Function| Glossary entry for ''G-Function'']]<br /> ** [[Glossary:_Logical Connectives| Glossary entry for ''Logical Connective'']]<br /> <br /> == Our podcasts ==<br /> &lt;!-- List all the podcasts that were created by your group. --&gt;<br /> <br /> &lt;mediaplayer&gt;http://youtu.be/KLeSxGJ-FeI&lt;/mediaplayer&gt;<br /> <br /> == Our material for an interactive whiteboard ==<br /> &lt;!-- List all the files that your group created for the interactive whiteboard. --&gt;<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic.notebook Presentation on Predicate Logic]<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic-Comments.docx Comments on the presentation]<br /> <br /> == Our pictures ==<br /> &lt;!-- Give all the pictures of your group. Use the gallery function for this:<br /> &lt;nowiki&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> <br /> &lt;/gallery&gt;&lt;/nowiki&gt;<br /> --&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> <br /> <br /> <br /> &lt;/gallery&gt;<br /> <br /> [[File:Truthtable_AND1.png|300px]]|Truthtable<br /> <br /> == Our exercises ==<br /> &lt;!-- Provide links to all the exercises that your group has created.--&gt;<br /> <br /> Complex exercise on Predicate Logic:<br /> <br /> * [[Creation_of_the_World|Exercise 1: Creation of the World]]<br /> <br /> * [[Formulae_and_their_interpretation|Exercise 2: Formulae and their interpretation]]<br /> <br /> * [[Interpretation_of_formulae_with_connectives|Exercise 3: Interpretation of formulae with connectives]]</div>

Lisa https://www.lexical-resource-semantics.de/wiki/index.php?title=NMTS-Group9&diff=3284 2013-02-12T12:47:10Z

<p>Lisa: /* Our pictures */</p> <hr /> <div>{{MaterialUnderConstruction}}<br /> <br /> = Wikipage of Group 9 =<br /> <br /> == Overview ==<br /> <br /> === Members ===<br /> '''[[User:Lisa| Lisa]]''' &lt;br /&gt; '''[[User:Marthe| Marthe]]''' &lt;br /&gt; '''[[User:Elisabeth.krall| Elisabeth]]''' &lt;br /&gt; '''[[User:IsaB|Isabelle]]'''<br /> <br /> === Short description of the topic ===<br /> <br /> '''Predicate logic - logical connectives'''<br /> <br /> The purpose of Predicate logic is to avoid ambiguity in sentences by forming formulae out of natural language. Logical connectives are used to create formulae out of sentences with &quot;and&quot;, &quot;or&quot;, &quot;if/then&quot; and &quot;not&quot;. The aim is to state if the given sentence is true or false in a given model.<br /> <br /> ==== Examples ====<br /> <br /> ===== AND =====<br /> <br /> Symbol: Ʌ &lt;br /&gt;<br /> Sentence: Harry is a student and Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) Ʌ teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable AND'''<br /> <br /> [[File:Truthtable_AND1.png|400px]]<br /> <br /> ===== OR =====<br /> <br /> Symbol: V &lt;br /&gt;<br /> Sentence: Harry is a student or Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) V teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable OR'''<br /> <br /> [[File:Truthtable_OR1.png|400px]]<br /> <br /> ===== IF/THEN =====<br /> <br /> Symbol: --&gt; &lt;br /&gt;<br /> Sentence: If Harry is a student then Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) --&gt; teacher(snape''')]] = ''true/false''<br /> <br /> <br /> <br /> '''Truthtable IF/THEN'''<br /> <br /> [[File:Truthtable_IF_THEN1.png|400px]]<br /> <br /> ===== NOT =====<br /> <br /> Symbol: ¬ &lt;br /&gt;<br /> Sentence: Harry is not a student. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''¬student(harry)''']] = ''true/false''<br /> <br /> The original formulae has to be false, that the overall statement is true.<br /> <br /> '''Example:'''<br /> Only if '''student(harry)''' is ''false'', '''¬student(harry''') is ''true''.<br /> <br /> <br /> <br /> ==== Difficulties ====<br /> * Abstraction of content/natural language<br /> * Understanding the whole process from creating a model to interpret formulae<br /> * Understanding the truth conditions of a formulae with connectives<br /> <br /> == References and links ==<br /> <br /> === References ===<br /> &lt;!-- Indicate at least 3 references that you will use for your topic --&gt;<br /> * Course material &quot;Introduction to Semantics&quot; by Manfred Sailer<br /> <br /> === Links ===<br /> <br /> <br /> * [http://www.philosophy.hku.hk/think/sl Sentential Logic]<br /> <br /> * [http://www.philosophy.hku.hk/think/pl Predicate Logic]<br /> <br /> = Our e-learning objects =<br /> <br /> == Our wiki pages ==<br /> &lt;!-- List all the wiki pages that were created by your group. --&gt;<br /> <br /> * in the Glossary (only those relevant for our topic):<br /> ** [[Glossary:_Predicate| Glossary entry for ''predicate'']]<br /> ** [[Glossary:_Formulae| Glossary entry for ''formulae'']]<br /> ** [[Glossary:_I-Function| Glossary entry for ''I-Function'']]<br /> ** [[Glossary:_G-Function| Glossary entry for ''G-Function'']]<br /> ** [[Glossary:_Logical Connectives| Glossary entry for ''Logical Connective'']]<br /> <br /> == Our podcasts ==<br /> &lt;!-- List all the podcasts that were created by your group. --&gt;<br /> <br /> &lt;mediaplayer&gt;http://youtu.be/KLeSxGJ-FeI&lt;/mediaplayer&gt;<br /> <br /> == Our material for an interactive whiteboard ==<br /> &lt;!-- List all the files that your group created for the interactive whiteboard. --&gt;<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic.notebook Presentation on Predicate Logic]<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic-Comments.docx Comments on the presentation]<br /> <br /> == Our pictures ==<br /> &lt;!-- Give all the pictures of your group. Use the gallery function for this:<br /> &lt;nowiki&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> <br /> &lt;/gallery&gt;&lt;/nowiki&gt;<br /> --&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> <br /> <br /> <br /> &lt;/gallery&gt;<br /> <br /> [[File:Truthtable_AND1.png|300px]]<br /> <br /> == Our exercises ==<br /> &lt;!-- Provide links to all the exercises that your group has created.--&gt;<br /> <br /> Complex exercise on Predicate Logic:<br /> <br /> * [[Creation_of_the_World|Exercise 1: Creation of the World]]<br /> <br /> * [[Formulae_and_their_interpretation|Exercise 2: Formulae and their interpretation]]<br /> <br /> * [[Interpretation_of_formulae_with_connectives|Exercise 3: Interpretation of formulae with connectives]]</div>

Lisa https://www.lexical-resource-semantics.de/wiki/index.php?title=NMTS-Group9&diff=3283 2013-02-12T12:46:51Z

<p>Lisa: /* Our pictures */</p> <hr /> <div>{{MaterialUnderConstruction}}<br /> <br /> = Wikipage of Group 9 =<br /> <br /> == Overview ==<br /> <br /> === Members ===<br /> '''[[User:Lisa| Lisa]]''' &lt;br /&gt; '''[[User:Marthe| Marthe]]''' &lt;br /&gt; '''[[User:Elisabeth.krall| Elisabeth]]''' &lt;br /&gt; '''[[User:IsaB|Isabelle]]'''<br /> <br /> === Short description of the topic ===<br /> <br /> '''Predicate logic - logical connectives'''<br /> <br /> The purpose of Predicate logic is to avoid ambiguity in sentences by forming formulae out of natural language. Logical connectives are used to create formulae out of sentences with &quot;and&quot;, &quot;or&quot;, &quot;if/then&quot; and &quot;not&quot;. The aim is to state if the given sentence is true or false in a given model.<br /> <br /> ==== Examples ====<br /> <br /> ===== AND =====<br /> <br /> Symbol: Ʌ &lt;br /&gt;<br /> Sentence: Harry is a student and Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) Ʌ teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable AND'''<br /> <br /> [[File:Truthtable_AND1.png|400px]]<br /> <br /> ===== OR =====<br /> <br /> Symbol: V &lt;br /&gt;<br /> Sentence: Harry is a student or Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) V teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable OR'''<br /> <br /> [[File:Truthtable_OR1.png|400px]]<br /> <br /> ===== IF/THEN =====<br /> <br /> Symbol: --&gt; &lt;br /&gt;<br /> Sentence: If Harry is a student then Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) --&gt; teacher(snape''')]] = ''true/false''<br /> <br /> <br /> <br /> '''Truthtable IF/THEN'''<br /> <br /> [[File:Truthtable_IF_THEN1.png|400px]]<br /> <br /> ===== NOT =====<br /> <br /> Symbol: ¬ &lt;br /&gt;<br /> Sentence: Harry is not a student. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''¬student(harry)''']] = ''true/false''<br /> <br /> The original formulae has to be false, that the overall statement is true.<br /> <br /> '''Example:'''<br /> Only if '''student(harry)''' is ''false'', '''¬student(harry''') is ''true''.<br /> <br /> <br /> <br /> ==== Difficulties ====<br /> * Abstraction of content/natural language<br /> * Understanding the whole process from creating a model to interpret formulae<br /> * Understanding the truth conditions of a formulae with connectives<br /> <br /> == References and links ==<br /> <br /> === References ===<br /> &lt;!-- Indicate at least 3 references that you will use for your topic --&gt;<br /> * Course material &quot;Introduction to Semantics&quot; by Manfred Sailer<br /> <br /> === Links ===<br /> <br /> <br /> * [http://www.philosophy.hku.hk/think/sl Sentential Logic]<br /> <br /> * [http://www.philosophy.hku.hk/think/pl Predicate Logic]<br /> <br /> = Our e-learning objects =<br /> <br /> == Our wiki pages ==<br /> &lt;!-- List all the wiki pages that were created by your group. --&gt;<br /> <br /> * in the Glossary (only those relevant for our topic):<br /> ** [[Glossary:_Predicate| Glossary entry for ''predicate'']]<br /> ** [[Glossary:_Formulae| Glossary entry for ''formulae'']]<br /> ** [[Glossary:_I-Function| Glossary entry for ''I-Function'']]<br /> ** [[Glossary:_G-Function| Glossary entry for ''G-Function'']]<br /> ** [[Glossary:_Logical Connectives| Glossary entry for ''Logical Connective'']]<br /> <br /> == Our podcasts ==<br /> &lt;!-- List all the podcasts that were created by your group. --&gt;<br /> <br /> &lt;mediaplayer&gt;http://youtu.be/KLeSxGJ-FeI&lt;/mediaplayer&gt;<br /> <br /> == Our material for an interactive whiteboard ==<br /> &lt;!-- List all the files that your group created for the interactive whiteboard. --&gt;<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic.notebook Presentation on Predicate Logic]<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic-Comments.docx Comments on the presentation]<br /> <br /> == Our pictures ==<br /> &lt;!-- Give all the pictures of your group. Use the gallery function for this:<br /> &lt;nowiki&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> <br /> &lt;/gallery&gt;&lt;/nowiki&gt;<br /> --&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> <br /> <br /> <br /> &lt;/gallery&gt;<br /> <br /> [[File:Truthtable_AND1.png|400px]]<br /> <br /> == Our exercises ==<br /> &lt;!-- Provide links to all the exercises that your group has created.--&gt;<br /> <br /> Complex exercise on Predicate Logic:<br /> <br /> * [[Creation_of_the_World|Exercise 1: Creation of the World]]<br /> <br /> * [[Formulae_and_their_interpretation|Exercise 2: Formulae and their interpretation]]<br /> <br /> * [[Interpretation_of_formulae_with_connectives|Exercise 3: Interpretation of formulae with connectives]]</div>

Lisa https://www.lexical-resource-semantics.de/wiki/index.php?title=NMTS-Group9&diff=3282 2013-02-12T12:46:30Z

<p>Lisa: /* Our pictures */</p> <hr /> <div>{{MaterialUnderConstruction}}<br /> <br /> = Wikipage of Group 9 =<br /> <br /> == Overview ==<br /> <br /> === Members ===<br /> '''[[User:Lisa| Lisa]]''' &lt;br /&gt; '''[[User:Marthe| Marthe]]''' &lt;br /&gt; '''[[User:Elisabeth.krall| Elisabeth]]''' &lt;br /&gt; '''[[User:IsaB|Isabelle]]'''<br /> <br /> === Short description of the topic ===<br /> <br /> '''Predicate logic - logical connectives'''<br /> <br /> The purpose of Predicate logic is to avoid ambiguity in sentences by forming formulae out of natural language. Logical connectives are used to create formulae out of sentences with &quot;and&quot;, &quot;or&quot;, &quot;if/then&quot; and &quot;not&quot;. The aim is to state if the given sentence is true or false in a given model.<br /> <br /> ==== Examples ====<br /> <br /> ===== AND =====<br /> <br /> Symbol: Ʌ &lt;br /&gt;<br /> Sentence: Harry is a student and Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) Ʌ teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable AND'''<br /> <br /> [[File:Truthtable_AND1.png|400px]]<br /> <br /> ===== OR =====<br /> <br /> Symbol: V &lt;br /&gt;<br /> Sentence: Harry is a student or Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) V teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable OR'''<br /> <br /> [[File:Truthtable_OR1.png|400px]]<br /> <br /> ===== IF/THEN =====<br /> <br /> Symbol: --&gt; &lt;br /&gt;<br /> Sentence: If Harry is a student then Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) --&gt; teacher(snape''')]] = ''true/false''<br /> <br /> <br /> <br /> '''Truthtable IF/THEN'''<br /> <br /> [[File:Truthtable_IF_THEN1.png|400px]]<br /> <br /> ===== NOT =====<br /> <br /> Symbol: ¬ &lt;br /&gt;<br /> Sentence: Harry is not a student. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''¬student(harry)''']] = ''true/false''<br /> <br /> The original formulae has to be false, that the overall statement is true.<br /> <br /> '''Example:'''<br /> Only if '''student(harry)''' is ''false'', '''¬student(harry''') is ''true''.<br /> <br /> <br /> <br /> ==== Difficulties ====<br /> * Abstraction of content/natural language<br /> * Understanding the whole process from creating a model to interpret formulae<br /> * Understanding the truth conditions of a formulae with connectives<br /> <br /> == References and links ==<br /> <br /> === References ===<br /> &lt;!-- Indicate at least 3 references that you will use for your topic --&gt;<br /> * Course material &quot;Introduction to Semantics&quot; by Manfred Sailer<br /> <br /> === Links ===<br /> <br /> <br /> * [http://www.philosophy.hku.hk/think/sl Sentential Logic]<br /> <br /> * [http://www.philosophy.hku.hk/think/pl Predicate Logic]<br /> <br /> = Our e-learning objects =<br /> <br /> == Our wiki pages ==<br /> &lt;!-- List all the wiki pages that were created by your group. --&gt;<br /> <br /> * in the Glossary (only those relevant for our topic):<br /> ** [[Glossary:_Predicate| Glossary entry for ''predicate'']]<br /> ** [[Glossary:_Formulae| Glossary entry for ''formulae'']]<br /> ** [[Glossary:_I-Function| Glossary entry for ''I-Function'']]<br /> ** [[Glossary:_G-Function| Glossary entry for ''G-Function'']]<br /> ** [[Glossary:_Logical Connectives| Glossary entry for ''Logical Connective'']]<br /> <br /> == Our podcasts ==<br /> &lt;!-- List all the podcasts that were created by your group. --&gt;<br /> <br /> &lt;mediaplayer&gt;http://youtu.be/KLeSxGJ-FeI&lt;/mediaplayer&gt;<br /> <br /> == Our material for an interactive whiteboard ==<br /> &lt;!-- List all the files that your group created for the interactive whiteboard. --&gt;<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic.notebook Presentation on Predicate Logic]<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic-Comments.docx Comments on the presentation]<br /> <br /> == Our pictures ==<br /> &lt;!-- Give all the pictures of your group. Use the gallery function for this:<br /> &lt;nowiki&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> <br /> &lt;/gallery&gt;&lt;/nowiki&gt;<br /> --&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> [[File:Truthtable_AND1.png|400px]]<br /> <br /> <br /> &lt;/gallery&gt;<br /> <br /> == Our exercises ==<br /> &lt;!-- Provide links to all the exercises that your group has created.--&gt;<br /> <br /> Complex exercise on Predicate Logic:<br /> <br /> * [[Creation_of_the_World|Exercise 1: Creation of the World]]<br /> <br /> * [[Formulae_and_their_interpretation|Exercise 2: Formulae and their interpretation]]<br /> <br /> * [[Interpretation_of_formulae_with_connectives|Exercise 3: Interpretation of formulae with connectives]]</div>

Lisa https://www.lexical-resource-semantics.de/wiki/index.php?title=NMTS-Group9&diff=3281 2013-02-12T12:45:44Z

<p>Lisa: /* Wikipage of Group 9 */</p> <hr /> <div>{{MaterialUnderConstruction}}<br /> <br /> = Wikipage of Group 9 =<br /> <br /> == Overview ==<br /> <br /> === Members ===<br /> '''[[User:Lisa| Lisa]]''' &lt;br /&gt; '''[[User:Marthe| Marthe]]''' &lt;br /&gt; '''[[User:Elisabeth.krall| Elisabeth]]''' &lt;br /&gt; '''[[User:IsaB|Isabelle]]'''<br /> <br /> === Short description of the topic ===<br /> <br /> '''Predicate logic - logical connectives'''<br /> <br /> The purpose of Predicate logic is to avoid ambiguity in sentences by forming formulae out of natural language. Logical connectives are used to create formulae out of sentences with &quot;and&quot;, &quot;or&quot;, &quot;if/then&quot; and &quot;not&quot;. The aim is to state if the given sentence is true or false in a given model.<br /> <br /> ==== Examples ====<br /> <br /> ===== AND =====<br /> <br /> Symbol: Ʌ &lt;br /&gt;<br /> Sentence: Harry is a student and Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) Ʌ teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable AND'''<br /> <br /> [[File:Truthtable_AND1.png|400px]]<br /> <br /> ===== OR =====<br /> <br /> Symbol: V &lt;br /&gt;<br /> Sentence: Harry is a student or Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) V teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable OR'''<br /> <br /> [[File:Truthtable_OR1.png|400px]]<br /> <br /> ===== IF/THEN =====<br /> <br /> Symbol: --&gt; &lt;br /&gt;<br /> Sentence: If Harry is a student then Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) --&gt; teacher(snape''')]] = ''true/false''<br /> <br /> <br /> <br /> '''Truthtable IF/THEN'''<br /> <br /> [[File:Truthtable_IF_THEN1.png|400px]]<br /> <br /> ===== NOT =====<br /> <br /> Symbol: ¬ &lt;br /&gt;<br /> Sentence: Harry is not a student. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''¬student(harry)''']] = ''true/false''<br /> <br /> The original formulae has to be false, that the overall statement is true.<br /> <br /> '''Example:'''<br /> Only if '''student(harry)''' is ''false'', '''¬student(harry''') is ''true''.<br /> <br /> <br /> <br /> ==== Difficulties ====<br /> * Abstraction of content/natural language<br /> * Understanding the whole process from creating a model to interpret formulae<br /> * Understanding the truth conditions of a formulae with connectives<br /> <br /> == References and links ==<br /> <br /> === References ===<br /> &lt;!-- Indicate at least 3 references that you will use for your topic --&gt;<br /> * Course material &quot;Introduction to Semantics&quot; by Manfred Sailer<br /> <br /> === Links ===<br /> <br /> <br /> * [http://www.philosophy.hku.hk/think/sl Sentential Logic]<br /> <br /> * [http://www.philosophy.hku.hk/think/pl Predicate Logic]<br /> <br /> = Our e-learning objects =<br /> <br /> == Our wiki pages ==<br /> &lt;!-- List all the wiki pages that were created by your group. --&gt;<br /> <br /> * in the Glossary (only those relevant for our topic):<br /> ** [[Glossary:_Predicate| Glossary entry for ''predicate'']]<br /> ** [[Glossary:_Formulae| Glossary entry for ''formulae'']]<br /> ** [[Glossary:_I-Function| Glossary entry for ''I-Function'']]<br /> ** [[Glossary:_G-Function| Glossary entry for ''G-Function'']]<br /> ** [[Glossary:_Logical Connectives| Glossary entry for ''Logical Connective'']]<br /> <br /> == Our podcasts ==<br /> &lt;!-- List all the podcasts that were created by your group. --&gt;<br /> <br /> &lt;mediaplayer&gt;http://youtu.be/KLeSxGJ-FeI&lt;/mediaplayer&gt;<br /> <br /> == Our material for an interactive whiteboard ==<br /> &lt;!-- List all the files that your group created for the interactive whiteboard. --&gt;<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic.notebook Presentation on Predicate Logic]<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic-Comments.docx Comments on the presentation]<br /> <br /> == Our pictures ==<br /> &lt;!-- Give all the pictures of your group. Use the gallery function for this:<br /> &lt;nowiki&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> <br /> &lt;/gallery&gt;&lt;/nowiki&gt;<br /> --&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> <br /> <br /> &lt;/gallery&gt;<br /> <br /> == Our exercises ==<br /> &lt;!-- Provide links to all the exercises that your group has created.--&gt;<br /> <br /> Complex exercise on Predicate Logic:<br /> <br /> * [[Creation_of_the_World|Exercise 1: Creation of the World]]<br /> <br /> * [[Formulae_and_their_interpretation|Exercise 2: Formulae and their interpretation]]<br /> <br /> * [[Interpretation_of_formulae_with_connectives|Exercise 3: Interpretation of formulae with connectives]]</div>

Lisa https://www.lexical-resource-semantics.de/wiki/index.php?title=File:Truthtable_IF_THEN1.png&diff=3280 2013-02-12T12:45:16Z

<p>Lisa: </p> <hr /> <div>== Licensing ==<br /> {{cc-by-nc-dn-3.0}}</div>

Lisa https://www.lexical-resource-semantics.de/wiki/index.php?title=NMTS-Group9&diff=3279 2013-02-12T12:44:53Z

<p>Lisa: /* IF/THEN */</p> <hr /> <div>{{MaterialUnderConstruction}}<br /> <br /> = Wikipage of Group 9 =<br /> <br /> === Comments by the NMTS team ===<br /> <br /> <br /> * die Truthtables aus der Beschreibung fehlen in Our pictures<br /> * stick to English in your pictures! (see the truth tables)<br /> <br /> <br /> == Overview ==<br /> <br /> === Members ===<br /> '''[[User:Lisa| Lisa]]''' &lt;br /&gt; '''[[User:Marthe| Marthe]]''' &lt;br /&gt; '''[[User:Elisabeth.krall| Elisabeth]]''' &lt;br /&gt; '''[[User:IsaB|Isabelle]]'''<br /> <br /> === Short description of the topic ===<br /> <br /> '''Predicate logic - logical connectives'''<br /> <br /> The purpose of Predicate logic is to avoid ambiguity in sentences by forming formulae out of natural language. Logical connectives are used to create formulae out of sentences with &quot;and&quot;, &quot;or&quot;, &quot;if/then&quot; and &quot;not&quot;. The aim is to state if the given sentence is true or false in a given model.<br /> <br /> ==== Examples ====<br /> <br /> ===== AND =====<br /> <br /> Symbol: Ʌ &lt;br /&gt;<br /> Sentence: Harry is a student and Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) Ʌ teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable AND'''<br /> <br /> [[File:Truthtable_AND1.png|400px]]<br /> <br /> ===== OR =====<br /> <br /> Symbol: V &lt;br /&gt;<br /> Sentence: Harry is a student or Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) V teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable OR'''<br /> <br /> [[File:Truthtable_OR1.png|400px]]<br /> <br /> ===== IF/THEN =====<br /> <br /> Symbol: --&gt; &lt;br /&gt;<br /> Sentence: If Harry is a student then Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) --&gt; teacher(snape''')]] = ''true/false''<br /> <br /> <br /> <br /> '''Truthtable IF/THEN'''<br /> <br /> [[File:Truthtable_IF_THEN1.png|400px]]<br /> <br /> ===== NOT =====<br /> <br /> Symbol: ¬ &lt;br /&gt;<br /> Sentence: Harry is not a student. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''¬student(harry)''']] = ''true/false''<br /> <br /> The original formulae has to be false, that the overall statement is true.<br /> <br /> '''Example:'''<br /> Only if '''student(harry)''' is ''false'', '''¬student(harry''') is ''true''.<br /> <br /> <br /> <br /> ==== Difficulties ====<br /> * Abstraction of content/natural language<br /> * Understanding the whole process from creating a model to interpret formulae<br /> * Understanding the truth conditions of a formulae with connectives<br /> <br /> == References and links ==<br /> <br /> === References ===<br /> &lt;!-- Indicate at least 3 references that you will use for your topic --&gt;<br /> * Course material &quot;Introduction to Semantics&quot; by Manfred Sailer<br /> <br /> === Links ===<br /> <br /> <br /> * [http://www.philosophy.hku.hk/think/sl Sentential Logic]<br /> <br /> * [http://www.philosophy.hku.hk/think/pl Predicate Logic]<br /> <br /> = Our e-learning objects =<br /> <br /> == Our wiki pages ==<br /> &lt;!-- List all the wiki pages that were created by your group. --&gt;<br /> <br /> * in the Glossary (only those relevant for our topic):<br /> ** [[Glossary:_Predicate| Glossary entry for ''predicate'']]<br /> ** [[Glossary:_Formulae| Glossary entry for ''formulae'']]<br /> ** [[Glossary:_I-Function| Glossary entry for ''I-Function'']]<br /> ** [[Glossary:_G-Function| Glossary entry for ''G-Function'']]<br /> ** [[Glossary:_Logical Connectives| Glossary entry for ''Logical Connective'']]<br /> <br /> == Our podcasts ==<br /> &lt;!-- List all the podcasts that were created by your group. --&gt;<br /> <br /> &lt;mediaplayer&gt;http://youtu.be/KLeSxGJ-FeI&lt;/mediaplayer&gt;<br /> <br /> == Our material for an interactive whiteboard ==<br /> &lt;!-- List all the files that your group created for the interactive whiteboard. --&gt;<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic.notebook Presentation on Predicate Logic]<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic-Comments.docx Comments on the presentation]<br /> <br /> == Our pictures ==<br /> &lt;!-- Give all the pictures of your group. Use the gallery function for this:<br /> &lt;nowiki&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> <br /> &lt;/gallery&gt;&lt;/nowiki&gt;<br /> --&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> <br /> <br /> &lt;/gallery&gt;<br /> <br /> == Our exercises ==<br /> &lt;!-- Provide links to all the exercises that your group has created.--&gt;<br /> <br /> Complex exercise on Predicate Logic:<br /> <br /> * [[Creation_of_the_World|Exercise 1: Creation of the World]]<br /> <br /> * [[Formulae_and_their_interpretation|Exercise 2: Formulae and their interpretation]]<br /> <br /> * [[Interpretation_of_formulae_with_connectives|Exercise 3: Interpretation of formulae with connectives]]</div>

Lisa https://www.lexical-resource-semantics.de/wiki/index.php?title=File:Truthtable_OR1.png&diff=3278 2013-02-12T12:44:27Z

<p>Lisa: </p> <hr /> <div>== Licensing ==<br /> {{cc-by-nc-dn-3.0}}</div>

Lisa https://www.lexical-resource-semantics.de/wiki/index.php?title=NMTS-Group9&diff=3277 2013-02-12T12:44:01Z

<p>Lisa: /* OR */</p> <hr /> <div>{{MaterialUnderConstruction}}<br /> <br /> = Wikipage of Group 9 =<br /> <br /> === Comments by the NMTS team ===<br /> <br /> <br /> * die Truthtables aus der Beschreibung fehlen in Our pictures<br /> * stick to English in your pictures! (see the truth tables)<br /> <br /> <br /> == Overview ==<br /> <br /> === Members ===<br /> '''[[User:Lisa| Lisa]]''' &lt;br /&gt; '''[[User:Marthe| Marthe]]''' &lt;br /&gt; '''[[User:Elisabeth.krall| Elisabeth]]''' &lt;br /&gt; '''[[User:IsaB|Isabelle]]'''<br /> <br /> === Short description of the topic ===<br /> <br /> '''Predicate logic - logical connectives'''<br /> <br /> The purpose of Predicate logic is to avoid ambiguity in sentences by forming formulae out of natural language. Logical connectives are used to create formulae out of sentences with &quot;and&quot;, &quot;or&quot;, &quot;if/then&quot; and &quot;not&quot;. The aim is to state if the given sentence is true or false in a given model.<br /> <br /> ==== Examples ====<br /> <br /> ===== AND =====<br /> <br /> Symbol: Ʌ &lt;br /&gt;<br /> Sentence: Harry is a student and Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) Ʌ teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable AND'''<br /> <br /> [[File:Truthtable_AND1.png|400px]]<br /> <br /> ===== OR =====<br /> <br /> Symbol: V &lt;br /&gt;<br /> Sentence: Harry is a student or Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) V teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable OR'''<br /> <br /> [[File:Truthtable_OR1.png|400px]]<br /> <br /> ===== IF/THEN =====<br /> <br /> Symbol: --&gt; &lt;br /&gt;<br /> Sentence: If Harry is a student then Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) --&gt; teacher(snape''')]] = ''true/false''<br /> <br /> <br /> <br /> '''Truthtable IF/THEN'''<br /> <br /> [[File:Truthtable_IF_THEN.png|400px]]<br /> <br /> ===== NOT =====<br /> <br /> Symbol: ¬ &lt;br /&gt;<br /> Sentence: Harry is not a student. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''¬student(harry)''']] = ''true/false''<br /> <br /> The original formulae has to be false, that the overall statement is true.<br /> <br /> '''Example:'''<br /> Only if '''student(harry)''' is ''false'', '''¬student(harry''') is ''true''.<br /> <br /> <br /> <br /> ==== Difficulties ====<br /> * Abstraction of content/natural language<br /> * Understanding the whole process from creating a model to interpret formulae<br /> * Understanding the truth conditions of a formulae with connectives<br /> <br /> == References and links ==<br /> <br /> === References ===<br /> &lt;!-- Indicate at least 3 references that you will use for your topic --&gt;<br /> * Course material &quot;Introduction to Semantics&quot; by Manfred Sailer<br /> <br /> === Links ===<br /> <br /> <br /> * [http://www.philosophy.hku.hk/think/sl Sentential Logic]<br /> <br /> * [http://www.philosophy.hku.hk/think/pl Predicate Logic]<br /> <br /> = Our e-learning objects =<br /> <br /> == Our wiki pages ==<br /> &lt;!-- List all the wiki pages that were created by your group. --&gt;<br /> <br /> * in the Glossary (only those relevant for our topic):<br /> ** [[Glossary:_Predicate| Glossary entry for ''predicate'']]<br /> ** [[Glossary:_Formulae| Glossary entry for ''formulae'']]<br /> ** [[Glossary:_I-Function| Glossary entry for ''I-Function'']]<br /> ** [[Glossary:_G-Function| Glossary entry for ''G-Function'']]<br /> ** [[Glossary:_Logical Connectives| Glossary entry for ''Logical Connective'']]<br /> <br /> == Our podcasts ==<br /> &lt;!-- List all the podcasts that were created by your group. --&gt;<br /> <br /> &lt;mediaplayer&gt;http://youtu.be/KLeSxGJ-FeI&lt;/mediaplayer&gt;<br /> <br /> == Our material for an interactive whiteboard ==<br /> &lt;!-- List all the files that your group created for the interactive whiteboard. --&gt;<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic.notebook Presentation on Predicate Logic]<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic-Comments.docx Comments on the presentation]<br /> <br /> == Our pictures ==<br /> &lt;!-- Give all the pictures of your group. Use the gallery function for this:<br /> &lt;nowiki&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> <br /> &lt;/gallery&gt;&lt;/nowiki&gt;<br /> --&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> <br /> <br /> &lt;/gallery&gt;<br /> <br /> == Our exercises ==<br /> &lt;!-- Provide links to all the exercises that your group has created.--&gt;<br /> <br /> Complex exercise on Predicate Logic:<br /> <br /> * [[Creation_of_the_World|Exercise 1: Creation of the World]]<br /> <br /> * [[Formulae_and_their_interpretation|Exercise 2: Formulae and their interpretation]]<br /> <br /> * [[Interpretation_of_formulae_with_connectives|Exercise 3: Interpretation of formulae with connectives]]</div>

Lisa https://www.lexical-resource-semantics.de/wiki/index.php?title=NMTS-Group9&diff=3276 2013-02-12T12:43:14Z

<p>Lisa: /* AND */</p> <hr /> <div>{{MaterialUnderConstruction}}<br /> <br /> = Wikipage of Group 9 =<br /> <br /> === Comments by the NMTS team ===<br /> <br /> <br /> * die Truthtables aus der Beschreibung fehlen in Our pictures<br /> * stick to English in your pictures! (see the truth tables)<br /> <br /> <br /> == Overview ==<br /> <br /> === Members ===<br /> '''[[User:Lisa| Lisa]]''' &lt;br /&gt; '''[[User:Marthe| Marthe]]''' &lt;br /&gt; '''[[User:Elisabeth.krall| Elisabeth]]''' &lt;br /&gt; '''[[User:IsaB|Isabelle]]'''<br /> <br /> === Short description of the topic ===<br /> <br /> '''Predicate logic - logical connectives'''<br /> <br /> The purpose of Predicate logic is to avoid ambiguity in sentences by forming formulae out of natural language. Logical connectives are used to create formulae out of sentences with &quot;and&quot;, &quot;or&quot;, &quot;if/then&quot; and &quot;not&quot;. The aim is to state if the given sentence is true or false in a given model.<br /> <br /> ==== Examples ====<br /> <br /> ===== AND =====<br /> <br /> Symbol: Ʌ &lt;br /&gt;<br /> Sentence: Harry is a student and Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) Ʌ teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable AND'''<br /> <br /> [[File:Truthtable_AND1.png|400px]]<br /> <br /> ===== OR =====<br /> <br /> Symbol: V &lt;br /&gt;<br /> Sentence: Harry is a student or Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) V teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable OR'''<br /> <br /> [[File:Truthtable_OR.png|400px]]<br /> <br /> <br /> ===== IF/THEN =====<br /> <br /> Symbol: --&gt; &lt;br /&gt;<br /> Sentence: If Harry is a student then Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) --&gt; teacher(snape''')]] = ''true/false''<br /> <br /> <br /> <br /> '''Truthtable IF/THEN'''<br /> <br /> [[File:Truthtable_IF_THEN.png|400px]]<br /> <br /> ===== NOT =====<br /> <br /> Symbol: ¬ &lt;br /&gt;<br /> Sentence: Harry is not a student. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''¬student(harry)''']] = ''true/false''<br /> <br /> The original formulae has to be false, that the overall statement is true.<br /> <br /> '''Example:'''<br /> Only if '''student(harry)''' is ''false'', '''¬student(harry''') is ''true''.<br /> <br /> <br /> <br /> ==== Difficulties ====<br /> * Abstraction of content/natural language<br /> * Understanding the whole process from creating a model to interpret formulae<br /> * Understanding the truth conditions of a formulae with connectives<br /> <br /> == References and links ==<br /> <br /> === References ===<br /> &lt;!-- Indicate at least 3 references that you will use for your topic --&gt;<br /> * Course material &quot;Introduction to Semantics&quot; by Manfred Sailer<br /> <br /> === Links ===<br /> <br /> <br /> * [http://www.philosophy.hku.hk/think/sl Sentential Logic]<br /> <br /> * [http://www.philosophy.hku.hk/think/pl Predicate Logic]<br /> <br /> = Our e-learning objects =<br /> <br /> == Our wiki pages ==<br /> &lt;!-- List all the wiki pages that were created by your group. --&gt;<br /> <br /> * in the Glossary (only those relevant for our topic):<br /> ** [[Glossary:_Predicate| Glossary entry for ''predicate'']]<br /> ** [[Glossary:_Formulae| Glossary entry for ''formulae'']]<br /> ** [[Glossary:_I-Function| Glossary entry for ''I-Function'']]<br /> ** [[Glossary:_G-Function| Glossary entry for ''G-Function'']]<br /> ** [[Glossary:_Logical Connectives| Glossary entry for ''Logical Connective'']]<br /> <br /> == Our podcasts ==<br /> &lt;!-- List all the podcasts that were created by your group. --&gt;<br /> <br /> &lt;mediaplayer&gt;http://youtu.be/KLeSxGJ-FeI&lt;/mediaplayer&gt;<br /> <br /> == Our material for an interactive whiteboard ==<br /> &lt;!-- List all the files that your group created for the interactive whiteboard. --&gt;<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic.notebook Presentation on Predicate Logic]<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic-Comments.docx Comments on the presentation]<br /> <br /> == Our pictures ==<br /> &lt;!-- Give all the pictures of your group. Use the gallery function for this:<br /> &lt;nowiki&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> <br /> &lt;/gallery&gt;&lt;/nowiki&gt;<br /> --&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> <br /> <br /> &lt;/gallery&gt;<br /> <br /> == Our exercises ==<br /> &lt;!-- Provide links to all the exercises that your group has created.--&gt;<br /> <br /> Complex exercise on Predicate Logic:<br /> <br /> * [[Creation_of_the_World|Exercise 1: Creation of the World]]<br /> <br /> * [[Formulae_and_their_interpretation|Exercise 2: Formulae and their interpretation]]<br /> <br /> * [[Interpretation_of_formulae_with_connectives|Exercise 3: Interpretation of formulae with connectives]]</div>

Lisa https://www.lexical-resource-semantics.de/wiki/index.php?title=File:Truthtable_AND1.png&diff=3275 2013-02-12T12:42:44Z

<p>Lisa: </p> <hr /> <div>== Licensing ==<br /> {{cc-by-nc-dn-3.0}}</div>

Lisa https://www.lexical-resource-semantics.de/wiki/index.php?title=NMTS-Group9&diff=3274 2013-02-12T12:41:24Z

<p>Lisa: /* AND */</p> <hr /> <div>{{MaterialUnderConstruction}}<br /> <br /> = Wikipage of Group 9 =<br /> <br /> === Comments by the NMTS team ===<br /> <br /> <br /> * die Truthtables aus der Beschreibung fehlen in Our pictures<br /> * stick to English in your pictures! (see the truth tables)<br /> <br /> <br /> == Overview ==<br /> <br /> === Members ===<br /> '''[[User:Lisa| Lisa]]''' &lt;br /&gt; '''[[User:Marthe| Marthe]]''' &lt;br /&gt; '''[[User:Elisabeth.krall| Elisabeth]]''' &lt;br /&gt; '''[[User:IsaB|Isabelle]]'''<br /> <br /> === Short description of the topic ===<br /> <br /> '''Predicate logic - logical connectives'''<br /> <br /> The purpose of Predicate logic is to avoid ambiguity in sentences by forming formulae out of natural language. Logical connectives are used to create formulae out of sentences with &quot;and&quot;, &quot;or&quot;, &quot;if/then&quot; and &quot;not&quot;. The aim is to state if the given sentence is true or false in a given model.<br /> <br /> ==== Examples ====<br /> <br /> ===== AND =====<br /> <br /> Symbol: Ʌ &lt;br /&gt;<br /> Sentence: Harry is a student and Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) Ʌ teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable AND'''<br /> <br /> [[File:Truthtable_AND1.png]]<br /> <br /> ===== OR =====<br /> <br /> Symbol: V &lt;br /&gt;<br /> Sentence: Harry is a student or Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) V teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable OR'''<br /> <br /> [[File:Truthtable_OR.png|400px]]<br /> <br /> <br /> ===== IF/THEN =====<br /> <br /> Symbol: --&gt; &lt;br /&gt;<br /> Sentence: If Harry is a student then Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) --&gt; teacher(snape''')]] = ''true/false''<br /> <br /> <br /> <br /> '''Truthtable IF/THEN'''<br /> <br /> [[File:Truthtable_IF_THEN.png|400px]]<br /> <br /> ===== NOT =====<br /> <br /> Symbol: ¬ &lt;br /&gt;<br /> Sentence: Harry is not a student. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''¬student(harry)''']] = ''true/false''<br /> <br /> The original formulae has to be false, that the overall statement is true.<br /> <br /> '''Example:'''<br /> Only if '''student(harry)''' is ''false'', '''¬student(harry''') is ''true''.<br /> <br /> <br /> <br /> ==== Difficulties ====<br /> * Abstraction of content/natural language<br /> * Understanding the whole process from creating a model to interpret formulae<br /> * Understanding the truth conditions of a formulae with connectives<br /> <br /> == References and links ==<br /> <br /> === References ===<br /> &lt;!-- Indicate at least 3 references that you will use for your topic --&gt;<br /> * Course material &quot;Introduction to Semantics&quot; by Manfred Sailer<br /> <br /> === Links ===<br /> <br /> <br /> * [http://www.philosophy.hku.hk/think/sl Sentential Logic]<br /> <br /> * [http://www.philosophy.hku.hk/think/pl Predicate Logic]<br /> <br /> = Our e-learning objects =<br /> <br /> == Our wiki pages ==<br /> &lt;!-- List all the wiki pages that were created by your group. --&gt;<br /> <br /> * in the Glossary (only those relevant for our topic):<br /> ** [[Glossary:_Predicate| Glossary entry for ''predicate'']]<br /> ** [[Glossary:_Formulae| Glossary entry for ''formulae'']]<br /> ** [[Glossary:_I-Function| Glossary entry for ''I-Function'']]<br /> ** [[Glossary:_G-Function| Glossary entry for ''G-Function'']]<br /> ** [[Glossary:_Logical Connectives| Glossary entry for ''Logical Connective'']]<br /> <br /> == Our podcasts ==<br /> &lt;!-- List all the podcasts that were created by your group. --&gt;<br /> <br /> &lt;mediaplayer&gt;http://youtu.be/KLeSxGJ-FeI&lt;/mediaplayer&gt;<br /> <br /> == Our material for an interactive whiteboard ==<br /> &lt;!-- List all the files that your group created for the interactive whiteboard. --&gt;<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic.notebook Presentation on Predicate Logic]<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic-Comments.docx Comments on the presentation]<br /> <br /> == Our pictures ==<br /> &lt;!-- Give all the pictures of your group. Use the gallery function for this:<br /> &lt;nowiki&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> <br /> &lt;/gallery&gt;&lt;/nowiki&gt;<br /> --&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> <br /> <br /> &lt;/gallery&gt;<br /> <br /> == Our exercises ==<br /> &lt;!-- Provide links to all the exercises that your group has created.--&gt;<br /> <br /> Complex exercise on Predicate Logic:<br /> <br /> * [[Creation_of_the_World|Exercise 1: Creation of the World]]<br /> <br /> * [[Formulae_and_their_interpretation|Exercise 2: Formulae and their interpretation]]<br /> <br /> * [[Interpretation_of_formulae_with_connectives|Exercise 3: Interpretation of formulae with connectives]]</div>

Lisa https://www.lexical-resource-semantics.de/wiki/index.php?title=NMTS-Group9&diff=3273 2013-02-12T12:39:21Z

<p>Lisa: /* AND */</p> <hr /> <div>{{MaterialUnderConstruction}}<br /> <br /> = Wikipage of Group 9 =<br /> <br /> === Comments by the NMTS team ===<br /> <br /> <br /> * die Truthtables aus der Beschreibung fehlen in Our pictures<br /> * stick to English in your pictures! (see the truth tables)<br /> <br /> <br /> == Overview ==<br /> <br /> === Members ===<br /> '''[[User:Lisa| Lisa]]''' &lt;br /&gt; '''[[User:Marthe| Marthe]]''' &lt;br /&gt; '''[[User:Elisabeth.krall| Elisabeth]]''' &lt;br /&gt; '''[[User:IsaB|Isabelle]]'''<br /> <br /> === Short description of the topic ===<br /> <br /> '''Predicate logic - logical connectives'''<br /> <br /> The purpose of Predicate logic is to avoid ambiguity in sentences by forming formulae out of natural language. Logical connectives are used to create formulae out of sentences with &quot;and&quot;, &quot;or&quot;, &quot;if/then&quot; and &quot;not&quot;. The aim is to state if the given sentence is true or false in a given model.<br /> <br /> ==== Examples ====<br /> <br /> ===== AND =====<br /> <br /> Symbol: Ʌ &lt;br /&gt;<br /> Sentence: Harry is a student and Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) Ʌ teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable AND'''<br /> <br /> [[File:Example.jpg]]<br /> <br /> ===== OR =====<br /> <br /> Symbol: V &lt;br /&gt;<br /> Sentence: Harry is a student or Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) V teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable OR'''<br /> <br /> [[File:Truthtable_OR.png|400px]]<br /> <br /> <br /> ===== IF/THEN =====<br /> <br /> Symbol: --&gt; &lt;br /&gt;<br /> Sentence: If Harry is a student then Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) --&gt; teacher(snape''')]] = ''true/false''<br /> <br /> <br /> <br /> '''Truthtable IF/THEN'''<br /> <br /> [[File:Truthtable_IF_THEN.png|400px]]<br /> <br /> ===== NOT =====<br /> <br /> Symbol: ¬ &lt;br /&gt;<br /> Sentence: Harry is not a student. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''¬student(harry)''']] = ''true/false''<br /> <br /> The original formulae has to be false, that the overall statement is true.<br /> <br /> '''Example:'''<br /> Only if '''student(harry)''' is ''false'', '''¬student(harry''') is ''true''.<br /> <br /> <br /> <br /> ==== Difficulties ====<br /> * Abstraction of content/natural language<br /> * Understanding the whole process from creating a model to interpret formulae<br /> * Understanding the truth conditions of a formulae with connectives<br /> <br /> == References and links ==<br /> <br /> === References ===<br /> &lt;!-- Indicate at least 3 references that you will use for your topic --&gt;<br /> * Course material &quot;Introduction to Semantics&quot; by Manfred Sailer<br /> <br /> === Links ===<br /> <br /> <br /> * [http://www.philosophy.hku.hk/think/sl Sentential Logic]<br /> <br /> * [http://www.philosophy.hku.hk/think/pl Predicate Logic]<br /> <br /> = Our e-learning objects =<br /> <br /> == Our wiki pages ==<br /> &lt;!-- List all the wiki pages that were created by your group. --&gt;<br /> <br /> * in the Glossary (only those relevant for our topic):<br /> ** [[Glossary:_Predicate| Glossary entry for ''predicate'']]<br /> ** [[Glossary:_Formulae| Glossary entry for ''formulae'']]<br /> ** [[Glossary:_I-Function| Glossary entry for ''I-Function'']]<br /> ** [[Glossary:_G-Function| Glossary entry for ''G-Function'']]<br /> ** [[Glossary:_Logical Connectives| Glossary entry for ''Logical Connective'']]<br /> <br /> == Our podcasts ==<br /> &lt;!-- List all the podcasts that were created by your group. --&gt;<br /> <br /> &lt;mediaplayer&gt;http://youtu.be/KLeSxGJ-FeI&lt;/mediaplayer&gt;<br /> <br /> == Our material for an interactive whiteboard ==<br /> &lt;!-- List all the files that your group created for the interactive whiteboard. --&gt;<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic.notebook Presentation on Predicate Logic]<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic-Comments.docx Comments on the presentation]<br /> <br /> == Our pictures ==<br /> &lt;!-- Give all the pictures of your group. Use the gallery function for this:<br /> &lt;nowiki&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> <br /> &lt;/gallery&gt;&lt;/nowiki&gt;<br /> --&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> <br /> <br /> &lt;/gallery&gt;<br /> <br /> == Our exercises ==<br /> &lt;!-- Provide links to all the exercises that your group has created.--&gt;<br /> <br /> Complex exercise on Predicate Logic:<br /> <br /> * [[Creation_of_the_World|Exercise 1: Creation of the World]]<br /> <br /> * [[Formulae_and_their_interpretation|Exercise 2: Formulae and their interpretation]]<br /> <br /> * [[Interpretation_of_formulae_with_connectives|Exercise 3: Interpretation of formulae with connectives]]</div>

Lisa https://www.lexical-resource-semantics.de/wiki/index.php?title=NMTS-Group9&diff=3203 2013-02-10T17:49:55Z

<p>Lisa: /* Our material for an interactive whiteboard */</p> <hr /> <div>{{MaterialUnderConstruction}}<br /> <br /> = Wikipage of Group 9 =<br /> <br /> == Overview ==<br /> <br /> === Members ===<br /> '''[[User:Lisa| Lisa]]''' &lt;br /&gt; '''[[User:Marthe| Marthe]]''' &lt;br /&gt; '''[[User:Elisabeth.krall| Elisabeth]]''' &lt;br /&gt; '''[[User:IsaB|Isabelle]]'''<br /> <br /> === Short description of the topic ===<br /> <br /> '''Predicate logic - logical connectives'''<br /> <br /> The purpose of Predicate logic is to avoid ambiguity in sentences by forming formulae out of natural language. Logical connectives are used to create formulae out of sentences with &quot;and&quot;, &quot;or&quot;, &quot;if/then&quot; and &quot;not&quot;. The aim is to state if the given sentence is true or false in a given model.<br /> <br /> ==== Examples ====<br /> <br /> ===== AND =====<br /> <br /> Symbol: Ʌ &lt;br /&gt;<br /> Sentence: Harry is a student and Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) Ʌ teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable AND'''<br /> <br /> [[File:Truthtable_AND.png|400px]]<br /> <br /> <br /> ===== OR =====<br /> <br /> Symbol: V &lt;br /&gt;<br /> Sentence: Harry is a student or Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) V teacher(snape)''']] = ''true/false''<br /> <br /> <br /> '''Truthtable OR'''<br /> <br /> [[File:Truthtable_OR.png|400px]]<br /> <br /> <br /> ===== IF/THEN =====<br /> <br /> Symbol: --&gt; &lt;br /&gt;<br /> Sentence: If Harry is a student then Snape is a teacher. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''student(harry) --&gt; teacher(snape''')]] = ''true/false''<br /> <br /> <br /> <br /> '''Truthtable IF/THEN'''<br /> <br /> [[File:Truthtable_IF_THEN.png|400px]]<br /> <br /> ===== NOT =====<br /> <br /> Symbol: ¬ &lt;br /&gt;<br /> Sentence: Harry is not a student. &lt;br /&gt;<br /> Formulae: &lt;nowiki&gt;[[&lt;/nowiki&gt;'''¬student(harry)''']] = ''true/false''<br /> <br /> The original formulae has to be false, that the overall statement is true.<br /> <br /> '''Example:'''<br /> Only if '''student(harry)''' is ''false'', '''¬student(harry''') is ''true''.<br /> <br /> <br /> <br /> ==== Difficulties ====<br /> * Abstraction of content/natural language<br /> * Understanding the whole process from creating a model to interpret formulae<br /> * Understanding the truth conditions of a formulae with connectives<br /> <br /> == References and links ==<br /> <br /> === References ===<br /> &lt;!-- Indicate at least 3 references that you will use for your topic --&gt;<br /> * Course material &quot;Introduction to Semantics&quot; by Manfred Sailer<br /> <br /> === Links ===<br /> <br /> <br /> * [http://www.philosophy.hku.hk/think/sl Sentential Logic]<br /> <br /> * [http://www.philosophy.hku.hk/think/pl Predicate Logic]<br /> <br /> = Our e-learning objects =<br /> <br /> == Our wiki pages ==<br /> &lt;!-- List all the wiki pages that were created by your group. --&gt;<br /> <br /> * in the Glossary (only those relevant for our topic):<br /> ** [[Glossary:_Predicate| Glossary entry for ''predicate'']]<br /> ** [[Glossary:_Formulae| Glossary entry for ''formulae'']]<br /> ** [[Glossary:_I-Function| Glossary entry for ''I-Function'']]<br /> ** [[Glossary:_G-Function| Glossary entry for ''G-Function'']]<br /> ** [[Glossary:_Logical Connectives| Glossary entry for ''Logical Connective'']]<br /> <br /> == Our podcasts ==<br /> &lt;!-- List all the podcasts that were created by your group. --&gt;<br /> <br /> &lt;mediaplayer&gt;http://youtu.be/KLeSxGJ-FeI&lt;/mediaplayer&gt;<br /> <br /> == Our material for an interactive whiteboard ==<br /> &lt;!-- List all the files that your group created for the interactive whiteboard. --&gt;<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic.notebook Presentation on Predicate Logic]<br /> <br /> *[http://user.uni-frankfurt.de/~sailer/nmts-wise1213/Presentation-PredicateLogic-Comments.docx Comments on the presentation]<br /> <br /> == Our pictures ==<br /> &lt;!-- Give all the pictures of your group. Use the gallery function for this:<br /> &lt;nowiki&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> <br /> &lt;/gallery&gt;&lt;/nowiki&gt;<br /> --&gt;<br /> &lt;gallery&gt;<br /> File:Lisa.jpg|Lisa<br /> File:MartheBerkenheide.jpg|Marthe<br /> File:Picture liss.jpg|Elisabeth<br /> File:IsabelleBrend'amour.jpg|Isabelle<br /> <br /> <br /> &lt;/gallery&gt;<br /> <br /> == Our exercises ==<br /> &lt;!-- Provide links to all the exercises that your group has created.--&gt;<br /> <br /> Complex exercise on Predicate Logic:<br /> <br /> * [[Creation_of_the_World|Exercise 1: Creation of the World]]<br /> <br /> * [[Formulae_and_their_interpretation|Exercise 2: Formulae and their interpretation]]<br /> <br /> * [[Interpretation_of_formulae_with_connectives|Exercise 3: Interpretation of formulae with connectives]]</div>

Lisa https://www.lexical-resource-semantics.de/wiki/index.php?title=Glossary:_Logical_Connectives&diff=3195 2013-02-06T10:29:23Z

<p>Lisa: /* Examples */</p> <hr /> <div>{{MaterialUnderConstruction}}<br /> <br /> <br /> = Logical Connectives =<br /> <br /> == Definition ==<br /> <br /> Logical connectives are the conjunction ''and'', the disjunction ''or'', and the implication ''if...then'''. In the course of our topic, we also regard the negation ''not'' as a logical connective. They are used in order to connect atomic formulae in logical language, i.e. atomic sentences in natural language.<br /> <br /> == Examples ==<br /> <br /> The following examples refer to the scenario given in the online exercises.<br /> <br /> Paul rather wants to live in Munich and Alice is small.<br /> <br /> Complex formula: '''wants-to-live-in-Munich (paul) Ʌ small (alice)'''<br /> <br /> Walter is a dog or Tom is not blonde.<br /> <br /> Complex formula: '''dog (walter) V ¬ blonde (tom)'''<br /> <br /> == References ==<br /> <br /> * [[NMTS-Group9| Group page 9: Predicate Logic]]<br /> <br /> == Literature ==<br /> <br /> * Chapter 2 of Manfred Sailer's textbook</div>

Lisa https://www.lexical-resource-semantics.de/wiki/index.php?title=Glossary:_G-Function&diff=3194 2013-02-06T10:28:30Z

<p>Lisa: /* Examples */</p> <hr /> <div>{{MaterialUnderConstruction}}<br /> <br /> <br /> = G-Function =<br /> <br /> == Definition ==<br /> <br /> The G-Function in Predicate Logic maps variables to individuals from the universe. In natural, real-world language we use variable, such as personal pronouns, instead of repeating the names constantly that are referred to. In order to, firstly, display and, then, interpret sentences with pronouns , the G-Function is applied.<br /> <br /> == Examples ==<br /> <br /> The following examples refer to the scenario given in the online exercises.<br /> <br /> Alice likes watching footbal together with Lisa. <br /> <br /> --&gt; I-Function: <br /> <br /> I('''alice''') = &lt;''alice''&gt;&lt;br/ &gt;<br /> I('''lisa''') = &lt;''lisa''&gt;<br /> <br /> Formula: '''like-watching-football-together (alice, lisa)'''<br /> <br /> But: She likes watching football together with her.<br /> <br /> --&gt; G-Function: &lt;br/ &gt;<br /> g('''x''')= &lt;''alice''&gt;&lt;br/ &gt;<br /> g('''y''')= &lt;''lisa''&gt;<br /> <br /> --&gt; Formula can be formed and interpreted: '''like-watching-football-together (x,y)'''<br /> <br /> == References ==<br /> <br /> * [[NMTS-Group9| Group page 9: Predicate Logic]]<br /> <br /> == Literature ==<br /> <br /> * Chapter 2 of Manfred Sailer's textbook</div>

Lisa https://www.lexical-resource-semantics.de/wiki/index.php?title=Glossary:_G-Function&diff=3193 2013-02-06T10:27:49Z

<p>Lisa: /* Examples */</p> <hr /> <div>{{MaterialUnderConstruction}}<br /> <br /> <br /> = G-Function =<br /> <br /> == Definition ==<br /> <br /> The G-Function in Predicate Logic maps variables to individuals from the universe. In natural, real-world language we use variable, such as personal pronouns, instead of repeating the names constantly that are referred to. In order to, firstly, display and, then, interpret sentences with pronouns , the G-Function is applied.<br /> <br /> == Examples ==<br /> <br /> The following examples refer to the scenario given in the online exercises.<br /> <br /> Alice likes watching footbal together with Lisa. <br /> <br /> --&gt; I-Function: <br /> <br /> I('''alice''') = &lt;''alice''&gt;&lt;br/ &gt;<br /> I('''lisa''') = &lt;''lisa''&gt;<br /> <br /> Formula: '''like-watching-football-together (alice, lisa)'''<br /> <br /> But: She likes watching football together with her.<br /> <br /> --&gt; G-Function: &lt;br/ &gt;<br /> g('''x''')= &lt;''alice''&gt;&lt;br/ &gt;<br /> g('''y''')= &lt;''lisa''&gt;<br /> <br /> --&gt; Formula can be formed: '''like-watching-football-together (x,y)'''<br /> <br /> == References ==<br /> <br /> * [[NMTS-Group9| Group page 9: Predicate Logic]]<br /> <br /> == Literature ==<br /> <br /> * Chapter 2 of Manfred Sailer's textbook</div>

Lisa https://www.lexical-resource-semantics.de/wiki/index.php?title=Glossary:_G-Function&diff=3192 2013-02-06T10:27:07Z

<p>Lisa: /* Examples */</p> <hr /> <div>{{MaterialUnderConstruction}}<br /> <br /> <br /> = G-Function =<br /> <br /> == Definition ==<br /> <br /> The G-Function in Predicate Logic maps variables to individuals from the universe. In natural, real-world language we use variable, such as personal pronouns, instead of repeating the names constantly that are referred to. In order to, firstly, display and, then, interpret sentences with pronouns , the G-Function is applied.<br /> <br /> == Examples ==<br /> <br /> The following examples refer to the scenario given in the online exercises.<br /> <br /> Alice likes watching footbal together with Lisa. <br /> <br /> --&gt; I-Function: <br /> <br /> I('''alice''') = ''alice''&lt;br/ &gt;<br /> I('''lisa''') = ''lisa''<br /> <br /> Formula: '''like-watching-football-together (alice, lisa)'''<br /> <br /> But: She likes watching football together with her.<br /> <br /> --&gt; G-Function: <br /> g('''x''')= &lt;''alice''&gt;&lt;br/ &gt;<br /> g('''y''')= &lt;''lisa''&gt;<br /> <br /> --&gt; Formula can be formed: '''like-watching-football-together (x,y)'''<br /> <br /> == References ==<br /> <br /> * [[NMTS-Group9| Group page 9: Predicate Logic]]<br /> <br /> == Literature ==<br /> <br /> * Chapter 2 of Manfred Sailer's textbook</div>

Lisa https://www.lexical-resource-semantics.de/wiki/index.php?title=Glossary:_G-Function&diff=3191 2013-02-06T10:26:03Z

<p>Lisa: /* Examples */</p> <hr /> <div>{{MaterialUnderConstruction}}<br /> <br /> <br /> = G-Function =<br /> <br /> == Definition ==<br /> <br /> The G-Function in Predicate Logic maps variables to individuals from the universe. In natural, real-world language we use variable, such as personal pronouns, instead of repeating the names constantly that are referred to. In order to, firstly, display and, then, interpret sentences with pronouns , the G-Function is applied.<br /> <br /> == Examples ==<br /> <br /> The following examples refer to the scenario given in the online exercises.<br /> <br /> Alice likes watching footbal together with Lisa. <br /> <br /> --&gt; I-Function: <br /> <br /> I('''alice''') = ''alice''<br /> I('''lisa''') = ''lisa''<br /> <br /> Formula: '''like-watching-football-together (alice, lisa)'''<br /> <br /> But: She likes watching football together with her.<br /> <br /> --&gt; G-Function: g('''x''')= &lt;''alice''&gt; and g('''y''')= &lt;''lisa''&gt;<br /> <br /> --&gt; Formula can be formed: '''like-watching-football-together (x,y)'''<br /> <br /> == References ==<br /> <br /> * [[NMTS-Group9| Group page 9: Predicate Logic]]<br /> <br /> == Literature ==<br /> <br /> * Chapter 2 of Manfred Sailer's textbook</div>

Lisa https://www.lexical-resource-semantics.de/wiki/index.php?title=Glossary:_G-Function&diff=3190 2013-02-06T10:23:48Z

<p>Lisa: /* Examples */</p> <hr /> <div>{{MaterialUnderConstruction}}<br /> <br /> <br /> = G-Function =<br /> <br /> == Definition ==<br /> <br /> The G-Function in Predicate Logic maps variables to individuals from the universe. In natural, real-world language we use variable, such as personal pronouns, instead of repeating the names constantly that are referred to. In order to, firstly, display and, then, interpret sentences with pronouns , the G-Function is applied.<br /> <br /> == Examples ==<br /> <br /> The following examples refer to the scenario given in the online exercises.<br /> <br /> Alice likes watching footbal together with Lisa. <br /> <br /> --&gt; I-Function: '''like-watching-football-together (alice, lisa)'''<br /> <br /> But: She likes watching football together with her.<br /> <br /> --&gt; G-Function: g('''x''')= &lt;''alice'''&gt; and g('''y''')= &lt;''lisa''&gt;<br /> <br /> --&gt; Formula can be formed: '''like-watching-football-together (x,y)'''<br /> <br /> == References ==<br /> <br /> * [[NMTS-Group9| Group page 9: Predicate Logic]]<br /> <br /> == Literature ==<br /> <br /> * Chapter 2 of Manfred Sailer's textbook</div>

Lisa https://www.lexical-resource-semantics.de/wiki/index.php?title=Glossary:_I-Function&diff=3189 2013-02-06T10:22:01Z

<p>Lisa: /* Examples */</p> <hr /> <div>{{MaterialUnderConstruction}}<br /> <br /> <br /> = I-Function =<br /> <br /> == Definition ==<br /> <br /> The I-Function used in Predicate Logic maps each name of logical language to one individual from the universe. In this sense, it maps individuals to properties and sets of individuals to relations. <br /> <br /> == Examples ==<br /> <br /> The following examples refer to the scenario given in the online exercises.<br /> <br /> Names:<br /> <br /> I('''walter''')= &lt;''walter''&gt;&lt;br /&gt;<br /> I('''lisa''')= &lt;''lisa''&gt;<br /> <br /> Properties:<br /> <br /> I('''tall''')= &lt;''tom''&gt;&lt;br /&gt;<br /> I('''blonde''')= {&lt;''lisa''&gt;; &lt;''alice''&gt;}<br /> <br /> Relations:<br /> <br /> I('''being-married''')= {&lt;''alice,paul''&gt;; &lt;''paul,alice''&gt;}<br /> <br /> == References ==<br /> <br /> * [[NMTS-Group9| Group page 9: Predicate Logic]]<br /> <br /> == Literature ==<br /> <br /> * Chapter 2 of Manfred Sailer's textbook</div>

Lisa