Matematické Fórum

Jedná se o logicky správný nebo nesprávný úsudek? Když chce řidič předjíždět, bliká a najíždí ke středu vozovky. Nebliká. Řidič nechce předjíždět.
Vyšlo mi, že se jedná o logicky správný úsudek. Nejsem si jen jistý, zda jsem k tomu došel správně. P...chce předjíždět, B...bliká, S...najíždí ke středu
Předpoklady: P⇒(B∧S)
                   ¬B
                  _________
Závěr:         ¬P

Pak už jen sestavím tabulku, u předpokladů mám 1 - hvězdičku (prostě správně) jen u možností 0 pro P, B i S (protože 1 u prvního předpokladu i u negace B). Na stejném řádku je 1 - hvězdička i u negace P (závěr). Z toho usuzuji, že se jedná o logicky správný úsudek.
Je to dobře? Díky.