coats to my remark at the start: In the statement of a :me of inference, the simple statements and so out miey stand for communal stadence. "Tay shud for" is less me as say in "may cod with". We've been doing mis without explicit mention. an example. The Disjunctive Sylkagen Lutely says I PA :ByQI , Q so you have 14 A Drond (AA D) VC me promise. Here's how you'd coply the simple inlareau he Disjunctive Syllogism tamology: 1. IAAD; 2. IAADVO Premise IA ADAMAADY CY Constructing n conjunction {1. 3) -1AADAMAADVO -C Substitution (Dizi.nelive Sylnginm) 5. 0 Moda: ponce: 13. 1! action. and Snadication. lu hime 1. I need the Disjunctive Syllogism mamolog ( PNVQ1 :Q AND for P rad C tor Q. Iwatage of this approach is that you have only five simp.e mics of inference. The disadvantage: prod towbin la kruger. Wih Youmeet I'll are, Dianne wo Sylkwint is a tu ul inferi; oof in: 1. HAADY Promise