first-order logic - The language describing the truth of mathematical formulas. Formulas describe properties of terms and have a truth value. The following are atomic formulas; дс тдрлими цюлютдажкию дроемжки аиакиохдйис лидр http://foldoc.doc.ic.ac.uk/foldoc/foldoc.cgi;
