Quando o valor lógico de “q” for F e o de “p → q”, F, então o valor lógico de “p” é obrigatoriamente “F”.

Quando o valor lógico de “q” for F e o de “p ∧ q”, F, então o valor lógico de “p” é obrigatoriamente “V”.

Quando o valor lógico de “q” for F e o de “p V q”, V, então o valor lógico de “p” é obrigatoriamente “F”.

Quando o valor lógico de “q” for V e o de “p ↔ q”, V, então não é possível inferir o valor lógico de “p”.

Quando o valor lógico de “q” for F e o de “p ↔ q”, V, então o valor lógico de “p” é obrigatoriamente “F”.