2. f: Formula
3. a': Assignment
4. a' extends a
(a |= f 
a' |= f ) & (a |
f a' | f) 
a:Assignment, f:Formula, a':Assignment. a' extends a (a |= f a' |= f ) & (a | f a' | f)| 1 | 1. a: Assignment 2. f: Formula 3. a': Assignment 4. a' extends a (a |= f a' |= f ) & (a | f a' | f) |
About:
 |  |  |