The statement “If P, then Q. Q. P is not ruled out.” is correct logic. But it conveys very little information.
How much information is conveyed, the amount we need to update our prior for P, upon learning Q, may be considerable. It depends on p(Q|P) and p(Q|~P)
The statement “If P, then Q. Q. P is not ruled out.” is correct logic. But it conveys very little information.
How much information is conveyed, the amount we need to update our prior for P, upon learning Q, may be considerable. It depends on p(Q|P) and p(Q|~P)