Insights into Mathematics | Replacing truth tables and Boolean equivalences | MathFoundations274 | N J Wildberger @njwildberger | Uploaded 4 years ago | Updated 6 hours ago
While Propositional Logic is a branch of philosophy, concerned with systematizing reasoning using connectives such as AND, OR, NOT, IMPLIES and EQUIVALENT, the Algebra of Boole provides a mathematical framework for modelling some of this. With this approach we ignore the issue of the meanings of the various atomic propositions, and replace philosophical discussion of the meaning of "true (T)" and "false (F)" with a cut and dried algebraic approach using just 0's and 1's.
With the Algebra of Boole framework, we move away from using Truth Tables and Boolean equivalences to verify statements: it is simpler and preferable to just compute Boole polynumbers for ingredient clauses. We illustrate this technology with specific examples, including the non-obvious Distributive Law, and also Transitivity of Implication, otherwise known as Hypothetical Syllogism.
Correction: On slide 3, the last column (not P) should be 1,1,0,0.
Video Content:
00:00 Introduction
4:49 Imbedding PL into the Algebra of Boole
10:52 Example: The non - obvious distributive law
18:40 Example: Transitivity of lmplication
21:50 Hypothetical syllogism
27:13 Evaluating using the Algebra of Boole
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
************************
While Propositional Logic is a branch of philosophy, concerned with systematizing reasoning using connectives such as AND, OR, NOT, IMPLIES and EQUIVALENT, the Algebra of Boole provides a mathematical framework for modelling some of this. With this approach we ignore the issue of the meanings of the various atomic propositions, and replace philosophical discussion of the meaning of "true (T)" and "false (F)" with a cut and dried algebraic approach using just 0's and 1's.
With the Algebra of Boole framework, we move away from using Truth Tables and Boolean equivalences to verify statements: it is simpler and preferable to just compute Boole polynumbers for ingredient clauses. We illustrate this technology with specific examples, including the non-obvious Distributive Law, and also Transitivity of Implication, otherwise known as Hypothetical Syllogism.
Correction: On slide 3, the last column (not P) should be 1,1,0,0.
Video Content:
00:00 Introduction
4:49 Imbedding PL into the Algebra of Boole
10:52 Example: The non - obvious distributive law
18:40 Example: Transitivity of lmplication
21:50 Hypothetical syllogism
27:13 Evaluating using the Algebra of Boole
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
************************