User contributions for Lisa

For Lisa talk block log uploads logs

Jump to navigation Jump to search

10:2010:20, 6 February 2013 diff hist +4‎ Glossary: I-Function ‎ →‎Examples
10:1710:17, 6 February 2013 diff hist +2‎ NMTS-Group9 ‎ →‎Difficulties
10:1610:16, 6 February 2013 diff hist +16‎ NMTS-Group9 ‎ →‎NOT
10:1610:16, 6 February 2013 diff hist 0‎ NMTS-Group9 ‎ →‎IF/THEN
10:1410:14, 6 February 2013 diff hist +2‎ NMTS-Group9 ‎ →‎Difficulties
10:1310:13, 6 February 2013 diff hist +14‎ Glossary: Formulae ‎ →‎Examples

09:2209:22, 1 February 2013 diff hist +1‎ NMTS-Group9 ‎ →‎NOT
09:2209:22, 1 February 2013 diff hist +6‎ NMTS-Group9 ‎ →‎IF/THEN
09:2209:22, 1 February 2013 diff hist +22‎ NMTS-Group9 ‎ →‎IF/THEN
09:2109:21, 1 February 2013 diff hist +1‎ NMTS-Group9 ‎ →‎OR
09:2109:21, 1 February 2013 diff hist +1‎ NMTS-Group9 ‎ →‎OR
09:2109:21, 1 February 2013 diff hist +21‎ NMTS-Group9 ‎ →‎OR
09:2009:20, 1 February 2013 diff hist +1‎ NMTS-Group9 ‎ →‎NOT
09:2009:20, 1 February 2013 diff hist +2‎ NMTS-Group9 ‎ →‎Difficulties
09:1909:19, 1 February 2013 diff hist +6‎ NMTS-Group9 ‎ →‎NOT
09:1909:19, 1 February 2013 diff hist +147‎ NMTS-Group9 ‎ →‎NOT
09:1509:15, 1 February 2013 diff hist +35‎ N File:Truthtable IF THEN.png ‎No edit summary current
09:1409:14, 1 February 2013 diff hist +35‎ N File:Truthtable OR.png ‎No edit summary current
09:1409:14, 1 February 2013 diff hist +64‎ NMTS-Group9 ‎ →‎Examples
09:1209:12, 1 February 2013 diff hist −2‎ NMTS-Group9 ‎ →‎Examples
09:1109:11, 1 February 2013 diff hist −2‎ NMTS-Group9 ‎ →‎Examples
09:1109:11, 1 February 2013 diff hist +28‎ NMTS-Group9 ‎ →‎Examples
09:1009:10, 1 February 2013 diff hist 0‎ NMTS-Group9 ‎ →‎and
09:1009:10, 1 February 2013 diff hist −6‎ NMTS-Group9 ‎ →‎and
09:0909:09, 1 February 2013 diff hist 0‎ NMTS-Group9 ‎ →‎and
09:0909:09, 1 February 2013 diff hist +28‎ NMTS-Group9 ‎ →‎and
09:0409:04, 1 February 2013 diff hist +35‎ N File:Truthtable AND.png ‎No edit summary current
08:5908:59, 1 February 2013 diff hist +27‎ NMTS-Group9 ‎ →‎Examples
08:5808:58, 1 February 2013 diff hist −24‎ NMTS-Group9 ‎ →‎Short description of the topic
08:5708:57, 1 February 2013 diff hist −63‎ NMTS-Group9 ‎ →‎Examples
08:5508:55, 1 February 2013 diff hist +97‎ NMTS-Group9 ‎ →‎Examples
08:3608:36, 1 February 2013 diff hist +56‎ NMTS-Group9 ‎ →‎Our podcasts

13:4413:44, 29 January 2013 diff hist −1‎ Interpretation of formulae with connectives ‎No edit summary current
13:4313:43, 29 January 2013 diff hist 0‎ AnswerEX3-a ‎No edit summary current
13:3913:39, 29 January 2013 diff hist 0‎ AnswerEX3-a ‎No edit summary
13:3913:39, 29 January 2013 diff hist +5‎ AnswerEX3-a ‎No edit summary
13:3713:37, 29 January 2013 diff hist +2‎ Interpretation of formulae with connectives ‎No edit summary
13:3713:37, 29 January 2013 diff hist −198‎ Interpretation of formulae with connectives ‎No edit summary
13:3613:36, 29 January 2013 diff hist 0‎ AnswerEX1-d ‎No edit summary current
13:3513:35, 29 January 2013 diff hist −126‎ AnswerEX1-d ‎No edit summary
13:3213:32, 29 January 2013 diff hist −1‎ AnswerEX1-b ‎No edit summary current
13:3113:31, 29 January 2013 diff hist +21‎ AnswerEX1-c ‎No edit summary current
13:3013:30, 29 January 2013 diff hist +2‎ AnswerEX1-b ‎No edit summary
13:2813:28, 29 January 2013 diff hist +9‎ AnswerEX-b3 ‎No edit summary current
13:2713:27, 29 January 2013 diff hist 0‎ AnswerEX1-d ‎ →‎Navigation
13:2713:27, 29 January 2013 diff hist +63‎ AnswerEX1-d ‎No edit summary
13:2613:26, 29 January 2013 diff hist 0‎ AnswerEX2-a2 ‎ →‎blonde(Alice,Paul) is not a formula current
13:2513:25, 29 January 2013 diff hist −1‎ AnswerEX2-a1 ‎No edit summary current
13:2513:25, 29 January 2013 diff hist +2‎ AnswerEX2-a5 ‎No edit summary current
13:2413:24, 29 January 2013 diff hist +2‎ AnswerEX2-a2 ‎No edit summary
10:0010:00, 29 January 2013 diff hist +2‎ AnswerEX2-a1 ‎No edit summary
09:5909:59, 29 January 2013 diff hist 0‎ AnswerEX2-a5 ‎No edit summary
09:5809:58, 29 January 2013 diff hist 0‎ AnswerEX2-a3 ‎No edit summary current
09:5809:58, 29 January 2013 diff hist 0‎ Formulae and their interpretation ‎No edit summary current
09:5709:57, 29 January 2013 diff hist +83‎ AnswerEX1-d ‎No edit summary
09:5309:53, 29 January 2013 diff hist 0‎ AnswerEX1-c ‎No edit summary
09:5209:52, 29 January 2013 diff hist +75‎ AnswerEX1-b ‎No edit summary
09:5009:50, 29 January 2013 diff hist −194‎ Interpretation of formulae with connectives ‎No edit summary
09:4909:49, 29 January 2013 diff hist +73‎ AnswerEX1-d ‎ →‎Navigation
09:4709:47, 29 January 2013 diff hist +5‎ AnswerEX3-b ‎No edit summary current
09:4509:45, 29 January 2013 diff hist +5‎ AnswerEX3-a ‎No edit summary
09:4309:43, 29 January 2013 diff hist +5‎ AnswerEX-b3 ‎No edit summary
09:4209:42, 29 January 2013 diff hist 0‎ AnswerEX-b2 ‎No edit summary current
09:4109:41, 29 January 2013 diff hist −258‎ AnswerEX2-b1 ‎No edit summary
09:3909:39, 29 January 2013 diff hist +2‎ AnswerEX2-a5 ‎No edit summary
09:3909:39, 29 January 2013 diff hist +2‎ AnswerEX2-a4 ‎No edit summary current
09:3909:39, 29 January 2013 diff hist +2‎ AnswerEX2-a3 ‎No edit summary
09:3909:39, 29 January 2013 diff hist +2‎ AnswerEX2-a2 ‎No edit summary
09:3809:38, 29 January 2013 diff hist +2‎ AnswerEX2-a1 ‎No edit summary
09:3809:38, 29 January 2013 diff hist −203‎ Formulae and their interpretation ‎No edit summary
09:3709:37, 29 January 2013 diff hist +6‎ Formulae and their interpretation ‎No edit summary
09:3609:36, 29 January 2013 diff hist −208‎ Formulae and their interpretation ‎No edit summary
09:3309:33, 29 January 2013 diff hist −504‎ AnswerEX1-d ‎No edit summary
09:2509:25, 29 January 2013 diff hist −18‎ AnswerEX1-c ‎No edit summary
09:2509:25, 29 January 2013 diff hist −84‎ AnswerEX1-b ‎No edit summary
09:2409:24, 29 January 2013 diff hist −24‎ AnswerEX1-b ‎No edit summary
09:2309:23, 29 January 2013 diff hist −161‎ AnswerEX1-a ‎No edit summary current
09:2209:22, 29 January 2013 diff hist −134‎ Creation of the World ‎No edit summary
09:2009:20, 29 January 2013 diff hist −649‎ Creation of the World ‎No edit summary

18:1318:13, 28 January 2013 diff hist +8‎ AnswerEX3-b ‎No edit summary
18:1318:13, 28 January 2013 diff hist +9‎ AnswerEX3-a ‎No edit summary
18:1218:12, 28 January 2013 diff hist 0‎ Interpretation of formulae with connectives ‎No edit summary
11:4611:46, 28 January 2013 diff hist +18‎ Interpretation of formulae with connectives ‎No edit summary
11:4511:45, 28 January 2013 diff hist 0‎ Formulae and their interpretation ‎No edit summary
11:4511:45, 28 January 2013 diff hist +107‎ Formulae and their interpretation ‎No edit summary
11:4311:43, 28 January 2013 diff hist +7‎ Formulae and their interpretation ‎No edit summary
11:4211:42, 28 January 2013 diff hist −1‎ Creation of the World ‎No edit summary
11:4211:42, 28 January 2013 diff hist +4‎ Formulae and their interpretation ‎No edit summary
11:4111:41, 28 January 2013 diff hist +27‎ Interpretation of formulae with connectives ‎No edit summary
11:3911:39, 28 January 2013 diff hist +179‎ AnswerEX3-b ‎No edit summary
11:3611:36, 28 January 2013 diff hist +17‎ AnswerEX3-a ‎No edit summary
11:3511:35, 28 January 2013 diff hist +83‎ AnswerEX3-a ‎No edit summary
11:3111:31, 28 January 2013 diff hist +8‎ AnswerEX3-a ‎No edit summary
11:3011:30, 28 January 2013 diff hist −8‎ AnswerEX3-a ‎No edit summary
11:3011:30, 28 January 2013 diff hist +93‎ AnswerEX3-a ‎No edit summary
11:2911:29, 28 January 2013 diff hist −15‎ Interpretation of formulae with connectives ‎No edit summary

20:5920:59, 25 January 2013 diff hist +12‎ AnswerEX1-d ‎No edit summary
20:5820:58, 25 January 2013 diff hist −1‎ AnswerEX1-c ‎No edit summary
20:5720:57, 25 January 2013 diff hist +2‎ Formulae and their interpretation ‎No edit summary
20:5720:57, 25 January 2013 diff hist −4‎ Formulae and their interpretation ‎No edit summary
20:5520:55, 25 January 2013 diff hist +1‎ AnswerEX1-d ‎No edit summary
20:5420:54, 25 January 2013 diff hist +48‎ AnswerEX1-d ‎No edit summary
20:5220:52, 25 January 2013 diff hist +8‎ Formulae and their interpretation ‎No edit summary
20:5220:52, 25 January 2013 diff hist +40‎ AnswerEX-b3 ‎No edit summary
20:5120:51, 25 January 2013 diff hist +30‎ AnswerEX-b2 ‎No edit summary
20:5020:50, 25 January 2013 diff hist −2‎ AnswerEX2-a5 ‎No edit summary
20:5020:50, 25 January 2013 diff hist −2‎ AnswerEX2-a4 ‎No edit summary
20:5020:50, 25 January 2013 diff hist −2‎ AnswerEX2-a3 ‎No edit summary
20:5020:50, 25 January 2013 diff hist −2‎ AnswerEX2-a2 ‎No edit summary
20:4920:49, 25 January 2013 diff hist +32‎ Formulae and their interpretation ‎No edit summary
20:4820:48, 25 January 2013 diff hist −2‎ AnswerEX2-a1 ‎No edit summary
20:4820:48, 25 January 2013 diff hist +1‎ AnswerEX2-b1 ‎No edit summary
20:4820:48, 25 January 2013 diff hist +39‎ AnswerEX2-b1 ‎No edit summary
20:4620:46, 25 January 2013 diff hist +6‎ AnswerEX2-a5 ‎No edit summary
20:4620:46, 25 January 2013 diff hist +6‎ AnswerEX2-a4 ‎No edit summary
20:4620:46, 25 January 2013 diff hist +6‎ AnswerEX2-a3 ‎No edit summary
20:4520:45, 25 January 2013 diff hist +6‎ AnswerEX2-a2 ‎No edit summary
20:4520:45, 25 January 2013 diff hist +6‎ AnswerEX2-a1 ‎No edit summary
20:4420:44, 25 January 2013 diff hist +596‎ AnswerEX1-d ‎No edit summary
20:3820:38, 25 January 2013 diff hist +3‎ AnswerEX1-c ‎No edit summary
20:3720:37, 25 January 2013 diff hist +351‎ AnswerEX1-c ‎No edit summary
20:3020:30, 25 January 2013 diff hist −5‎ AnswerEX1-d ‎No edit summary
20:3020:30, 25 January 2013 diff hist −45‎ AnswerEX1-d ‎No edit summary
20:2720:27, 25 January 2013 diff hist +1‎ AnswerEX1-c ‎No edit summary
20:2620:26, 25 January 2013 diff hist −92‎ AnswerEX1-c ‎No edit summary
20:2320:23, 25 January 2013 diff hist +12‎ AnswerEX1-c ‎No edit summary
20:2220:22, 25 January 2013 diff hist −15‎ AnswerEX1-c ‎No edit summary
20:1820:18, 25 January 2013 diff hist −6‎ AnswerEX1-c ‎No edit summary
20:1720:17, 25 January 2013 diff hist 0‎ AnswerEX1-b ‎No edit summary
20:1620:16, 25 January 2013 diff hist +64‎ AnswerEX1-b ‎No edit summary
20:1520:15, 25 January 2013 diff hist +17‎ AnswerEX1-b ‎No edit summary
20:1420:14, 25 January 2013 diff hist 0‎ AnswerEX1-b ‎No edit summary
20:1420:14, 25 January 2013 diff hist −121‎ AnswerEX1-b ‎No edit summary
20:1320:13, 25 January 2013 diff hist +6‎ AnswerEX1-b ‎No edit summary
20:1220:12, 25 January 2013 diff hist −5‎ Creation of the World ‎No edit summary
20:1120:11, 25 January 2013 diff hist −2‎ Creation of the World ‎No edit summary
20:1120:11, 25 January 2013 diff hist +2‎ Creation of the World ‎No edit summary
20:1020:10, 25 January 2013 diff hist +270‎ Creation of the World ‎No edit summary
20:0620:06, 25 January 2013 diff hist +4‎ AnswerEX1-d ‎No edit summary
20:0620:06, 25 January 2013 diff hist +14‎ AnswerEX1-d ‎No edit summary
20:0020:00, 25 January 2013 diff hist 0‎ AnswerEX1-c ‎No edit summary
19:5919:59, 25 January 2013 diff hist +3‎ AnswerEX1-b ‎No edit summary
19:5719:57, 25 January 2013 diff hist −10‎ Creation of the World ‎No edit summary
19:5519:55, 25 January 2013 diff hist −1‎ Creation of the World ‎No edit summary
19:5519:55, 25 January 2013 diff hist −4‎ AnswerEX1-a ‎No edit summary
19:5419:54, 25 January 2013 diff hist −9‎ AnswerEX1-a ‎No edit summary
19:5419:54, 25 January 2013 diff hist +5‎ AnswerEX1-a ‎No edit summary

19:4519:45, 24 January 2013 diff hist −52‎ NMTS-Group9 ‎ →‎Our exercises
19:4419:44, 24 January 2013 diff hist +76‎ N Interpretation of formulea with connectives ‎ Created page with "Lissi´s Aufgabe ====Navigation==== *Link to the Wiki Page" current
19:4419:44, 24 January 2013 diff hist +32‎ NMTS-Group9 ‎ →‎Our exercises
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==== ..."
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

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

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

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

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

Retrieved from "http:///wiki/index.php/Special:Contributions/Lisa"