User contributions for Lisa
Jump to navigation
Jump to search
24 January 2013
- 19:4319:43, 24 January 2013 diff hist +126 N Connectives Created page with "==Interpretation of formulae with connectives== Lissi´s Aufgabe ====Navigation==== *Link to the Wiki Page" current
- 19:4119:41, 24 January 2013 diff hist +9 AnswerEX-b3 No edit summary
- 19:4019:40, 24 January 2013 diff hist −5 AnswerEX-b3 No edit summary
- 19:3919:39, 24 January 2013 diff hist +6 AnswerEX2-b1 No edit summary
- 19:3919:39, 24 January 2013 diff hist +246 N AnswerEX-b3 Created page with "enjoy football togehter(Alice,Tom) = true, because I(Alice) = {Alice}, I(Tom) = {Tom} and <Alice,Tom> '''is''' an element of I(enjoy footbal together). ====Navigation==..."
- 19:3719:37, 24 January 2013 diff hist +196 N AnswerEX-b2 Created page with "blonde(Walter) = false, because I(Walter) = {Walter} and <Walter> is '''not''' an element of I(blonde). ====Navigation==== *[[Formulae_and_their_interpretation|Link to t..."
- 19:3619:36, 24 January 2013 diff hist −2 NMTS-Group9 →Our exercises
- 19:3519:35, 24 January 2013 diff hist +2 NMTS-Group9 →Our exercises
- 19:3419:34, 24 January 2013 diff hist +1 Formulae and their interpretation No edit summary
- 19:3419:34, 24 January 2013 diff hist +6 AnswerEX2-b1 →Navigation
- 19:3419:34, 24 January 2013 diff hist +6 General Explanation Formulae →Navigation current
- 19:3419:34, 24 January 2013 diff hist +6 AnswerEX2-a5 →Navigation
- 19:3319:33, 24 January 2013 diff hist +6 AnswerEX2-a4 →Navigation
- 19:3319:33, 24 January 2013 diff hist +6 AnswerEX2-a3 →Navigation
- 19:3319:33, 24 January 2013 diff hist +4 Formulae and their interpretation →Navigation
- 19:3219:32, 24 January 2013 diff hist +6 AnswerEX2-a2 →Navigation
- 19:3219:32, 24 January 2013 diff hist −17 AnswerEX2-a1 →Navigation
- 19:3219:32, 24 January 2013 diff hist +23 AnswerEX2-a1 →Navigation
- 19:3119:31, 24 January 2013 diff hist +4 Creation of the World →Navigation
- 19:3019:30, 24 January 2013 diff hist +4 General Explanation Formulae →Navigation
- 19:3019:30, 24 January 2013 diff hist +35 General Explanation Formulae →Navigation
- 19:2919:29, 24 January 2013 diff hist +959 N Formulae and their interpretation Created page with "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 ..."
- 19:2819:28, 24 January 2013 diff hist −23 Creation of the World No edit summary
- 19:2819:28, 24 January 2013 diff hist +18 Creation of the World →Navigation
- 19:2719:27, 24 January 2013 diff hist +77 N Creation of the World Created page with "==2. Formulae and their interpretation== ====Navigation==== NMTS-Group9"
- 19:2619:26, 24 January 2013 diff hist −3 NMTS-Group9 →Our exercises
- 19:2519:25, 24 January 2013 diff hist +226 NMTS-Group9 →Our exercises
- 19:2119:21, 24 January 2013 diff hist +3 Exercise on Predicate Logic →Creation of the World current
- 19:2119:21, 24 January 2013 diff hist +7 Exercise on Predicate Logic →Create a World
- 19:1919:19, 24 January 2013 diff hist −8 Exercise on Predicate Logic →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 answer click on the single expressions.
- 19:1919:19, 24 January 2013 diff hist +2 Exercise on Predicate Logic →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 answer click on the single expressions.
- 19:1819:18, 24 January 2013 diff hist +6 Exercise on Predicate Logic →2. Formulae and their interpretation
- 19:1819:18, 24 January 2013 diff hist 0 AnswerEX2-b1 No edit summary
- 19:1719:17, 24 January 2013 diff hist −1 AnswerEX2-b1 No edit summary
- 19:1619:16, 24 January 2013 diff hist +3 Exercise on Predicate Logic →Formulae and their interpretation
- 19:1619:16, 24 January 2013 diff hist +219 N AnswerEX2-b1 Created page with "father of someone (Paul,Lisa) = true because, I(Paul) = {Paul}, I(Lisa) } {Lisa} and <Paul,Lisa> is a set of I(father of someone). ====Navigation==== *[[Exercise_on_Pr..."
- 19:1419:14, 24 January 2013 diff hist +1 Exercise on Predicate Logic →Formulae and their interpretation
- 19:1319:13, 24 January 2013 diff hist +4 Exercise on Predicate Logic →Formulae and their interpretation
- 19:1219:12, 24 January 2013 diff hist +391 Exercise on Predicate Logic →Formulae and their interpretation
- 19:0219:02, 24 January 2013 diff hist +81 General Explanation Formulae No edit summary
- 19:0119:01, 24 January 2013 diff hist −20 General Explanation Formulae →=Navigation
- 19:0019:00, 24 January 2013 diff hist +790 N General Explanation Formulae Created page with "Formulae are expressions of predicate logic that can be interpreted as true or false according to the defined World. Properties are characteristics of single individuals. Ther..."
- 18:5818:58, 24 January 2013 diff hist +12 Exercise on Predicate Logic →Formulae and their interpretation
- 18:5818:58, 24 January 2013 diff hist +71 Exercise on Predicate Logic →Formulae and their interpretation
- 18:5718:57, 24 January 2013 diff hist 0 AnswerEX2-a5 →enjoy watching football together(Walter) is not a formula
- 18:5618:56, 24 January 2013 diff hist +1 AnswerEX2-a5 →enjoy watching football together(Walter)is not a formula
- 18:5618:56, 24 January 2013 diff hist +20 AnswerEX2-a4 →tall(Alice) is a formula
- 18:5518:55, 24 January 2013 diff hist −1 AnswerEX2-a2 →blonde(Alice,Paul) is not a formula
- 18:5418:54, 24 January 2013 diff hist +357 N AnswerEX2-a5 Created page with "==enjoy watching football together(Walter)'''is not''' a formula== It cannot be interpreted as true or false. As “enjoy watching football together is a relation two individ..."
- 18:5218:52, 24 January 2013 diff hist +237 N AnswerEX2-a4 Created page with "==tall(Alice) '''is''' a formula== As “tall” is a property it requires one individual in brackets. Therefore, it can be interpreted as true or false. ====Navigation==== ..."