Worth spreading

Implication If p and q are proposition, then p->q is a conditional statement or implication - 만약 p와 q가 명제라면, p->q는 조건문이거나 함축이다. read as "if p, then q" - "만약 p이면 q이다" 라고 읽는다 p is the hypothesis (antecedent or premise) - p는 가설[추측](선행사 혹은 전제)q is the conclusion (or consequence) - q는 결론(혹은 결과) ex)- If p denotes "I am at home". and q denotes "It is raining." 만약 p가 "나는 집에있다" 그리고 q가 "비가 온다"를 나타낸다면,- th..