Logic-Translator / description.md
TIMAX-159
enw
954a1cc

A newer version of the Gradio SDK is available: 4.36.1

Upgrade

Intro

Type English for logic symbols! This is a simple string replacement program dedicated for typing logic symbols. Since those symbols are not on our keyboard, typing them is a little cumbersome. This tool allows you to type English to get them. Have fun!

Usage

Steps

  1. Input your FOL sentence in the box of string. If you want to type a specific logic symbol at some point of your FOL sentence, just type its corresponding tag (uppercase English words) instead, and keep everything else the same. You will find the translation and five examples below.
  2. The translation is real-time. The result would be shown in the box of output.
  3. Just copy the result for your need!

Notice

  • Note that you can input multi-line sentences!
  • Please don’t include the exact same uppercase spelling of any of the tags in your FOL sentence if you don’t mean it, or the program will replace them without thinking. For example, it your input sentence is: WALL(berlin wall) meaning “berlin wall is a wall”, the program output would be W∀(berlin wall) with the ALL after W replaced by , which is not what you want.

Translation

Logic Symbol Tag
AND
OR
¬ NOT
XR
IMPLY
EQUIV
ALL
EXIST