truth-function

  1. İsim doğruluk işlevi: dayandığı önermeler doğru ise kendisi de doğru olan tümce.