text: Рассуждение: "Компьютер похищен либо Петровым, либо Сидоровым. Но у Петрова алиби. Значит, Сидоров похитил компьютер" построено по схеме v:
option_a: p ^ q ├ p
option_b: M a P, S a M ├ S a P
option_c: p v q, p ├ q
option_d: Полной индукции
subject: Логика