Выяснить, является ли логически правильными следующие рассуждения. В доказательстве использовать метод резолюций>>>Если Перт не встречал Ивана, то либо Иван не был на лекциях, либо Пётр лжёт. Если Иван был на лекциях, то Пётр встречал Ивана, и Сергей был в читальном зале после лекций. Если Сергей был в читальном зале после лекций, то либо Иван не был на лекциях, либо Пётрлжёт. Следовательно, Иван не был на лекциях