This is a very short course in logic for those who like to use the Socratic method in leading believers to see the falsity of theism. Even such a small course as this will prove helpful, for it is the very basis, the foundation of, logical discourse.
In your questioning of theists in order to lead them to the realization that theism has no basis in reality always remember, and when possible, utilize the three laws of logic, in establishing the truth or falsity of a thing.
What are the three laws of logic ? They are as follows.
(1) The Law of Identity, which states that something is itself, and not something else. The term being used corresponds and coincides with the thing being described.
(2) The Law of Non-contradiction. This law develops more fully the first law, in that it teaches that the thing being described in the first law cannot be both itself and not itself at the same time and in the same sense.
(3) The Law of the Excluded Middle. This final law says that a thing must be either true or false, it cannot be both. In other words, there is no middle ground. In other words, as an example, a woman cannot be a little pregnant.
Christians have tried to sneak in a fourth law, called the Law of Sufficient Cause. This is not one of the true laws of logic, there are only three, the three enumerated above. The purpose of this spurious fourth law is meant only to justify the existence of God as the sufficient cause of the universe.
So, there you have it. In using your Socratic questioning it would be only helpful to remember these three laws in establishing the truth or falsity of a thing.
In Aristotelian logic much was missing that classical logic has supplied, but classical logic has its own problems of an entirely different sort.
One serious problem is paradoxes of material implication. In classical logic a statement A implies a statement B if either B is true or A is false. This is very far from the semantic interpretation of A implies B in ordinary language. It leads to absurdities such as 2+2=5 implies 2+2 = 4.
This problem appears to be unresolvable in the abstract realm of truth-functional logic. It is only within a context that we say A imples B. In the abstraction of logic the context is stripped away.
That's the logic of religion: God exists therefore anything you want is true.