Formulae and their interpretation: Difference between revisions

From Lexical Resource Semantics
Jump to navigation Jump to search
No edit summary
No edit summary
 
(4 intermediate revisions by 2 users not shown)
Line 1: Line 1:
'''2.'''
'''2.'''
'''a)''' Which of the following expressions of predicate logic are formulae? Give an explanation for your decision. If the expression is not a formula try to change it into one. To check your answers click on thhttp://www.lexical-resource-semantics.de/wiki/index.php?title=Formulae_and_their_interpretation&action=edite single expressions.""
'''a)''' Which of the following expressions of predicate logic are formulae? Give an explanation for your decision. If the expression is not a formula try to change it into one. To check your answers click on single expressions.


<span style="color:red">Comment Sailer: there is something odd with the link.</span>


'''*[[AnswerEX2-a1|''family dog'']]'''
'''*[[AnswerEX2-a1|family dog]]'''


'''*[[AnswerEX2-a2|''blonde(Alice,Paul)'']]'''
'''*[[AnswerEX2-a2|blonde(Alice,Paul)]]'''


'''*[[AnswerEX2-a3|''father of someone(Alice,Lisa'')]]'''
'''*[[AnswerEX2-a3|father-of-someone(Alice,Lisa)]]'''


'''*[[AnswerEX2-a4|''tall(Alice)'']]'''
'''*[[AnswerEX2-a4|tall(Alice)]]'''


'''*[[AnswerEX2-a5|''enjoy watching football together'']]'''
'''*[[AnswerEX2-a5|enjoy-watching-football-together]]'''




Line 22: Line 21:




'''* [[AnswerEX2-b1|''father of someone(Paul,Lisa'')]]'''
'''* [[AnswerEX2-b1|father-of-someone(Paul,Lisa)]]'''


'''* [[AnswerEX-b2|''blonde(Walter)'']]'''
'''* [[AnswerEX-b2|blonde(Walter)]]'''


'''* [[AnswerEX-b3|''enjoy watching football together(Alice,Tom)'']]'''
'''* [[AnswerEX-b3|enjoy-watching-football-together(Alice,Tom)]]'''


<span style="color:red">Comment Sailer: Very nice exercises!!! Check the font question angain and the minor details that I had given you around 3pm. Best wishes also to Veronica and Ron!</span>


====Navigation====
====Navigation====


'''[[NMTS-Group9|Link to the Wiki Page]]'''
'''[[NMTS-Group9|Link to the Wiki Page]]'''

Latest revision as of 09:58, 29 January 2013

2. a) Which of the following expressions of predicate logic are formulae? Give an explanation for your decision. If the expression is not a formula try to change it into one. To check your answers click on single expressions.


*family dog

*blonde(Alice,Paul)

*father-of-someone(Alice,Lisa)

*tall(Alice)

*enjoy-watching-football-together


For a general explanation of formulae Click here


b) Interpret the following formulae as true or false. If you have not defined these relations or properties in your World use the ones given in the World of exercise 1d). See here To check your answers click on the single formulae.


* father-of-someone(Paul,Lisa)

* blonde(Walter)

* enjoy-watching-football-together(Alice,Tom)


Navigation

Link to the Wiki Page

Retrieved from "http:///wiki/index.php?title=Formulae_and_their_interpretation&oldid=2963"