내가 아는 명제논리 지식
게시글 주소: https://a.orbi.kr/00071934566
if then
화살표
OR
AND
NOT
if then, not, or, and
p->q의 대우는 not q->not p 다
원명제와 대우명제는 진리치가 같다
A가 거짓일때 모순이 생기면 A가 참이다(귀류법 증명)
(p->q)=(not p or q)
not(p->q)=p and not q
드모르간의 법칙
not(p and q)=not p or not q
not(p or q)=not p and not q
not not p = p
a->b->c = a->b and b->c
한없이 얕은 지식임
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
첫번째 댓글의 주인공이 되어보세요.