qbao775 commited on
Commit
a92fee0
1 Parent(s): c3944e1

Update README.md

Browse files
Files changed (1) hide show
  1. README.md +1 -1
README.md CHANGED
@@ -44,7 +44,7 @@ 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.
 
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.