User contributions for Lisa
Jump to navigation
Jump to search
27 February 2013
- 20:0120:01, 27 February 2013 diff hist +79 NMTS-Group9 →Our pictures
- 20:0020:00, 27 February 2013 diff hist 0 NMTS-Group9 →NOT
- 20:0020:00, 27 February 2013 diff hist 0 NMTS-Group9 →NOT
- 19:5919:59, 27 February 2013 diff hist +35 N File:Truthtable NOT.png No edit summary current
- 19:5819:58, 27 February 2013 diff hist +57 NMTS-Group9 →NOT
- 19:4519:45, 27 February 2013 diff hist +145 Glossary: Logical Connectives →Literature
- 19:4519:45, 27 February 2013 diff hist +146 Glossary: G-Function →Literature
- 19:4419:44, 27 February 2013 diff hist +146 Glossary: I-Function →Literature
- 19:4419:44, 27 February 2013 diff hist +145 Glossary: Formulae →Literature
- 19:4319:43, 27 February 2013 diff hist +145 Glossary: Predicate →Literature
25 February 2013
- 07:4407:44, 25 February 2013 diff hist −102 NMTS Meeting 10 →Group 9
- 07:4307:43, 25 February 2013 diff hist 0 NMTS-Group9 →Our podcast
22 February 2013
- 12:1212:12, 22 February 2013 diff hist +3 NMTS-Group9 No edit summary
- 12:1112:11, 22 February 2013 diff hist −1 NMTS-Group9 →Short description of the topic
- 12:1012:10, 22 February 2013 diff hist +18 NMTS-Group9 →Short description of the topic
- 12:0912:09, 22 February 2013 diff hist +3 NMTS-Group9 →Short description of the topic
- 12:0912:09, 22 February 2013 diff hist 0 NMTS-Group9 →Short description of the topic
- 12:0812:08, 22 February 2013 diff hist +48 NMTS-Group9 →Short description of the topic
12 February 2013
- 13:0213:02, 12 February 2013 diff hist −1 NMTS-Group9 →Our podcasts
- 12:5612:56, 12 February 2013 diff hist 0 NMTS-Group9 →Our pictures
- 12:5512:55, 12 February 2013 diff hist +35 N File:Truthtable IF THEN2.png No edit summary current
- 12:5512:55, 12 February 2013 diff hist +1 NMTS-Group9 →IF/THEN
- 12:5412:54, 12 February 2013 diff hist −1 NMTS-Group9 →IF/THEN
- 12:5112:51, 12 February 2013 diff hist +4 NMTS-Group9 →Our pictures
- 12:5112:51, 12 February 2013 diff hist +4 NMTS-Group9 →Our pictures
- 12:5112:51, 12 February 2013 diff hist +2 NMTS-Group9 →Our pictures
- 12:5012:50, 12 February 2013 diff hist +163 NMTS-Group9 →Our pictures
- 12:4912:49, 12 February 2013 diff hist +29 NMTS-Group9 →Our pictures
- 12:4812:48, 12 February 2013 diff hist +4 NMTS-Group9 →Our pictures
- 12:4712:47, 12 February 2013 diff hist +11 NMTS-Group9 →Our pictures
- 12:4712:47, 12 February 2013 diff hist 0 NMTS-Group9 →Our pictures
- 12:4612:46, 12 February 2013 diff hist +2 NMTS-Group9 →Our pictures
- 12:4612:46, 12 February 2013 diff hist +35 NMTS-Group9 →Our pictures
- 12:4512:45, 12 February 2013 diff hist −160 NMTS-Group9 →Wikipage of Group 9
- 12:4512:45, 12 February 2013 diff hist +35 N File:Truthtable IF THEN1.png No edit summary current
- 12:4412:44, 12 February 2013 diff hist +1 NMTS-Group9 →IF/THEN
- 12:4412:44, 12 February 2013 diff hist +35 N File:Truthtable OR1.png No edit summary current
- 12:4412:44, 12 February 2013 diff hist 0 NMTS-Group9 →OR
- 12:4312:43, 12 February 2013 diff hist +6 NMTS-Group9 →AND
- 12:4212:42, 12 February 2013 diff hist +35 N File:Truthtable AND1.png No edit summary current
- 12:4112:41, 12 February 2013 diff hist +8 NMTS-Group9 →AND
- 12:3912:39, 12 February 2013 diff hist −14 NMTS-Group9 →AND
10 February 2013
- 17:4917:49, 10 February 2013 diff hist +250 NMTS-Group9 →Our material for an interactive whiteboard
6 February 2013
- 10:2910:29, 6 February 2013 diff hist −8 Glossary: Logical Connectives →Examples
- 10:2810:28, 6 February 2013 diff hist +16 Glossary: G-Function →Examples
- 10:2710:27, 6 February 2013 diff hist +10 Glossary: G-Function →Examples
- 10:2710:27, 6 February 2013 diff hist 0 Glossary: G-Function →Examples
- 10:2610:26, 6 February 2013 diff hist +63 Glossary: G-Function →Examples
- 10:2310:23, 6 February 2013 diff hist −3 Glossary: G-Function →Examples
- 10:2210:22, 6 February 2013 diff hist +12 Glossary: I-Function →Examples
- 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
1 February 2013
- 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
29 January 2013
- 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
28 January 2013
- 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
25 January 2013
- 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
24 January 2013
- 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==== ..."