User contributions for Manfred
Jump to navigation
Jump to search
22 May 2013
- 14:4314:43, 22 May 2013 diff hist +206 N ExerciseFOLSemantics-b Created page with "'''blonde(walter)''' = ''true'' iff<br /> < I('''walter''') > ∈ I('''blonde''') iff <br /> < ''Walter'' > ∈ {< ''Alice'' >,< ''Lisa'' >}. Since this is not the case..."
- 14:4314:43, 22 May 2013 diff hist +1 ExerciseFOModels-d →Navigation
- 14:3914:39, 22 May 2013 diff hist +11 Exercise Semantics of Predicate Logic No edit summary
- 14:3814:38, 22 May 2013 diff hist +1 ExerciseFOLSemantics-1a No edit summary current
- 14:3814:38, 22 May 2013 diff hist +210 ExerciseFOLSemantics-1a No edit summary
- 14:3414:34, 22 May 2013 diff hist +20 ExerciseFOLSemantics-1a No edit summary
- 14:3314:33, 22 May 2013 diff hist +284 N ExerciseFOLSemantics-1a Created page with "'''father-of-someone'''('''paul''','''lisa''') = ''true'' iff < I('''paul'''), I('''lisa''') > ∈ I('''father-of-someone''') iff < ''Paul'', ''Lisa''> I('''Paul''') = <''..."
- 14:3114:31, 22 May 2013 diff hist +11 Exercise Semantics of Predicate Logic →Interpretation of atomic formulae
- 14:3014:30, 22 May 2013 diff hist −4 Exercise Semantics of Predicate Logic →Interpretation of atomic formulae
- 14:2914:29, 22 May 2013 diff hist +80 Exercise Semantics of Predicate Logic No edit summary
- 14:2814:28, 22 May 2013 diff hist +588 ExerciseFOModels-d No edit summary
- 14:2714:27, 22 May 2013 diff hist −8 Exercise Semantics of Predicate Logic No edit summary
- 14:2614:26, 22 May 2013 diff hist +5 Exercise Semantics of Predicate Logic No edit summary
- 14:2414:24, 22 May 2013 diff hist +256 ExerciseFOModels-c No edit summary
- 14:2314:23, 22 May 2013 diff hist +921 N ExerciseFOModels-c Created page with "Here are examples of some relations: ''son-of-someone: {<x,y>|x is the son of y} = {<Tom,Paul>,<Tom,Alice>}'' ''father-of-someone: {<x,y>|x is the father of y} ={<Paul,Tom>..."
- 14:2214:22, 22 May 2013 diff hist +7 Exercise First Order Models No edit summary
- 14:2114:21, 22 May 2013 diff hist +1,169 N ExerciseFOModels-b Created page with "These are some possible answers: ''rather-small: {x|x is rather small} = {<Tom>,<Alice>}'' ''tall: {x|x is tall} = {<Paul>, <Lisa>}'' ''blonde:{ <x>| x is blonde} = {<Alic..."
- 14:1714:17, 22 May 2013 diff hist +7 Exercise First Order Models No edit summary
- 14:1714:17, 22 May 2013 diff hist +455 N ExerciseFOModels-a Created page with "These are the '''individuals''' of the story:<br/> Alice<br/> Paul<br/> Lisa<br/> Tom<br/> Walter<br/> This is how is this is stated in predicate logic: ''U= {Alice,Paul,Li..."
- 14:1414:14, 22 May 2013 diff hist +7 Exercise First Order Models No edit summary
- 14:1314:13, 22 May 2013 diff hist −2 ExerciseFOModels-d →Properties
16 May 2013
- 20:1020:10, 16 May 2013 diff hist +61 Exercise-ch2 →The semantics of predicate logic
- 20:0420:04, 16 May 2013 diff hist +197 Exercise Truth Tables No edit summary
- 20:0020:00, 16 May 2013 diff hist −1 Exercise Truth Tables No edit summary
- 20:0020:00, 16 May 2013 diff hist +13 Exercise Truth Tables No edit summary
- 19:5819:58, 16 May 2013 diff hist +219 Exercise Truth Tables No edit summary
- 19:5519:55, 16 May 2013 diff hist +6 Exercise Truth Tables No edit summary
- 19:5319:53, 16 May 2013 diff hist +366 Exercise Truth Tables No edit summary
- 19:4719:47, 16 May 2013 diff hist +5 Exercise Truth Tables No edit summary
- 19:4619:46, 16 May 2013 diff hist −27 Exercise Truth Tables No edit summary
- 19:4619:46, 16 May 2013 diff hist +37 N Template:Zwischen Created page with "<span style="color:white">1234</span>" current
- 19:4319:43, 16 May 2013 diff hist −35 Exercise Truth Tables No edit summary
- 19:4219:42, 16 May 2013 diff hist −10 Glossary:contradiction No edit summary current
- 19:4019:40, 16 May 2013 diff hist +13 Exercise Truth Tables No edit summary
- 19:3919:39, 16 May 2013 diff hist +184 Exercise Truth Tables No edit summary
- 19:3819:38, 16 May 2013 diff hist −7 Exercise Truth Tables No edit summary
- 19:3819:38, 16 May 2013 diff hist +12 Exercise Truth Tables No edit summary
- 19:3219:32, 16 May 2013 diff hist +6 Exercise Truth Tables No edit summary
- 19:3119:31, 16 May 2013 diff hist +25 Exercise Truth Tables No edit summary
- 17:2617:26, 16 May 2013 diff hist +20 Exercise Truth Tables No edit summary
- 17:2517:25, 16 May 2013 diff hist +17 Exercise Truth Tables No edit summary
- 17:2417:24, 16 May 2013 diff hist +18 Exercise Truth Tables No edit summary
- 17:2317:23, 16 May 2013 diff hist +6 Exercise Truth Tables No edit summary
- 17:2117:21, 16 May 2013 diff hist −17 Exercise Truth Tables No edit summary
- 15:4415:44, 16 May 2013 diff hist −119 Exercise Truth Tables No edit summary
- 15:4415:44, 16 May 2013 diff hist +20 Exercise Truth Tables No edit summary
- 15:4315:43, 16 May 2013 diff hist +2 Exercise Truth Tables No edit summary
- 15:4315:43, 16 May 2013 diff hist +16 Exercise Truth Tables No edit summary
- 15:4115:41, 16 May 2013 diff hist −21 Exercise Truth Tables No edit summary
- 15:4015:40, 16 May 2013 diff hist +8 Exercise Truth Tables No edit summary