You treat "without the laver of regeneration" as something that can be either true or false in and of itself, as if true means it's there and false means it's not. No, you have to operate on the value (T/F) of the proposition in the statement. You have to say: "If it is true/false that justification cannot take place without the laver of regeneration/desire thereof, then..." You have to do this for both propositions to produce a correct result of true or false.
How does that alter it? Let us say that 'If it is true that justification cannot take place without the laver of regeneration', and enter that into the table in place of where I provided 'laver of regeneration' as a necessity for justification, it makes no difference to the table. To recieve justification, you must receive the laver of regeneration. The values are the same. Me treating it as true or false is simply a way to shorten the amount of typing I must do. :wink:
Here is a further breakdown of the rules of logic involved in the negation of a compound statement, as can be shown by this website:
K, we're dealing with Negation a compound statement...
Negating a Conjunction (and) and a Disjunction (or):
K, the compound statement is a disjunction.
We're dealing Negation of a Disjunction! (Bad assumption on my part.)
I still don't see how the aNORb table is illogical. I can give an excellent example that supports it.
The opera house cannot stay open, without government funding, or public support.
Are both required? Not necessarily. It supports the aNORb table perfectly. But if we apply this to your table, we get illogical answers, as either would be sufficient to keep the opera house open.
And the only reason I'm debating on the logic tables is that each portion of the table must be valid if the logic is to be validly used, to my knowledge. If one portion of the table is false, than logically, the statement is not supported under that law, and our interpretation must be wrong.
I think... apparently logic is not my strong suit.