Comment by jumboshrimp

If I’m understanding your question correctly, this is symbolic logic: https://en.m.wikipedia.org/wiki/List_of_logic_symbols