Insights into Mathematics | Inference Rules via the Algebra of Boole | MathFoundations 275 | N J Wildberger @njwildberger | Uploaded 4 years ago | Updated 20 hours ago
We show how to introduce Inference Rules in Propositional Logic in the framework of the Algebra of Boole, which provides a cut and dried technology to easily establish all such rules.
Prominent amongst these are Modus Ponens, Modus Tollens, Hypothetical Syllogism and Disjunctive Syllogism. With this new technology we can establish each of these very simply, and even more powerfully -- we can in fact dispense with their use altogether! No more memorization of clever logical rules is required, as our simplified Grade 9 algebra of the Algebra of Boole transcends it all.
As an application, we go back to a Logic Puzzle of Lewis Carroll, which tells us something uncomfortable about ... your poetry.
Here are the Insights into Mathematics Playlists:
youtube.com/playlist?list=PL55C7C83781CF4316
youtube.com/playlist?list=PL3C58498718451C47
youtube.com/playlist?list=PL5A714C94D40392AB
youtube.com/playlist?list=PLIljB45xT85BhzJ-oWNug1YtUjfWp1qAp
youtube.com/playlist?list=PLIljB45xT85Bfc-S4WHvTIM7E-ir3nAOf
youtube.com/playlist?list=PLIljB45xT85D94vHAB8joyFTH4dmVJ_Fw
youtube.com/playlist?list=PL8403C2F0C89B1333
youtube.com/playlist?list=PLIljB45xT85CcGpZpO542YLPeDIf1jqXK
youtube.com/playlist?list=PLIljB45xT85Aqe2b4FBWUGJdYROT6-o4e
youtube.com/playlist?list=PLIljB45xT85DB7CzoFWvA920NES3g8tJH
youtube.com/playlist?list=PLIljB45xT85A-qCypcmZqRvaS1pGXpTua
youtube.com/playlist?list=PLIljB45xT85DH__ZzGQWQrVRxlbKh-Nsa
youtube.com/playlist?list=PLIljB45xT85CdeBmQZ2QiCEnPQn5KQ6ov
youtube.com/playlist?list=PLIljB45xT85AMigTyprOuf__daeklnLse
youtube.com/playlist?list=PLIljB45xT85CnIGIWb7tH1F_S2PyOC8rb
youtube.com/playlist?list=PLIljB45xT85CN9oJ4gYkuSQQhAtpIucuI
youtube.com/playlist?list=PLIljB45xT85DWUiFYYGqJVtfnkUFWkKtP
youtube.com/playlist?list=PL6763F57A61FE6FE8
youtube.com/playlist?list=PLBF39AFBBC3FB30AF
youtube.com/playlist?list=PLIljB45xT85DSrlV6NX8RMBksZhdTHtwW
youtube.com/playlist?list=PLIljB45xT85Bmcc9ksBOAKgIZAl0BwPg7
Here are the Wild Egg Maths Playlists (some available only to Members!)
youtube.com/playlist?list=PLzdiPTrEWyz4rKFN541wFKvKPSg5Ea6XB
youtube.com/playlist?list=PLzdiPTrEWyz4VlOppC5CN0D0GjrjvBGKy
youtube.com/playlist?list=PLzdiPTrEWyz5VLVr-0LPPgm4T1mtU_DG-
youtube.com/playlist?list=PLzdiPTrEWyz6zpIZ4Y_RK9zyJ9OufqNJv
youtube.com/playlist?list=PLzdiPTrEWyz7hk_Kzj4zDF_kUXBCtiGn6
youtube.com/playlist?list=PLzdiPTrEWyz5j1BJdXBw1MFst_nQAqzZ_
youtube.com/playlist?list=PLzdiPTrEWyz5HWgaVkhIwpGVKi6fciRxW
youtube.com/playlist?list=PLzdiPTrEWyz5HBT_Yo1G4DfeqUfI9zkKM
youtube.com/playlist?list=PLzdiPTrEWyz7LKbuJAHaXAhRj2ylD0OoX
youtube.com/playlist?list=PLzdiPTrEWyz6VcJQ5xcuqY6g4DWjvpmjM
youtube.com/playlist?list=PLzdiPTrEWyz6MwUTOHRgC0oIxVtaHGQBd
youtube.com/playlist?list=PLzdiPTrEWyz4KD007Ge10dfrDVc4YwlYS
youtube.com/playlist?list=PLzdiPTrEWyz4IknbwXMEVwxOWS3z1Ch3C
************************
We show how to introduce Inference Rules in Propositional Logic in the framework of the Algebra of Boole, which provides a cut and dried technology to easily establish all such rules.
Prominent amongst these are Modus Ponens, Modus Tollens, Hypothetical Syllogism and Disjunctive Syllogism. With this new technology we can establish each of these very simply, and even more powerfully -- we can in fact dispense with their use altogether! No more memorization of clever logical rules is required, as our simplified Grade 9 algebra of the Algebra of Boole transcends it all.
As an application, we go back to a Logic Puzzle of Lewis Carroll, which tells us something uncomfortable about ... your poetry.
Here are the Insights into Mathematics Playlists:
youtube.com/playlist?list=PL55C7C83781CF4316
youtube.com/playlist?list=PL3C58498718451C47
youtube.com/playlist?list=PL5A714C94D40392AB
youtube.com/playlist?list=PLIljB45xT85BhzJ-oWNug1YtUjfWp1qAp
youtube.com/playlist?list=PLIljB45xT85Bfc-S4WHvTIM7E-ir3nAOf
youtube.com/playlist?list=PLIljB45xT85D94vHAB8joyFTH4dmVJ_Fw
youtube.com/playlist?list=PL8403C2F0C89B1333
youtube.com/playlist?list=PLIljB45xT85CcGpZpO542YLPeDIf1jqXK
youtube.com/playlist?list=PLIljB45xT85Aqe2b4FBWUGJdYROT6-o4e
youtube.com/playlist?list=PLIljB45xT85DB7CzoFWvA920NES3g8tJH
youtube.com/playlist?list=PLIljB45xT85A-qCypcmZqRvaS1pGXpTua
youtube.com/playlist?list=PLIljB45xT85DH__ZzGQWQrVRxlbKh-Nsa
youtube.com/playlist?list=PLIljB45xT85CdeBmQZ2QiCEnPQn5KQ6ov
youtube.com/playlist?list=PLIljB45xT85AMigTyprOuf__daeklnLse
youtube.com/playlist?list=PLIljB45xT85CnIGIWb7tH1F_S2PyOC8rb
youtube.com/playlist?list=PLIljB45xT85CN9oJ4gYkuSQQhAtpIucuI
youtube.com/playlist?list=PLIljB45xT85DWUiFYYGqJVtfnkUFWkKtP
youtube.com/playlist?list=PL6763F57A61FE6FE8
youtube.com/playlist?list=PLBF39AFBBC3FB30AF
youtube.com/playlist?list=PLIljB45xT85DSrlV6NX8RMBksZhdTHtwW
youtube.com/playlist?list=PLIljB45xT85Bmcc9ksBOAKgIZAl0BwPg7
Here are the Wild Egg Maths Playlists (some available only to Members!)
youtube.com/playlist?list=PLzdiPTrEWyz4rKFN541wFKvKPSg5Ea6XB
youtube.com/playlist?list=PLzdiPTrEWyz4VlOppC5CN0D0GjrjvBGKy
youtube.com/playlist?list=PLzdiPTrEWyz5VLVr-0LPPgm4T1mtU_DG-
youtube.com/playlist?list=PLzdiPTrEWyz6zpIZ4Y_RK9zyJ9OufqNJv
youtube.com/playlist?list=PLzdiPTrEWyz7hk_Kzj4zDF_kUXBCtiGn6
youtube.com/playlist?list=PLzdiPTrEWyz5j1BJdXBw1MFst_nQAqzZ_
youtube.com/playlist?list=PLzdiPTrEWyz5HWgaVkhIwpGVKi6fciRxW
youtube.com/playlist?list=PLzdiPTrEWyz5HBT_Yo1G4DfeqUfI9zkKM
youtube.com/playlist?list=PLzdiPTrEWyz7LKbuJAHaXAhRj2ylD0OoX
youtube.com/playlist?list=PLzdiPTrEWyz6VcJQ5xcuqY6g4DWjvpmjM
youtube.com/playlist?list=PLzdiPTrEWyz6MwUTOHRgC0oIxVtaHGQBd
youtube.com/playlist?list=PLzdiPTrEWyz4KD007Ge10dfrDVc4YwlYS
youtube.com/playlist?list=PLzdiPTrEWyz4IknbwXMEVwxOWS3z1Ch3C
************************