ขนาดวิดีโอ: 1280 X 720853 X 480640 X 360
แสดงแผงควบคุมโปรแกรมเล่น
เล่นอัตโนมัติ
เล่นใหม่
Good content! Greetings from Italy!
Savior. THANKS A LOT!!! You literally save my final
just what i needed, thank you
These tutorials literally boosted my Maths knowledge & marks!
at existential elimination in eq 2, @3:40, havent we already used a in eq.3 ?by the way, are the order of the equations important?
Yes, exactly! The a is used in premise 3, so cannot be used for the Existential Elim on line 4.
I think premise 3 suggests that all x are a so maybe we can just put every x into a?
Still confuse how did you give the constant name
Good content! Greetings from Italy!
Savior. THANKS A LOT!!! You literally save my final
just what i needed, thank you
These tutorials literally boosted my Maths knowledge & marks!
at existential elimination in eq 2, @3:40, havent we already used a in eq.3 ?
by the way, are the order of the equations important?
Yes, exactly! The a is used in premise 3, so cannot be used for the Existential Elim on line 4.
I think premise 3 suggests that all x are a so maybe we can just put every x into a?
Still confuse how did you give the constant name