Symbols used in first order logic

[d-ataman]

Hi,

I'm interested in using your tool for first order logic validation. Thank you for sharing. Could you please share any more information on the set of symbols and how they are defined in your tool? Thanks in advance.

[wo]

Thanks. I don't understand the request. What information are you looking for?