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"><EFBFBD></span> – Implication</p>
|
|||
|
|
<p><span class="c1"><EFBFBD></span> – Conjunction (logical
|
|||
|
|
and)</p>
|
|||
|
|
<p><span class="c1"><EFBFBD></span> – Disjunction (logical
|
|||
|
|
or)</p>
|
|||
|
|
</body>
|
|||
|
|
</html>
|