The Logic of the Trinity: Augustine to Ockham

List of Rules

rules 1.1 If acc(A), then for no B : A ab B 15 1.2 If A in B, then subst(B) 16 1.3 If A ab B, then acc(B) 16 1.4 Not A de A 16 1.5 If A de B and B de C, then A de C 16 1.6 If A in B and B de C, then A in C 17 1.7 If A de B and B in C, then A in C 18 1.8 If A ad B, then B ad A 18 1.9 If A ad B and B ad C, then A = C 18 1.10 If A ad B, then for some C : A ab C 18 2.1 If A ab B (B ≠ A), then acc(B) 40 4.1 If for all C : A est C iff B est C, then A = ess B 65 4.2 If A = def B, then for all C : A ab C iff B ab C 67 4.3 If A est B, then A = ess B 76 5.1 If for all C : A est C iff B est C, then A = B 90 5.2 If A in* B, then quod(B) 92 5.3 If A ad B, then not subst(A) and not acc(A) 92 xi ...