Lewis and Langford's strict implication shows that necessary truths are entailed by any proposition,...