Processing math: 100%
Skip to main content
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
Mathematics LibreTexts

4: First-Order Logic

( \newcommand{\kernel}{\mathrm{null}\,}\)

Three Logicians walk into a bar, and
the barkeeper asks “Would you all like something to drink?”
The 1st Logician says “I don’t know,”
and the 2nd Logician says “I don’t know.”
Then the 3rd Logician says “yes.”

author unknown


This page titled 4: First-Order Logic is shared under a CC BY-NC-SA 2.0 license and was authored, remixed, and/or curated by Dave Witte Morris & Joy Morris.

Support Center

How can we help?