29 lines
1,008 B
HTML
29 lines
1,008 B
HTML
<!DOCTYPE html>
|
||
<html>
|
||
<!-- the original document had - I changed that to – - then – -->
|
||
<head>
|
||
<title>[ #445557 ] Convert Symbol font chars to Unicode</title>
|
||
<style type="text/css">
|
||
span.c1 {font-family: Symbol}
|
||
</style>
|
||
</head>
|
||
<body>
|
||
<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>
|
||
<p>P(x) – proposition – a logical statement in the
|
||
condition x.</p>
|
||
<p>x – any condition <strong>in the set of possible
|
||
conditions</strong>.</p>
|
||
<p>c – a particular condition <strong>in the set of
|
||
possible conditions</strong>.</p>
|
||
<p><span class="c1">"</span> – "For every"</p>
|
||
<p><span class="c1">$</span> – "Exists"</p>
|
||
<p><span class="c1">®</span> – Implication</p>
|
||
<p><span class="c1">Ù</span> – Conjunction (logical
|
||
and)</p>
|
||
<p><span class="c1">Ú</span> – Disjunction (logical
|
||
or)</p>
|
||
</body>
|
||
</html>
|