p(┌¬a┐)<1−c.p(┌b∨¬a┐)≤p(┌b┐)+p(┌¬a┐)<p(┌b┐)+1−c.
p(┌¬a┐)<1−c.
p(┌b∨¬a┐)≤p(┌b┐)+p(┌¬a┐)<p(┌b┐)+1−c.
Are you deriving these two points only using the axioms provided in the “Setup” section, or are you assuming all four axioms stated afterward here?
Ah, good point. I was using some other axioms. I’ll clarify.
Are you deriving these two points only using the axioms provided in the “Setup” section, or are you assuming all four axioms stated afterward here?
Ah, good point. I was using some other axioms. I’ll clarify.