8.

Пойдёшь налево – коня потеряешь (А → В), а не пойдёшь – сам погибнешь (А → С).

(А → В) ˄ (А → С).

Неверно, что если  пойдёшь налево, то коня потеряешь, а не пойдёшь – сам погибнешь.

˥[(А → В) ˄ (А → С)].