Initial evidence: | Pr(P|A) high | Pr(¬P|¬A) high |
equivalently: | (1a) Pr(¬P|A) low | (1b) Pr(P|¬A) low |
Further test: | (2a) Pr(¬P|¬T) high | (2b) Pr(P|T) high |
Trumping: | (3a) Pr(¬P|{¬T&A}) high | (3b) Pr(P|{T&¬A}) high |
Initial evidence: | Pr(P|A) high | Pr(¬P|¬A) high |
equivalently: | (1a) Pr(¬P|A) low | (1b) Pr(P|¬A) low |
Further test: | (2a) Pr(¬P|¬T) high | (2b) Pr(P|T) high |
Trumping: | (3a) Pr(¬P|{¬T&A}) high | (3b) Pr(P|{T&¬A}) high |