Text Substitutions
Proofreaders (and programmers who use sed, awk, perl, or the like) transform text by substituting one thing with another.
The notation:
[fear → anger, anger → hate] "fear leads to anger"
means:
"simultaneously substitute anger for fear and hate for anger in the text "fear leads to anger"".
- Compute:
[fear → anger] ( [anger → hate] "fear leads to anger" )
-
Compute:
[anger → hate ] ( [fear → anger] "fear leads to anger" )
-
Compute:
[fear → anger, anger → hate, hate → suffering] ( [fear → anger, anger → hate, hate → suffering] ( "fear leads to anger" ) )
-
Argue that:
[b → c] ( [a → b] x ) == [a → c] x
-
If α,β and γ are all expressions,
in what circumstances is it true that
[a → α] ( [b → β] γ )
==
[b → β] ( [a → α] γ )