Sunday, 29 August 2021

Education, Jazz, publishing

Education that broadens the horizons without elevating the perspective at the same time makes the earth appear flat.

 

When times are uncertain and people are edgy, don’t go round saying you listen to Jazz if you know what is good for you.

 

If you were to send your book off to the printers, make sure you issue instructions for it to be typeset so that your best lines do not start at the bottom of one page and terminate at the top of the next page. 

Understanding Symbolic Logic, Virginia Klenk, 5th ed., Pearson Prentice Hall, 2008, Unit 18, Ex. 2e, p. 354

Prove the logical truth.

 

 

1.     (∃y)[Fy • (x)(Gx  Hxy)]

2.     Gx

3.     Fm • (x)(Gx  Hxm)]

4.     (x)(Gx ⊃ Hxm)] • Fm

5.     (x)(Gx ⊃ Hxm)

6.     Gx ⊃ Hxm

7.     Hxm

8.     Fm

9.     Fm • Hxm

10.  (∃y)(Fy • Hxy)]

11.  Gx  (∃y)(Fy • Hxy)]

12.  (x)[Gx  (∃y)(Fy • Hxy)]

13.  (∃y)[Fy • (x)(Gx ⊃ Hxy)] ⊃ (x)[Gx ⊃ (∃y)(Fy • Hxy)]

(∃y)[Fy • (x)(Gx  Hxy)]  (x)[Gx  (∃y)(Fy • Hxy)]

ACP

ACP

1 EI

3 Com

4 Simp

5 UI

2,6 MP

3 Simp

7,8 Conj

9 EG

2-10 CP

11 UG

1-12 CP

 

 

Sunday, 22 August 2021

Shopping trolley, earning and cooking, peacemaker and dealmaker

The deception inherent in online shopping is that the shopping trolley is never pictured in scale.

One school says that in order to eat you have to earn money. Another school says that in order to eat you have to learn cooking. To lose weight though, start by earning less money, not doing less cooking. 

 

Where the Colt SAA was a peacemaker, the Kalashnikov is a dealmaker. Like the peacemaker, the dealmaker speaks in polysyllables. The difference is one was a slow speaker the other is a fast one, as befits the two roles.

Understanding Symbolic Logic, Virginia Klenk, 5th ed., Pearson Prentice Hall, 2008, Unit 18, Ex. 2b, p. 354

 Prove the logical truth.

 

1.     (x)(y)(z)Fxyz

2.     (y)(z)Fmyz

3.     (z)Fmyz

4.     Fmyz

5.     (x)Fmyz

6.     (y)(x)Fxyz

7.     (z)(y)(x)Fxyz

8.     (y)(z)(x)Fxyz

9.     (∃x)(y)(z)Fxyz  (y)(z)(∃x)Fxyz

/(x)(y)(z)Fxyz  (y)(z)(x)Fxyz

ACP

1 EI

2 UI

3 UI

4 EG

5 UG

6 UG

Equiv (Com)

1-8 CP

Sunday, 15 August 2021

Dog owners, money, business English

Next time a dog owner says their dog won’t bite, ask them why?

It’s not about the money, it’s about the principle, the principle being: everything has a price.

 

What makes English the language of business is the business of teaching it.

Sunday, 8 August 2021

Success, toilet paper, knowledge

If you find success in your earthly affairs too overwhelming, there are always other-worldly affairs to seek refuge in.

I remember reading a long time ago about using three sheets of toilet paper to wipe one’s bottom: one up, one down and one to polish. But the methodology has never worked for me. My system is: one run for the country, one for the soul, and one for sunshine.

 

Little knowledge is a dangerous thing because it distorts tolerance thresholds. Immense knowledge is quite another matter. Take dogs. Dogs have an immense knowledge of smells. They are never offended by what they find. On the contrary, they rub their nose in it and relish it.

Understanding Symbolic Logic, Virginia Klenk, 5th ed., Pearson Prentice Hall, 2008, Unit 18, Ex. 2a, p. 354

 Prove the theorem.

 

1.     (x)(y)Fxy

2.     (y)Fmy

3.     Fmr

4.     (∃y)Fmy

5.     (∃x)(∃y)Fxy

6.     (x)(y)Fxy  (x)(y)Fxy

/(x)(y)Fxy  (x)(y)Fxy

ACP

1 UI

2 UI

3 EG

4 EG

1-5 CP