PPT Slide

The example:  IF the task to accomplish is T1

THEN accomplish T11,…T1n

is correct because E holds.

IF the task to accomplish is T1

and E holds

THEN accomplish T11,…T1n

IF the task to accomplish is T1g

PUB: Eg holds

PLB: Es holds

THEN accomplish T11g…T1ng

IF the task to accomplish is T1

THEN accomplish T11,…T1n

IF the task to accomplish is T1g

Eh holds

THEN accomplish T11g…T1ng

Previous slide

Next slide

Back to first slide

View graphic version