2 Matching Annotations
1. Jan 2021
2. www.physixfan.com www.physixfan.com
1. JOINING RULE: If x and y are theorems, then < x∧y> is a theorem. SEPARATION RULE: If < x∧y> is a theorem, then both x and y are theorems. DOUBLE-TILDE RULE: The string '~~' can be deleted from any theorem can also be inserted into any theorem, provided that the result string is itself well-formed. FANTASY RULE: If y can be derived when x is assumed to be a theorem then < x⊃y> is a theorem. CARRY-OVER RULE: Inside a fantasy, any theorem from the "reality" c level higher can be brought in and used. RULE OF DETACHMENT: If x and < x⊃y> are both theorems, then y is a theorem. CONTRAPOSITIVE RULE: <x⊃y> and <~y⊃~x> are interchangeable DE MORGAN'S RULE: <~x∧~y> and ~< x∨y> are interchangeable. SWITCHEROO RULE: <x∨y> and <~x⊃y> are interchangeable

#### URL

3. Jun 2020
4. ftalphaville.ft.com ftalphaville.ft.com
1. Financial Times. ‘Making Sense of Nonsensical Covid-19 Strategy’. Accessed 3 June 2020. http://ftalphaville.ft.com/2020/06/01/1591001732000/Making-sense-of-nonsensical-Covid-19-strategy/.