Abhimanyu Pallavi Sudhir comments on Abhimanyu Pallavi Sudhir’s Shortform

[Abhimanyu Pallavi Sudhir]

conditionalization is not the probabilistic version of implies

P	Q	Q| P	P → Q
T	T	T	T
T	F	F	F
F	T	N/​A	T
F	F	N/​A	T

Resolution logic for conditionalization: Q if P or True

Resolution logic for implies: Q if P or None