 By replacement is meant an operation that replaces one sentence by another in a belief set. It is an operation with two variables, such that \([p/q]\) replaces \(p\) by \(q\). Hence, \(K[p/q]\) is a belief set that contains \(q\) but not \(p\).