MyBroadband Forum
Author:
MyBroadband is South Africa’s biggest and best IT news website, covering the latest international and local IT and tech news.
Join the discussion about all the latest in IT, telecoms, and broadband on MyBroadband’s community. Join this community to share ideas and read everything from expert opinion to casual discussion.
Synopsis.
Willem F. Esterhuyse.
Abstract.
We introduce more basic axioms with which we are able to prove some
“axioms” of Propositional Logic. We use the symbols from my other article:
“Introduction to Logical Structures”. Logical Structures (SrL) are graphs with
doubly labelled vertices with edges carrying symbols. The proofs are very
mechanical and does not require ingenuity to construct. It is easy to…