کسی میتونه( لازم )، (کافی) ،(لازم و کافی) رو توضیح بده برام؟

اگه از فرض به حکم بری ( در قضیه های یک شرطی ) میشه میشه لازم اگر از حکم به فرض بیای ( در قضیه های یک شرطی) میشه کافی اگر از فرض به حکم و از حکم به فرض بری ( دوشرطی میشه ) میشه لازم و کافی مثلا : امتحان نهایی شرط کافی برای قبولی است ( فرض به حکم) مثلا : قبولی شرط کافی برای امتحان نهایی است ( حکم به فرض مثلا : امتحان نهایی شرط لازم و کافی برای قبولی است ( این صرفا در حد آموخته های من هست و لطفا اکتفا نکن )

p => q p لازم q کافی p<=>q هر دو لازم و کافی برای یک دیگه