User contributions for Manfred
Jump to navigation
Jump to search
29 June 2013
- 21:2421:24, 29 June 2013 diff hist +30 Truth tables for the formulae from the assignment sheet →p ∧ (p ∧ q)
- 21:2321:23, 29 June 2013 diff hist +15 Example with a quantifier for the ''Jane Eyre'' context →2. Evaluation of restrictor and scope by individual current
- 21:2221:22, 29 June 2013 diff hist +14 Truth tables for the formulae from the assignment sheet →p ∧ (p ∧ q)
- 21:2221:22, 29 June 2013 diff hist +59 Truth tables for the formulae from the assignment sheet No edit summary
- 21:2121:21, 29 June 2013 diff hist +314 N Truth tables for the formulae from the assignment sheet Created page with "== Task 7: Truth tables == Compute the truth table for the following formulæ: 1. p ∧ (p ∧ q) 2. (p ∨ q) ⊃ ¬(q ∧ ¬r) == p ∧ (p ∧ q) == ..."
- 21:1921:19, 29 June 2013 diff hist +61 Assignmentsheet Logic Summer Term 2013 →Task 7: Truth tables (6 points) current
- 21:1721:17, 29 June 2013 diff hist +11 Example with a quantifier for the ''Jane Eyre'' context →2. Evaluation of restrictor and scope by individual
- 21:1621:16, 29 June 2013 diff hist +183 Example with a quantifier for the ''Jane Eyre'' context →1. Formula with a quantifier
- 21:1321:13, 29 June 2013 diff hist −1 Example with a quantifier for the ''Jane Eyre'' context →1. Formula with a quantifier
- 21:1221:12, 29 June 2013 diff hist +1 Example with a quantifier for the ''Jane Eyre'' context →1. Formula with a quantifier
- 21:1221:12, 29 June 2013 diff hist +311 Example with a quantifier for the ''Jane Eyre'' context →4. Change the model
- 21:0621:06, 29 June 2013 diff hist +134 Example with a quantifier for the ''Jane Eyre'' context →3. Truth of the formula
- 21:0321:03, 29 June 2013 diff hist +101 Example with a quantifier for the ''Jane Eyre'' context →2. Evaluation of restrictor and scope by individual
- 21:0121:01, 29 June 2013 diff hist +98 Example with a quantifier for the ''Jane Eyre'' context No edit summary
- 20:5820:58, 29 June 2013 diff hist 0 Example with a quantifier for the ''Jane Eyre'' context →1. Formula with a quantifier
- 20:5720:57, 29 June 2013 diff hist +149 Example with a quantifier for the ''Jane Eyre'' context No edit summary
28 June 2013
- 23:0123:01, 28 June 2013 diff hist +95 Example with a quantifier for the ''Jane Eyre'' context →Task 6
- 23:0023:00, 28 June 2013 diff hist +543 N Example with a quantifier for the ''Jane Eyre'' context Created page with "= Task 6 = 1. Write down one formula with a quantifier. 2. For each individual in your universe, indicate whether the restrictor and the scope are true for that individual. ..."
- 22:5722:57, 28 June 2013 diff hist +62 Assignmentsheet Logic Summer Term 2013 →Task 6: Quantifiers (6 points)
- 22:5622:56, 28 June 2013 diff hist +5 Example solution based on the novel ''Jane Eyre'' No edit summary current
- 22:5422:54, 28 June 2013 diff hist +52 Example solution based on the novel ''Jane Eyre'' →Interpretation of the formula
- 22:5322:53, 28 June 2013 diff hist +106 Example solution based on the novel ''Jane Eyre'' →Interpretation of the formula
- 22:5222:52, 28 June 2013 diff hist +125 Example solution based on the novel ''Jane Eyre'' No edit summary
- 22:4922:49, 28 June 2013 diff hist +3 Example solution based on the novel ''Jane Eyre'' →Interpretation of the formula
- 22:4722:47, 28 June 2013 diff hist +189 Example solution based on the novel ''Jane Eyre'' →Interpretation of the formula
- 22:4522:45, 28 June 2013 diff hist +78 Example solution based on the novel ''Jane Eyre'' No edit summary
- 22:4122:41, 28 June 2013 diff hist +12 Example solution based on the novel ''Jane Eyre'' →One formulae with two occurrences of variables
- 22:4022:40, 28 June 2013 diff hist +203 Example solution based on the novel ''Jane Eyre'' →One formulae with two occurrences of variables
- 22:3822:38, 28 June 2013 diff hist +116 Example solution based on the novel ''Jane Eyre'' →Variable assignment function
- 22:3422:34, 28 June 2013 diff hist +94 Example solution based on the novel ''Jane Eyre'' →Variable assignment function
- 22:3322:33, 28 June 2013 diff hist +322 Example solution based on the novel ''Jane Eyre'' →Variable assignment function
- 22:3022:30, 28 June 2013 diff hist +388 N Example solution based on the novel ''Jane Eyre'' Created page with "== Task 5: Variables == 1. Provide a variable assignment function g which maps the variables ''x<sub>1</sub>, ..., x<sub>10</sub>'' to members of your universe. 2. Provide ..."
- 22:2922:29, 28 June 2013 diff hist +56 Assignmentsheet Logic Summer Term 2013 →Task 5: Variables (5 points)
- 22:2722:27, 28 June 2013 diff hist +290 Example solution for the ''Jane Eyre'' context →First example formula current
- 22:2522:25, 28 June 2013 diff hist +238 Example solution for the ''Jane Eyre'' context →First example formula
- 22:2322:23, 28 June 2013 diff hist +388 N Example solution for the ''Jane Eyre'' context Created page with "= Task 4 = 1. Combine your two formulæ from Task 3 into two complex formulæ. Use the connectives “¬”, “∧”, and “⊃” 2. Compute the truth value of th..."
- 22:2122:21, 28 June 2013 diff hist +53 Assignmentsheet Logic Summer Term 2013 →Task 4: Complex formulae (8 points)
- 22:2022:20, 28 June 2013 diff hist +25 Assignmentsheet Logic Summer Term 2013 →Task 7: Truth tables (6 points)
- 22:1922:19, 28 June 2013 diff hist −3 Assignmentsheet Logic Summer Term 2013 →Task 4: Complex formulae (8 points)
- 22:1922:19, 28 June 2013 diff hist +12 Assignmentsheet Logic Summer Term 2013 →Task 4: Complex formulae (8 points)
- 22:1822:18, 28 June 2013 diff hist +11 Assignmentsheet Logic Summer Term 2013 →Task 5: Variables (5 points)
- 22:1722:17, 28 June 2013 diff hist +14 Assignmentsheet Logic Summer Term 2013 →Task 5: Variables (5 points)
- 21:1221:12, 28 June 2013 diff hist +59 Examples for atomic formulae in the context of ''Jane Eyre'' →Second example current
- 21:0921:09, 28 June 2013 diff hist +1 Examples for atomic formulae in the context of ''Jane Eyre'' →Second example
- 21:0921:09, 28 June 2013 diff hist +2 Examples for atomic formulae in the context of ''Jane Eyre'' →First example
- 21:0521:05, 28 June 2013 diff hist +387 Examples for atomic formulae in the context of ''Jane Eyre'' →Task 3
- 21:0021:00, 28 June 2013 diff hist +195 Examples for atomic formulae in the context of ''Jane Eyre'' →First example
- 20:5320:53, 28 June 2013 diff hist +17 Template:DenR No edit summary current
- 20:5220:52, 28 June 2013 diff hist +17 Template:DenL No edit summary current
- 20:5120:51, 28 June 2013 diff hist +2 N Template:DenR Created page with "]]"