for A, B being Element of PL-WFF
for F being Subset of PL-WFF st F |= A & F |= A => B holds
F |= B