Установить вид дедуктивного умозаключения и его правильность

Данное умозаключение является условно-разделительным (лемматическим), поскольку одна посылка в нем является условным суждением, а другая — разделительным. Так как разделительное суждение содержит две альтернативы (а не три или более), то это дилемма (а не трилемма и т.д.). Условная посылка содержит два основания, из которых вытекает одно следствие («гражданин может быть объявлен судом умершим») . Разделительная посылка утверждает оба возможных основания, заключение утверждает следствие. Таким образом, в задании приведена простая конструктивная дилемма.
Выделим суждения в составе дилеммы, обозначив их пропозициональными символами.
• Условная посылка: 1) Если в месте постоянного места жительства гражданина нет сведений о его пребывании в течение трех лет (p), то он может быть объявлен судом умершим (r); и 2) если гражданин пропал без вести при обстоятельствах, угрожающих его жизни, т.е