Its usually graphed as A --> B, as the formalization of consequence, if A happens, B will surely happen, yet B can happen without A.
Anyway, this thread is ndiverging from the OT. If there is something that theism should run from that is formal logic. They like to take advantage of the ambiguity informal logic gives room to.
Anyway, this thread is ndiverging from the OT. If there is something that theism should run from that is formal logic. They like to take advantage of the ambiguity informal logic gives room to.