Description: Closed form of syllogism with internal disjunction. If ph is a
sufficient condition for the occurrence of ch or ps and if
ch , as well as ps , is a sufficient condition for th , then
ph is a sufficient condition for th . See application in
frege101 . Proposition 48 of Frege1879 p. 49. (Contributed by RP, 24-Dec-2019)(Proof modification is discouraged.)