User contributions for Lisa
Jump to navigation
Jump to search
24 January 2013
- 18:5118:51, 24 January 2013 diff hist 0 Exercise on Predicate Logic →Formulae and their interpretation
- 18:5118:51, 24 January 2013 diff hist 0 AnswerEX2-a3 →Father of someone(Alice,Lisa) is a formula
- 18:5118:51, 24 January 2013 diff hist 0 AnswerEX2-a2 →Blonde(Alice,Paul) is not a formula
- 18:5118:51, 24 January 2013 diff hist 0 AnswerEX2-a1 →Family-dog is not a formula
- 18:5018:50, 24 January 2013 diff hist 0 AnswerEX2-a3 →father of someone(Alice,Lisa) is a formula
- 18:5018:50, 24 January 2013 diff hist +20 AnswerEX2-a2 →This is not a formula
- 18:4918:49, 24 January 2013 diff hist +12 AnswerEX2-a1 →This is not a formula
- 18:4818:48, 24 January 2013 diff hist +430 N AnswerEX2-a3 Created page with "==father of someone(Alice,Lisa) '''is''' a formula== “Father of someone” is a relation and therefore requires two individuals in brackets. Of course, this formula is not ..."
- 18:4618:46, 24 January 2013 diff hist +83 AnswerEX2-a2 →This is not a formula
- 18:4518:45, 24 January 2013 diff hist +1 AnswerEX2-a1 →Navigation
- 18:4518:45, 24 January 2013 diff hist +222 N AnswerEX2-a2 Created page with "==This is not a formula== It cannot be interpreted as true or false. As “blonde” is a property and not a relation it can therefore only have one individual in brackets. ..."
- 18:4318:43, 24 January 2013 diff hist +2 AnswerEX2-a1 →This is not a formula
- 18:4318:43, 24 January 2013 diff hist +81 AnswerEX2-a1 →This is not a formula
- 18:4118:41, 24 January 2013 diff hist +127 AnswerEX2-a1 →This is not a formula
- 18:3918:39, 24 January 2013 diff hist +23 N AnswerEX2-a1 Created page with "=This is not a formula="
- 18:3818:38, 24 January 2013 diff hist +53 Exercise on Predicate Logic →Formulae and their interpretation
- 18:3818:38, 24 January 2013 diff hist −80 Exercise on Predicate Logic →Formulae and their interpretation
- 18:3718:37, 24 January 2013 diff hist −18 Exercise on Predicate Logic →Formulae and their interpretation
- 18:3618:36, 24 January 2013 diff hist +175 Exercise on Predicate Logic →Formulae and their interpretation
- 18:3318:33, 24 January 2013 diff hist +287 Exercise on Predicate Logic →Formulae and their interpretation
- 18:3118:31, 24 January 2013 diff hist −3 Exercise on Predicate Logic →Which
- 18:3118:31, 24 January 2013 diff hist −4 Exercise on Predicate Logic →a) Which
- 18:3118:31, 24 January 2013 diff hist +4 Exercise on Predicate Logic →Formulae and their interpretation
- 18:3018:30, 24 January 2013 diff hist −163 Exercise on Predicate Logic →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.
- 18:3018:30, 24 January 2013 diff hist −9 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.
- 18:3018:30, 24 January 2013 diff hist +6 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.
- 18:2918:29, 24 January 2013 diff hist +181 Exercise on Predicate Logic →Formulae and their interpretation
- 18:2818:28, 24 January 2013 diff hist +2 Exercise on Predicate Logic →Create a World
- 18:2818:28, 24 January 2013 diff hist +72 N Exercise on Predicate Logic Created page with "=Create a World= Marthe´s Aufgabe =Formulae and their interpretation="
- 18:2518:25, 24 January 2013 diff hist +92 NMTS-Group9 →Our exercises
- 18:1618:16, 24 January 2013 diff hist −26 NMTS Meeting 2 →Groups
8 December 2012
- 06:4506:45, 8 December 2012 diff hist −31 NMTS-Group9 →Members
- 06:4406:44, 8 December 2012 diff hist −17 NMTS-Group9 →Our pictures
29 November 2012
- 08:5208:52, 29 November 2012 diff hist +5 NMTS-InferencePage →Dialogue by User:Lisa
- 08:5108:51, 29 November 2012 diff hist 0 NMTS-InferencePage →Dialogue by User:Lisa
- 08:5108:51, 29 November 2012 diff hist −7 NMTS-InferencePage →Dialogue by User:Lisa
- 08:5108:51, 29 November 2012 diff hist −6 NMTS-InferencePage →Dialogue by User:Lisa
- 08:5008:50, 29 November 2012 diff hist +1,152 NMTS-InferencePage →Add your dialogues here
30 October 2012
- 19:0619:06, 30 October 2012 diff hist 0 NMTS-Group9 →Wikipage of Group 5
- 19:0319:03, 30 October 2012 diff hist −2 NMTS-Group9 →Our wiki pages
- 19:0319:03, 30 October 2012 diff hist +51 NMTS-Group9 →Short description of the topic
- 19:0019:00, 30 October 2012 diff hist +88 File:Lisa.jpg →Licensing current
26 October 2012
- 19:3419:34, 26 October 2012 diff hist −4 NMTS-Group9 →Links
- 19:3119:31, 26 October 2012 diff hist +2 NMTS-Group9 →Links
- 19:3019:30, 26 October 2012 diff hist −2 NMTS-Group9 →Links
- 19:3019:30, 26 October 2012 diff hist +4 NMTS-Group9 →Links
- 19:2819:28, 26 October 2012 diff hist 0 NMTS-Group9 →Links
- 19:2719:27, 26 October 2012 diff hist +8 NMTS-Group9 →Links
- 17:1017:10, 26 October 2012 diff hist +24 NMTS Meeting 2 →Groups
- 17:0317:03, 26 October 2012 diff hist +77 NMTS-Group9 →Our pictures