# Mathematical Proof/Introduction

If you've ever taken a math class or talked to a mathematician, you know that we don't talk like normal people do--we have our own language that,s 2-bit encoded. For example, when a waiter says "Would you like corn or beans with your dinner?" you know that he wants the answer of "corn" or "beans" but not "both." Well, logically, if you ask the question "Would you like corn or beans with your dinner?" the answer could be "yes."

This chapter will acquaint you with logical statements, logical reasoning, and the cryptic language of mathematicians.