Импликация

Импликация (Бетран Рассел: «Словарь разума, материи и морали»)

Последней возьмём импликацию, то есть «p влечёт q» или «если p, то q». Это нужно понимать в самом широком смысле, который позволит нам логически вывести истинность q, если известна истинность p. Итак, мы интерпретируем импликацию как значение суждения: «Если р не является ложным, то q является истинным», или «либо р является ложным, либо q является истинным». (То обстоятельство, что «влечёт» допускает другие значения, нас не интересует; мы выбираем удобное для нас значение.) Другими словами; «p влечёт q» должно означать «не-p или q»: его истинностное значение должно быть истиной, если р ложно, а также если q истинно; и должно быть ложью, если р истинно и q ложно.

Смотрите также:

Цитаты из следующих работ Б. Рассела: