Matematické Fórum

Dobrý den ,mám prosbu o kontrolu mého řešení u příkladu:Je dáno tvrzení X: „Jestliže mám auto, jedu k babičce.“ Vyberte dvojici tvrzení,
z nichž první je ekvivalentní a druhé opačné k X.
a) 1. Jedu k babičce nebo nemám auto. 2. Není pravda, že mám auto a jedu
k babičce.
b) 1. Jestliže nemám auto, nejedu k babičce. 2. Nemám auto a nejedu k babičce.
c) 1. Jestliže jedu k babičce, pak mám auto. 2. K babičce nejedu a mám auto.
d) 1. Jestliže nejedu k babičce, pak nemám auto. 2. Jestliže nemám auto, jedu
k babičce.
e) 1. Nemám auto nebo jedu k babičce. 2. Mám auto a k babičce nejedu.

Negace k implikaci A implikuje B je A ^ negace B  čili správná je varianta e) Děkuji za potvrzení