TRAF2 and early-onset autosomal dominant Alzheimer disease: Verification of temporal logic formulas in Alzheimer's disease indicates that, overexpressed/mutated TRAF2, NFκB or ASK1 in the cell will promote the synthesis of Amyloid-β (Aβ), leading to the pathogenesis of AD in the future.