Koşullu önerme ile karşıtından, ise bağlacı ile elde edilen bileşik önermedir.
Koşullu önerme ile karşıtından, ise bağlacı ile elde edilen bileşik önermedir.