Nuprl - formula_falsification

formula_falsification

Nuprl Section: formula_falsification

Selected Objects
def formula_falsifiable a | F == (F under a) = 3

THM sq_stable__formula_falsifiable a:Assignment, F:Formula. SqStable(a | F)

THM decidable__formula_falsifiable a:Assignment, f:Formula. Dec(a | f)

`def`	`formula_falsifiable`	`a \| F == (F under a) = 3`
`THM`	`sq_stable__formula_falsifiable`	`a:Assignment, F:Formula. SqStable(a \| F)`
`THM`	`decidable__formula_falsifiable`	`a:Assignment, f:Formula. Dec(a \| f)`