Согласно правилу подстановки исчисления высказываний, в результате подстановки в формулу α вместо некоторого переменного высказывания B, везде, где оно входит в формулу α, какой-либо формулы β

  • получится выводимая в исчислении высказываний формула только в случае, если формула α и формула β были выводимыми в исчислении высказываний
  • получится выводимая в исчислении высказываний формула, если только подставляемая формула β была выводимой в исчислении высказываний
  • получится выводимая в исчислении высказываний формула, если формула α была выводимой в исчислении высказываний
  • получится выражение, которое уже не будет формулой исчисления высказываний
Для просмотра статистики ответов нужно войти.