ㅂㅍㅇ 저 사람 뭐임

조건연쇄, 귀류법 기가 막히게 잘 쓰네

A->B
~A->C
B V C

모든 가능세계에서 반례가 단 하나라도 있으면 거짓인 명제가 된다 캬 명언이누

셤 끝나고 다 까먹었는데 저 사람이랑 싸우면 개발릴듯