Logic and direct proofs

In a direct proof we deal with If P then Q types of statements, more formally known as conditionals. An example of a conditional, is “If n is an odd integer, then n^2 is odd.” However, it might not be worded like this, it could have been, “The square...


I’m Anthony Salib, a student at Monash University Australia and studying physics and maths. This blog is going to highlight somethings that are find interesting, or useful!  
Free WordPress Themes