명제 논리: 두 판 사이의 차이

! <math>p</math>

! <math>q</math>

! [[논리곱]] <math>p\land q</math>

! [[비함의]] <math>p\not\Longrightarrow q</math>

! <math>p</math>

! <math>q</math>

! [[부정 논리곱]] <math>p\uparrow q</math>

! [[실질적 함의]] <math>p\Longrightarrow q</math>

** <math>\{\uparrow\}</math>

** <math>\{\downarrow\}</math>

** <math>\{\Longrightarrow,\lnot\}</math>

** <math>\{\not\Longrightarrow,\lnot\}</math>