SYMBOLIC LOGIC IS ALSO KNOWN AS