title: Understanding Truth Proofs in relation to proof tables
body: <p>I have been doing discrete structures and learning truth proofs and the sort (ETC. ((A→B)∨B)→C, (¬p→q)⊕¬q, etc, can know how those work and how to arrive at an answer, however recently things similar to</p>
  
  <pre><code>A→B 
  B→C     A∨¬B
  B       ¬A
  ____    ____
  A→C     ????
  ??? 
  </code></pre>
  
  <p>have appeared and I cannot find any information on that format or how to solve it on google, nor was I given any information about it and how to solve it, as such It is new and I do not know how to approach it. The closest I found to a similar source was google books on theories of computation and automata and algebra textbooks which seemed to reference them as matrices. I tried doing each truth table separate but could not find a pattern to link it.</p>
  
  <p>Sources or examples as for how to deal with this sort of proof are appreciated. I have never come across this layout before, I very well may be something I know, just in a new format. Thanks for any relevant help in advance.</p>