Up: Logic [Top][Contents]
A branch of logic that deals with
propositions, which can be ‘true’ or ‘false’,
as well as,
arguments made of propositions, which can be valid or invalid.