An elementary introduction to formal logic, particularly intended for linguists and others intere...