statement_evaluator/vocab.json at main · 149segolte/statement_evaluator · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
[
    [
        [
            "if",
            "op",
            "then",
            "op"
        ],
        [
            "op",
            "→",
            "op"
        ]
    ],
    [
        [
            "either",
            "op",
            "or",
            "op",
            "but not both"
        ],
        [
            "op",
            "⊕",
            "op"
        ]
    ],
    [
        [
            "op",
            "and",
            "op"
        ],
        [
            "op",
            "∧",
            "op"
        ]
    ],
    [
        [
            "op",
            "or",
            "op"
        ],
        [
            "op",
            "∨",
            "op"
        ]
    ],
    [
        [
            "op",
            "not",
            "op"
        ],
        [
            "~",
            "op"
        ]
    ]
]