Tableaux: definition We define tableaux as binary trees labeled with signed sentence( of Lc) called entries by induction Base step All atomic tableaux are tableaux
Tableaux: definition We define tableaux as binary trees labeled with signed sentence( of LC) called entries by induction. Base step: All atomic tableaux are tableaux. In cases 7b and 8a, c is new simply means that c is one of the constants ci added on to L to get LC(which therefore does not appear in φ ). Yi Li (Fudan University) Discrete Mathematics May 28, 2013 9 / 24
Tableaux: definition We define tableaux as binary trees labeled with signed sentence( of Lc) called entries by induction Base step All atomic tableaux are tableaux o In cases 7b and 8a, c is new simply means that c is one of the constants c; added on to l to get Cc(which therefore does not appear in p)
Tableaux: definition We define tableaux as binary trees labeled with signed sentence( of LC) called entries by induction. Base step: All atomic tableaux are tableaux. In cases 7b and 8a, c is new simply means that c is one of the constants ci added on to L to get LC(which therefore does not appear in φ ). Yi Li (Fudan University) Discrete Mathematics May 28, 2013 9 / 24