logicky dosledok