02:3202:32, 2 July 2024diffhist−61,218
Talk:Axiomatic system (logic)
←Replaced content with '{{WikiProject banner shell|class=Start| {{WikiProject Mathematics|priority=Mid}} }} {{archives}} == Conjunction introduction and elimination == Am I reading this right? A -> B -> A ^ B I'm not seeing any mention of the branching rule used. This should be explicitly mentioned somehow. I'm assuming left branching and reading it this way: "(A implies B) implies (A and B)" This would mean that if we accept that A implies B we have to accept B. What?...'Tag: Replaced
02:0402:04, 2 July 2024diffhist+85
N
Hilbert system
Thiagovscoelho moved page
Hilbert system to
Axiomatic system (logic): The article covers axiomatic deduction in general and unduly names the whole thing "Hilbert system" or "Hilbert-style deduction system" when this isn't always done in the sourcescurrentTag: New redirect
02:3202:32, 2 July 2024diffhist−61,218
Talk:Axiomatic system (logic)
←Replaced content with '{{WikiProject banner shell|class=Start| {{WikiProject Mathematics|priority=Mid}} }} {{archives}} == Conjunction introduction and elimination == Am I reading this right? A -> B -> A ^ B I'm not seeing any mention of the branching rule used. This should be explicitly mentioned somehow. I'm assuming left branching and reading it this way: "(A implies B) implies (A and B)" This would mean that if we accept that A implies B we have to accept B. What?...'Tag: Replaced
02:0402:04, 2 July 2024diffhist+85
N
Hilbert system
Thiagovscoelho moved page
Hilbert system to
Axiomatic system (logic): The article covers axiomatic deduction in general and unduly names the whole thing "Hilbert system" or "Hilbert-style deduction system" when this isn't always done in the sourcescurrentTag: New redirect