2 Matching Annotations
 Jan 2021

www.physixfan.com www.physixfan.com

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. DOUBLETILDE RULE: The string '~~' can be deleted from any theorem can also be inserted into any theorem, provided that the result string is itself wellformed. FANTASY RULE: If y can be derived when x is assumed to be a theorem then < x⊃y> is a theorem. CARRYOVER 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

 Jun 2020

ftalphaville.ft.com ftalphaville.ft.com

Financial Times. ‘Making Sense of Nonsensical Covid19 Strategy’. Accessed 3 June 2020. http://ftalphaville.ft.com/2020/06/01/1591001732000/MakingsenseofnonsensicalCovid19strategy/.
