Commit 3ccd3d06 authored by Bertrand David's avatar Bertrand David 🦎
Browse files

correction n° entité fr

parent 3a379bb3
Pipeline #7214 passed with stages
in 3 seconds
......@@ -9,7 +9,7 @@
> | In First Order Logic: | E56(x) ⊃ E55(x)
# E57
# E56
| | |
|---|---|
......
......@@ -9,7 +9,7 @@
> | In First Order Logic: | E58(x) ⊃ E55(x)
# E59
# E58
| | |
|---|---|
......
......@@ -9,7 +9,7 @@
> | In First Order Logic: | E59(x) ⊃ E1(x)
# E60
# E59
| | |
|---|---|
......
......@@ -9,7 +9,7 @@
> | In First Order Logic: | E60(x) ⊃ E59(x)
# E61
# E60
| | |
|---|---|
......
......@@ -9,7 +9,7 @@
> | In First Order Logic: | E61(x) ⊃ E41(x) <br> E61(x) ⊃ E59(x)
# E62
# E61
| | |
|---|---|
......
......@@ -9,7 +9,7 @@
> | In First Order Logic: | E62(x) ⊃ E59(x)
# E63
# E62
| | |
|---|---|
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment