Search for crossword answers and clues

Answer for the clue "Formal system used in statement analysis ", 13 letters:
symboliclogic