formal logic is concerned with the syntax of statements, not their semantics
formal logic is concerned with the syntax of statements, not their semantics
the branch of deductive reasoning that deals with the logical relationships among statements.