logic

Logic tries to represent the world as simple true/false facts and to reasin about them with precisely defined operators. We may use logic informally, indeed the prehistoric origins of logic may lie in the need to convince other people of things that seem intuitively obvious. In AI we make use of formal logics including logic representation of knowledge and the programming laguage Prolog.