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

! <math>q</math>

! [[모순 명제]] <math>\bot</math>

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

! [[역함의]] <math>p\Longleftarrow q</math>