In my family, we never talked about religion, politics, sex or money. But I discovered that, to get around those taboos, the trick was to insert the word ‘neighbour’ in every sentence.
Clock faces have gone the way of dog breeds. The classic lupine look is lost to the pug face.
1. (x)[(∃y)(Ey • Wyx) ⊃ (z)(Az ⊃ Sxz)] 2. (x)(y)(Fxy ⊃ ~ Sxy) 3. ~ (x)(Ax ⊃ ~ Ex) 4. (x)[Tx ⊃ (y)Wyx] ∴ (x)[Tx ⊃ (∃y)(Ey • ~ Fxy)] 5. (∃x) ~ (Ax ⊃ ~ Ex) 6. (∃x) ~ (~ Ax v ~ Ex) 7. (∃x)(Ax • Ex) 8. Am • Em
27. Tx ⊃ (∃y)(Ey • ~ Fxy) 28. (x)[Tx ⊃ (∃y)(Ey • ~ Fxy)] |
3 QC 5 Impl 6 DM 7 EI ACP 4 UI 9,10 MP 11 UI 8 Com 13 Simp 12,14 Conj 15 EG 1 UI 16,17 MP 18 UI 8 Simp 19,20 MP 2 UI 22 UI 21,23 MT 14,24 Conj 25 EG 9-26 CP 27 UG |
There was a time I would look around me and it looked like I was the least smart, until one day when I looked around me and it suddenly looked like I was the least dumb. That’s when I developed a fear of flying.
If you’ve applied for a job and they’ve turned you down, try again. If you’ve tried again and failed, write to them and offer them a job working for you.
Like it or not, in this age of urban cycling, we need to cater to cyclists. A cycling ambulance service, for example, is long overdue. It could provide relief to the over-stretched motorized ambulance service and could be dedicated specially to the ferrying of cycling casualties.
Prove the logical truth.
11. P ⊃ [Q ≡ (P ⊃ Q)] | / P ⊃ [Q ≡ (P ⊃ Q)] ACP ACP 2 Simp 1-4 CP 4 Exp ACP 1,6 MP 6-7 CP 5,8 Conj 9 Equiv 1,10 CP |
It’s a curious case where those fleeing the corporations with long ladders and low roofs and those fleeing the corporations with short ladders and high roofs both cite self-development as their primary impulse to action.
Summers are not what they used to be. Winters are not what they used to be. They are more expensive.
The variety of choices today never ceases to amaze. There is – I’m sure – a TV channel or a newspaper where the virology experts recommend chin covering on account of the chin being the primary infection route.
Prove the logical truth.
16. ~ ~ [(P • Q) v R] ⊃ [(~ R v Q) ⊃ (P ⊃ Q)] 17. [(P • Q) v R] ⊃ [(~ R v Q) ⊃ (P ⊃ Q)] | /[(P • Q) v R] ⊃ [(~ R v Q) ⊃ (P ⊃ Q)] IP 1 Impl 2 DM 3 Impl 4 DM 5 Impl 6 DM 7 Simp 8 Simp 7 Simp 9,10 DS 7 Simp 11,12 DS 13 Simp 9,14 Conj 1-15 IP 16 DN |
|
Revolutions may well devour their children but, in the end, history vomits up the reactionaries.
Death is a consequence of life but can be tempered by tax avoidance.
The joy of learning is only a mere approximation of the ecstasy of unlearning later.
Prove the logical truth.
9. P ⊃ [(Q • ~ Q) ⊃ R] | / P ⊃ [(Q • ~ Q) ⊃ R] ACP ACP 2 Simp 3 Add 2 Com 5 Simp 4,6 DS 2-7 CP 1-8 CP |
Christianity is a bargain. It offers two lives for the price of one, or, to be more precise, two lives that are meaningful instead of one that isn’t: life after death and life in Christ before death, death being what connects them.
An online book review reads: it arrived fast, undamaged, is exactly as ordered, and is value for money.
A tattoo has a limited second-hand market resale value. What does that say about capitalism as we know it? That it is not as advanced yet as it could be.
Prove the logical truth.
9. (~ P v Q) ⊃ [(P v ~ Q) ⊃ (P ≡ Q)] | / (~ P v Q) ⊃ [(P v ~ Q) ⊃ (P ≡ Q)] ACP ACP 1 Impl 2 Com 4 Impl 3,5 Conj 6 Equiv 2-7 CP 1-8 CP |