• Study Resource
  • Explore
    • Arts & Humanities
    • Business
    • Engineering & Technology
    • Foreign Language
    • History
    • Math
    • Science
    • Social Science

    Top subcategories

    • Advanced Math
    • Algebra
    • Basic Math
    • Calculus
    • Geometry
    • Linear Algebra
    • Pre-Algebra
    • Pre-Calculus
    • Statistics And Probability
    • Trigonometry
    • other →

    Top subcategories

    • Astronomy
    • Astrophysics
    • Biology
    • Chemistry
    • Earth Science
    • Environmental Science
    • Health Science
    • Physics
    • other →

    Top subcategories

    • Anthropology
    • Law
    • Political Science
    • Psychology
    • Sociology
    • other →

    Top subcategories

    • Accounting
    • Economics
    • Finance
    • Management
    • other →

    Top subcategories

    • Aerospace Engineering
    • Bioengineering
    • Chemical Engineering
    • Civil Engineering
    • Computer Science
    • Electrical Engineering
    • Industrial Engineering
    • Mechanical Engineering
    • Web Design
    • other →

    Top subcategories

    • Architecture
    • Communications
    • English
    • Gender Studies
    • Music
    • Performing Arts
    • Philosophy
    • Religious Studies
    • Writing
    • other →

    Top subcategories

    • Ancient History
    • European History
    • US History
    • World History
    • other →

    Top subcategories

    • Croatian
    • Czech
    • Finnish
    • Greek
    • Hindi
    • Japanese
    • Korean
    • Persian
    • Swedish
    • Turkish
    • other →
 
Profile Documents Logout
Upload
Want to find out more about students understanding of the equal sign
Want to find out more about students understanding of the equal sign

Algebraic Expressions and Properties
Algebraic Expressions and Properties

Bound and Free Variables Theorems and Proofs
Bound and Free Variables Theorems and Proofs

Programming and Problem Solving with Java: Chapter 14
Programming and Problem Solving with Java: Chapter 14

We showed on Tuesday that Every relation in the arithmetical
We showed on Tuesday that Every relation in the arithmetical

notes 25 Algebra Variables and Expressions
notes 25 Algebra Variables and Expressions

Is the principle of contradiction a consequence of ? Jean
Is the principle of contradiction a consequence of ? Jean

... tails between its legs. If we put the above proof of PROPOSITION IV of the Laws of Thought as an exercise for a student, or even a professor, of the University of Oxbridge he will probably not be able to present such a proof. (S)he may even claim that there is no such a proof because it is false. Th ...
A + B + C
A + B + C

POSSIBLE WORLDS AND MANY TRUTH VALUES
POSSIBLE WORLDS AND MANY TRUTH VALUES

IntroToLogic - Department of Computer Science
IntroToLogic - Department of Computer Science

powerpoint - IDA.LiU.se
powerpoint - IDA.LiU.se

PDF
PDF

Chapter 1 Vocabulary Test/Review
Chapter 1 Vocabulary Test/Review

... NAME ________________________________________ DATE ______________ PERIOD _____ ...
Ch1 - COW :: Ceng
Ch1 - COW :: Ceng

... Propositional logic is one of the simplest logics Propositional logic has direct applications e.g. circuit design There are efficient algorithms for reasoning in propositional logic Propositional logic is a foundation for most of the more expressive logics ...
Propositional Logic Predicate Logic
Propositional Logic Predicate Logic

Expressions, Equations and Inequalities #2
Expressions, Equations and Inequalities #2

EECS 203-1 – Winter 2002 Definitions review sheet
EECS 203-1 – Winter 2002 Definitions review sheet

slides - National Taiwan University
slides - National Taiwan University

Deriving the Formula for the Sum of a Geometric Series
Deriving the Formula for the Sum of a Geometric Series

famous mathematicians
famous mathematicians

ppt
ppt

... – Send me email early and often. ...
.pdf
.pdf

1
1

Homework 3
Homework 3

Howework 8
Howework 8

< 1 ... 158 159 160 161 162 >

Laws of Form

Laws of Form (hereinafter LoF) is a book by G. Spencer-Brown, published in 1969, that straddles the boundary between mathematics and philosophy. LoF describes three distinct logical systems: The primary arithmetic (described in Chapter 4 of LoF), whose models include Boolean arithmetic; The primary algebra (Chapter 6 of LoF), whose models include the two-element Boolean algebra (hereinafter abbreviated 2), Boolean logic, and the classical propositional calculus; Equations of the second degree (Chapter 11), whose interpretations include finite automata and Alonzo Church's Restricted Recursive Arithmetic (RRA).Boundary algebra is Dr Philip Meguire's (2011) term for the union of the primary algebra (hereinafter abbreviated pa) and the primary arithmetic. ""Laws of Form"" sometimes loosely refers to the pa as well as to LoF.
  • studyres.com © 2025
  • DMCA
  • Privacy
  • Terms
  • Report