User contributions for Elisabeth.krall
Jump to navigation
Jump to search
30 May 2018
- 16:2916:29, 30 May 2018 diff hist −799 User:Elisabeth.krall Blanked the page current
22 February 2013
- 10:2510:25, 22 February 2013 diff hist −2 Creation of the World No edit summary current
6 February 2013
- 10:1710:17, 6 February 2013 diff hist +24 NMTS-Group9 →Our wiki pages
5 February 2013
- 22:2122:21, 5 February 2013 diff hist +838 N Glossary: Logical Connectives Created page with "{{MaterialUnderConstruction}} = Logical Connectives = == Definition == Logical connectives are the conjunction ''and'', the disjunction ''or'', and the implication ''if......"
- 22:0622:06, 5 February 2013 diff hist +10 Glossary: G-Function →Examples
- 22:0222:02, 5 February 2013 diff hist +929 N Glossary: G-Function Created page with "{{MaterialUnderConstruction}} = G-Function = == Definition == The G-Function in Predicate Logic maps variables to individuals from the universe. In natural, real-world lan..."
- 21:5221:52, 5 February 2013 diff hist +68 Glossary: I-Function →Examples
- 21:4821:48, 5 February 2013 diff hist +224 Glossary: I-Function →Examples
- 21:4321:43, 5 February 2013 diff hist +13 Glossary: I-Function →References
- 21:4321:43, 5 February 2013 diff hist +397 N Glossary: I-Function Created page with "{{MaterialUnderConstruction}} = I-Function = == Definition == The I-Function used in Predicate Logic maps each name of logical language to one individual from the universe..."
- 21:4021:40, 5 February 2013 diff hist +117 NMTS-Group9 →Our wiki pages
27 January 2013
- 18:0818:08, 27 January 2013 diff hist 0 AnswerEX2-a2 →blonde(Alice,Paul) is not a formula
- 18:0818:08, 27 January 2013 diff hist 0 AnswerEX2-a1 →family-dog is not a formula
- 18:0718:07, 27 January 2013 diff hist 0 Formulae and their interpretation No edit summary
- 18:0518:05, 27 January 2013 diff hist +1 AnswerEX3-b No edit summary
- 18:0518:05, 27 January 2013 diff hist +6 AnswerEX3-b No edit summary
- 18:0518:05, 27 January 2013 diff hist +6 AnswerEX3-a No edit summary
- 18:0418:04, 27 January 2013 diff hist +101 AnswerEX3-a No edit summary
- 18:0218:02, 27 January 2013 diff hist +66 AnswerEX3-b No edit summary
- 17:5417:54, 27 January 2013 diff hist −4 AnswerEX3-a No edit summary