I am having trouble with some homework on natural deductions. I just don't know how to approach the problems. For example, one problem is to show that irreflexivity and transitivity imply asymmetry. Any strategies on how to reason the deductions would be great (the rules are simple enough, knowing how to decide how to do the problem is where I have trouble). Thanks, and apologies if this belongs in the HW forum. I only saw physics problems there so I thought I'd get a better response here. Thanks!