point
[1] true evidence => true logic. then how we search true evidence ?
(1) evidences & true logic => true evidence (2) true evidence => true evidence (3) true logic => true evidence (4) true evidence & not true logic => not true evidence
[2] true evidence is sometime cirtificate with other evidence.
(1) evidence A + evidence C + evidence E= 100%,
& evidence A => evidence Q
& evidence C => evidence Q
& evidence E => evidence Q
then evidence Q is true evidence
(2) evidence 1 + evidence 2 + evidence 3 + evidence 4 = 100%,
& when evidence 2 is true 0 %
& when evidence 3 is true 0 &
& when evidence 4 is true 0 %
=> then evidence 1 is true 100 %
(3) logic p + logic s = 100 %
& when logic p => evidence P
& when logic s => evidence S
=> then logic p + logic s => true evidence
[3] true evidence is sometime cirtificate with other logic.
(1) true evidence G & true logic T => true evidence Y.
(2) true logic V & evidence W => true evidence
(3) to get true evidence, certification should be true
= logic should be true, in certification.
