Проверить умозаключение табличным методом:
Если багаж слишком громоздкий, то за его провоз в общественном транспорте взимается штраф, точно так же, как если багаж пачкающий. Значит, если штраф за провоз багажа не взимается, то багаж не является ни пачкающим, ни слишком громоздким.
Определить, в каких логических отношениях находятся высказывания:
Свидетель не знает потерпевшего, но если даёт показания, то они являются правдивыми. Либо свидетель знает потерпевшего и не даёт показаний, либо даёт показания, но они не являются правдивыми.
Силлогизм
Каждое утро в этом июле было дождливым, но ни одно утро июля не было холодным. Значит, всякое дождливое утро не было холодным.