Symbols used in first order logic

wo / tpg

Tree Proof Generator

GNU General Public License v3.0

151 stars 20 forks source link

Symbols used in first order logic #24

Open d-ataman opened 9 months ago

d-ataman commented 9 months ago

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 commented 9 months ago

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