Discete Mathematics
For the three following famous historical statement, write the formal logic statement using propositional or predicate variables like P, Q, R and quantifiers like ∃ (exists) and ∀ (for all) to represent them formally. Then you will provide 6 logical statements, the positive, contrapositive, the converse and its negation, and the inverse and its negation.
1. "One small step for man, one giant leap for mankind" by Neil Armstrong
2. "All men are created equal" from the US Declaration of Independence.
3. "The unexamined life is not worth living" by Socrates.
Please show full work for all three.