Can I read Logic and Proofs with Mathematica on EtoBox?

Logic and Proofs with Mathematica by Animesh Parihar is a document available to read on EtoBox.

What is Logic and Proofs with Mathematica about?

This document introduces how Mathematica can be used to explore logic and proofs. It discusses representing logical connectives like negation and conjunction in Mathematica. It also describes how to create truth tables and check logical arguments. Additionally, it explains how conditional statements in Mathematica differ slightly from logical implications, and how the If function allows conditional execution of code in Mathematica.

Author

Animesh Parihar

Language

EN