Tableaux'method for S4
[]p => p
The formula ([]p => p) is valid Proof that its negation is unsatisfiable (1) 1: -([]p => p) (2) 1: []p from 1 (3) 1: -p from 1 (4) 1: p from 2 (5) 1: F from 3 and 4
examples
|
rules
|
syntax
|
info
|
home
|
download
Last Modified : 17-Dec-2021