TIMAX commited on
Commit
0821c46
β€’
1 Parent(s): 2263680
Files changed (1) hide show
  1. app.py +4 -3
app.py CHANGED
@@ -5,6 +5,7 @@ logic_dict = {
5
  'AND': '∧',
6
  'OR': '∨',
7
  'NOT': 'Β¬',
 
8
  'IMPLY': 'β†’',
9
  'EQUIV': '↔',
10
  'ALL': 'βˆ€',
@@ -24,11 +25,11 @@ demo = gr.Interface(fn=logic,
24
  'ALLx. Student(x) IMPLY Smart(x)',
25
  'EXISTx. TShirt(x) AND Buy(Adam, x)',
26
  'ALLx. (Animal(x) AND Fluffy(x)) IMPLY (Rabbit(x) OR Sheep(x))',
27
- '(GoDowntown(James) AND NOTCarry(James, Bag)) EQUIV Buy(James, Book)'
 
28
  ],
29
  title="Logic Translator",
30
- description="Type English for logic symbols! \
31
- ∧:AND, ∨:OR, Β¬:NOT, β†’:IMPLY, ↔:EQUIV, βˆ€:ALL, βˆƒ:EXIST",
32
  live=True)
33
 
34
  demo.launch(share=True)
 
5
  'AND': '∧',
6
  'OR': '∨',
7
  'NOT': 'Β¬',
8
+ 'XR': 'βŠ•',
9
  'IMPLY': 'β†’',
10
  'EQUIV': '↔',
11
  'ALL': 'βˆ€',
 
25
  'ALLx. Student(x) IMPLY Smart(x)',
26
  'EXISTx. TShirt(x) AND Buy(Adam, x)',
27
  'ALLx. (Animal(x) AND Fluffy(x)) IMPLY (Rabbit(x) OR Sheep(x))',
28
+ '(GoDowntown(James) AND NOTCarry(James, Bag)) EQUIV Buy(James, Book)',
29
+ 'ALLx. Project(x) IMPLY (WrittenIn(x, Python) XR WrittenIn(x, C++))'
30
  ],
31
  title="Logic Translator",
32
+ description="Type English for logic symbols! \n ∧:AND, ∨:OR, Β¬:NOT, βŠ•:XR, β†’:IMPLY, ↔:EQUIV, βˆ€:ALL, βˆƒ:EXIST",
 
33
  live=True)
34
 
35
  demo.launch(share=True)