Creating Tableaux By Hand
Creating Tableaux By Hand. To show: TD, TD=>BP, BP=>~BD |= ~BD. 1. Start a tree with wfps labeled T: or F:. T:TD, T:TD=>BP, T:BP=>~BD, F:~BD. T:BD. 2. Add nodes by reducing non-atomic wfps acc. to Wang rules. T:BP. F:TD. X. T:~BD. F:BP. 3. Close any branch that contains T:p and F:p. X.
103 views • 2 slides