Помогите решить логику!

[stacy873]

Помогите пожалуйста!Средствами таблично построенной логики высказываний установите,является ли правильным следующее рассуждение:
"Если гражданин Иванов И.И. является участником расследуемого преступления, то он знал потерпевшего. Гражданин Иванов И.И. знал потерпевшего по учебе в институте. Следовательно, гражданин Иванов И.И. является участником расследуемого преступления"
Никак не могу сообразить даже какая формула будет