Mantık

https://img207.imageshack.us/img207/...1110130001.jpg

Sorunun cevabı A seçeneğiymiş. Ben başka bir sonuç buldum. Acaba neden A.

önermeyi açmadan tersini alırsak => bağlacına dokunmamış oluruz p'=>q olur ancak önermeyi açtığımda sonuç farklı

p => q önermesinin tersi tanım gereğince p' => q' dur.

p' => q'≡p v q'

Ama
( p => q )'=? şeklinde sorulsaydı,

(p => q )'≡( p' v q )'≡p ^q'

Şıklarda, hiçbiri yok. Eğer cevabı A diyorsa, o zaman, basım hatası olmuştur. p' => q' olmalı idi.

Çok sağolun bende bosuna ugrasıyorum. :)