В логике аргумент действителен тогда и только тогда, когда он принимает форму, которая делает невозможным, чтобы предпосылки были истинными, а заключение, тем не менее, ложным. Не требуется, чтобы у действительного аргумента были предпосылки, которые на самом деле верны, но должны быть предпосылки, которые, если бы они были истинными, гарантировали бы истинность…
