Laws of FormAllen & Unwin, 1969 - 141 pagina's |
Vanuit het boek
Resultaten 1-3 van 13
Pagina 20
... identical with x can be reached by taking steps from x and then retracing them . Thus any expression identical with x must express the same value as x . Therefore , in any case . x = x Theorem 6. Value Expressions of the same value can ...
... identical with x can be reached by taking steps from x and then retracing them . Thus any expression identical with x must express the same value as x . Therefore , in any case . x = x Theorem 6. Value Expressions of the same value can ...
Pagina 139
... Identical expressions express the same value Expressions of the same value can be identified T5 * T6 * T7 equivalent to one another Expressions equivalent to an identical expression are 18 220 21 21 T8 T9 T10 T11 T12 T13 T14 connective ...
... Identical expressions express the same value Expressions of the same value can be identified T5 * T6 * T7 equivalent to one another Expressions equivalent to an identical expression are 18 220 21 21 T8 T9 T10 T11 T12 T13 T14 connective ...
Pagina 140
... identical with the whole expression in Sn + 2 , then the value of the resultant expression in sn is the unmarked state If successive spaces Sn , Sn + 1 , Sn + 2 are arranged so that Sn , S2 + 1 are distinguished by one cross , and Sn + ...
... identical with the whole expression in Sn + 2 , then the value of the resultant expression in sn is the unmarked state If successive spaces Sn , Sn + 1 , Sn + 2 are arranged so that Sn , S2 + 1 are distinguished by one cross , and Sn + ...
Inhoudsopgave
Independence | 53 |
Reentry into the form | 69 |
Notes | 77 |
Copyright | |
3 andere gedeelten niet getoond
Veelvoorkomende woorden en zinsdelen
Alfred North Whitehead already appear argument arrangement axiom Boole Boolean algebras boundary calculus of indications called cancellation canon Chapter circumference condensation connexion consequence consider constant constructed cross r cross deepest space degree demonstration distinct variables distinguished empty cross evident example existence existential experience fact finite formal George Boole George Spencer-Brown hitherto hypothesis of simplification identical illustrated indicate the marked injunction inside interpretation justified K-elements Kurt Gödel LAWS OF FORM logic logical conjunction marker mathe mathematical matical number of crosses number of steps ourselves plane possible pr qr premisses primary algebra primary arithmetic primitive equation principle procedure proposition prove R D Laing reader reference rule seen sentential calculus sentential logic Sheffer's simple expression Sn+2 Spencer Brown stand statements substitution Suppose syllogism symbol theorem 16 tion token universal unmarked valid wave structure write Yehoshua Bar-Hillel ать רר