<< Chapter < Page
  Intro to logic   Page 1 / 1
Chapter >> Page >
(Blank Abstract)

The information in this module is outdated. Please see my course for a table of contents.
This page meant to be viewed with a MathML-enabled browser. If you see(x. (P( x )(y. (P( y ))))) as a nice version of(forall x . (P(x) ->(exists y . (P(y) v phi)))) you're doing okay;If you further seeas a nice version of (scriptA |- scriptB)you're set! If not, see our description of browser support .

At Rice on the CSNet, use mozilla . Preferably, use version 1.1, as currently available on Solaris 8 machines.On frosty.cs, version 1.1 is the default. On other Solaris 8 machines, version 1.1 is not yet the default, butavailable via /opt1/mozilla-1.1/sunos5/bin/mozilla .

In general, to view TeachLogic web pages, you'll need a browser that supports the following features:

  • Cascading Style Sheets (CSS) -- Most recent browsers support CSS sufficiently well.
  • MathML -- Some browsers support MathML sufficiently well. However, most (all?) do not fully support Unicode Plane 1numerical entity references, which includes most mathematical alphanumeric characters.
  • Math-oriented fonts

Which browsers support these features? The above links provide more details, but here's a summary ofsome browsers.

  • Mozilla and Netscape (version 7.0) -- Both work, except some characters (Unicode Plane 1)don't appear correctly.
  • Internet Explorer is not yet an option, even with the MathPlayer plug-in to view MathML. IE won't display pages with some characters (Unicode Plane 1).

Alternatively, PDF versions of the web pages are also provided via the Base module's index .

Get Jobilize Job Search Mobile App in your pocket Now!

Get it on Google Play Download on the App Store Now




Source:  OpenStax, Intro to logic. OpenStax CNX. Jan 29, 2008 Download for free at http://cnx.org/content/col10154/1.20
Google Play and the Google Play logo are trademarks of Google Inc.

Notification Switch

Would you like to follow the 'Intro to logic' conversation and receive update notifications?

Ask