1) from A->B and ㄱB, infer ㄱA (in fitch format)
2) from A->B, infer A->(B^C)
3) from A<->B and B<->C, infer A<->C
plz help