1<html> 2<!-- the original document had � - I changed that to – - then – --> 3<head> 4<title>[ #445557 ] Convert Symbol font chars to Unicode</title> 5</head> 6<body> 7<P>The predicate calculus has a number of theorems and axioms for proving logical statements. Here are the main symbols used in predicate calculus:</P> 8<P>P(x)	– proposition – a logical statement in the condition x.</P> 9<P>x	– any condition <B>in the set of possible conditions</B>.</P> 10<P>c	– a particular condition <B>in the set of possible conditions</B>.</P> 11<P><FONT FACE="Symbol">"</FONT> 12	– "For every"</P> 13<P><FONT FACE="Symbol">$</FONT> 14	– "Exists"</P> 15<P><FONT FACE="Symbol">®</FONT> 16	– Implication</P> 17<P><FONT FACE="Symbol">Ù</FONT> 18	– Conjunction (logical and)</P> 19<P><FONT FACE="Symbol">Ú</FONT> 20	– Disjunction (logical or)</P> 21</body> 22</html> 23