The symbolic form for the statement "If Siah is from Foya, then Foya is in Lofa" is:p ⇒ qThis is read as "p implies q". It means that if p is true, then q must also be true.In other words, if Siah is from Foya, then Foya must be in Lofa.
