q önermesinin p gibi önermenin ödevsel sonuç'u olması, Ö(p=>q) nun ödevler mantığında geçerli olması demektir.