Условия истинности сложных суждений: логические основы