2019년 10월 13일 (일) 05:04 판 편집 慈居 (토론 \| 기여) 장기인증된 사용자 18,517 편집 잔글편집 요약 없음 ← 이전 편집		2019년 10월 13일 (일) 05:14 판 편집 편집 취소 慈居 (토론 \| 기여) 장기인증된 사용자 18,517 편집 잔글 →‎논리 연산과 함수적 완전 집합 다음 편집 →
146번째 줄: * 크기 2 (총 18개) <math>\{\Longrightarrow,\lnot\}</math> <math>\{\not\Longrightarrow,\lnot\}</math>▼ <math>\{\Longleftarrow,\lnot\}</math> ▲ <math>\{\not\Longrightarrow,\lnot\}</math> <math>\{\not\Longleftarrow,\lnot\}</math> <math>\{\land,\lnot\}</math> <math>\{\lor,\lnot\}</math> <math>\{\Longrightarrow,\bot\}</math> <math>\{\Longrightarrow,\not\Longleftrightarrow\}</math>▼ <math>\{\Longleftarrow,\bot\}</math> ▲ <math>\{\Longrightarrow,\not\Longleftrightarrow\}</math> <math>\{\Longleftarrow,\not\Longleftrightarrow\}</math> <math>\{\not\Longrightarrow,\top\}</math> <math>\{\not\Longrightarrow,\Longleftrightarrow\}</math>▼ <math>\{\not\Longleftarrow,\top\}</math> ▲ <math>\{\not\Longrightarrow,\Longleftrightarrow\}</math> <math>\{\not\Longleftarrow,\Longleftrightarrow\}</math> <math>\{\Longrightarrow,\not\Longrightarrow\}</math>

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