Philosophy Symbolic Logic Proofs Using Analytics In Business