Якщо ви повинні були зробити 1024-рядкову таблицю істинності для аргументу, який містить десять букв речення, то ви могли б перевірити, чи є якісь рядки, на яких умови були всі вірні, а висновок був п...Якщо ви повинні були зробити 1024-рядкову таблицю істинності для аргументу, який містить десять букв речення, то ви могли б перевірити, чи є якісь рядки, на яких умови були всі вірні, а висновок був помилковим. Якби ви не бачили такого рядка і за умови, що не допустили помилок в побудові таблиці, то ви б знали, що аргумент був дійсним. Метою доказової системи є показати, що конкретні аргументи є дійсними таким чином, що дозволяє нам зрозуміти міркування, що беруть участь у аргументі.
