ขนาดวิดีโอ: 1280 X 720853 X 480640 X 360
แสดงแผงควบคุมโปรแกรมเล่น
เล่นอัตโนมัติ
เล่นใหม่
At 12.00, could we use disjunctive syllogism on lines 3,6 to get ∀z~Gza as an alternative route to the proof instead of instantiating first? Thanks!
+James Dow Hi, no you have to work on the main operator. You could do it if the subformulas on line 6 each had their own quantifiers.
At 12.00, could we use disjunctive syllogism on lines 3,6 to get ∀z~Gza as an alternative route to the proof instead of instantiating first? Thanks!
+James Dow Hi, no you have to work on the main operator. You could do it if the subformulas on line 6 each had their own quantifiers.