Page 289 - Services Selection Board (SSB) Interviews
P. 289
Logical Connectivity 285
COMPOUND STATEMENT
Type 1: “If X then Y and Z”
This statement implies that:
(i) (X → Y and Z)
(ii) (~ Y or/and ~ Z → ~ X)
Type 2: “If X then Y or Z” or “Whenever X then Y or Z”
This statement implies that:
(i) (X → Y or Z)
(ii) (~ Y and ~ Z → ~ X)
(iii) (X and ~Y → Z)
(iv) (X and ~Z → Y)
Type 3: “Unless X, Y and Z” or “ Either X or Y and Z”
This statement implies that:
(i) (~X → Y or Z)
(ii) (~ Y or/and ~ Z → X)
Type 4: “Only if X then Y and Z”
This statement implies that:
(i) (Y and Z → X)
(ii) (~ X → ~ Y and /or ~ Z)
