qbao775 commited on
Commit
7af30d8
1 Parent(s): 22f12e9

Update README.md

Browse files
Files changed (1) hide show
  1. README.md +5 -5
README.md CHANGED
@@ -44,31 +44,31 @@ Alice is happy.
44
  Alice is not happy.
45
  ```
46
 
47
- The expected answer for the following example is they are logically equivalent which is 1. Use constraposition law `(A <=> not not A)` to show that following example is true.
48
  ```
49
  Alice is happy.
50
  Alice is not sad.
51
  ```
52
 
53
- The expected answer for the following example is they are logically inequivalent which is 0. Use double negation law `(If A then B <=> not A or B)` to show that following example is false. The `or` in `not A or B` refer to the the meaning of `otherwise` in natural language.
54
  ```
55
  If Alan is kind, then Bob is clever.
56
  Alan is kind or Bob is clever.
57
  ```
58
 
59
- The expected answer for the following example is they are logically equivalent which is 1. Use constraposition law `(If A then B <=> not A or B)` to show that following example is true. The `or` in `not A or B` refer to the the meaning of `otherwise` in natural language.
60
  ```
61
  If Alan is kind, then Bob is clever.
62
  Alan is not kind or Bob is clever.
63
  ```
64
 
65
- The expected answer for the following example is they are logically inequivalent which is 0. Use double negation law `(A and B <=> B and A)` to show that following example is false.
66
  ```
67
  The bald eagle is clever and the wolf is fierce.
68
  The wolf is not fierce and the bald eagle is not clever.
69
  ```
70
 
71
- The expected answer for the following example is they are logically equivalent which is 1. Use constraposition law `(A and B <=> B and A)` to show that following example is true.
72
  ```
73
  The bald eagle is clever and the wolf is fierce.
74
  The wolf is fierce and the bald eagle is clever.
 
44
  Alice is not happy.
45
  ```
46
 
47
+ The expected answer for the following example is they are logically equivalent which is 1. Use double negation law `(A <=> not not A)` to show that following example is true.
48
  ```
49
  Alice is happy.
50
  Alice is not sad.
51
  ```
52
 
53
+ The expected answer for the following example is they are logically inequivalent which is 0. Use implication law `(If A then B <=> not A or B)` to show that following example is false. The `or` in `not A or B` refer to the the meaning of `otherwise` in natural language.
54
  ```
55
  If Alan is kind, then Bob is clever.
56
  Alan is kind or Bob is clever.
57
  ```
58
 
59
+ The expected answer for the following example is they are logically equivalent which is 1. Use implication law `(If A then B <=> not A or B)` to show that following example is true. The `or` in `not A or B` refer to the the meaning of `otherwise` in natural language.
60
  ```
61
  If Alan is kind, then Bob is clever.
62
  Alan is not kind or Bob is clever.
63
  ```
64
 
65
+ The expected answer for the following example is they are logically inequivalent which is 0. Use commutative law `(A and B <=> B and A)` to show that following example is false.
66
  ```
67
  The bald eagle is clever and the wolf is fierce.
68
  The wolf is not fierce and the bald eagle is not clever.
69
  ```
70
 
71
+ The expected answer for the following example is they are logically equivalent which is 1. Use commutative law `(A and B <=> B and A)` to show that following example is true.
72
  ```
73
  The bald eagle is clever and the wolf is fierce.
74
  The wolf is fierce and the bald eagle is clever.