Question

How do you write out the symbolic form of the following argument?

Answer 1

If a number is positive and even and perfect, then it is triangular. 28 is positive. 28 is even. 28 is perfect. Therefore, 28 is triangular.

Answer 2

I think this form is modus ponens...

Answer 3

\(((n \in \mathbb{Z}^{+} )~~\land~~ (2\mid n) ~~\land~~ (\sigma(n)=2n) )~~~ \implies ~~~n(n+1)/2\in \mathbb{Z}\)

Answer 4

does that work ?

Answer 5

I thought the answer was more like... if P -> Q, P, then conclusion Q

Answer 6

Btw perfect numbers are characterized by \(\sigma(n)=2n\)

where \(\sigma\) is the sum of positive divisors function