Под аргументом будем понимать утверждение того, что некоторое высказывание (заключение) следует из других высказываний (посылок).
Одной из задач логики является проверка правильности аргументов.
Аргумент называется правильным, если конъюнкция посылок связана с заключением отношением "следует".
A / B / C ... "следует" D ,
где A, B, C - посылки (составные высказывания);
D - заключение (составное высказывание).
Практически проверка правильности аргумента выполняется следующим образом: построить таблицы истинности для каждой посылки и заключения; для правильного аргумента каждой строке истинности посылок(строка, в которой каждая посылка имеет значение "1") должна соответствовать истинность заключения.
Примечание: если набор посылок таков, что нет ни одной строки, в которой все посылки истинны, то аргумент с любым заключением будет неправильным.