... argument looks like this: A --( B ) --> C. A necessary assumption will either ... apart. In the diagram, if B --> /C, then how could we have ... an argument that says B --> C? I then look for an ... />
If this is true, then that means you can have A be true (no ...