Search Results
7/26/2025, 5:31:00 PM
Typo. Meant "not if A then B".
A, ~B (by assumption)
~(A -> B)
~(~A | B)
~(~A)
A
T
A, ~B (by assumption)
~(A -> B)
~(~A | B)
~(~A)
A
T
7/26/2025, 5:31:00 PM
Typo. Meant "not if A then B".
A, ~B (by assumption)
~(A -> B)
~(~A | B)
~(~A)
A
T
A, ~B (by assumption)
~(A -> B)
~(~A | B)
~(~A)
A
T
Page 1