Логика - доступно для всех

  • Увеличить размер шрифта
  • Размер шрифта по умолчанию
  • Уменьшить размер шрифта

Правила подстановки

Онлайн школа английского языка нового поколения. Более 7 лет предоставляет обучение английскому языку по Skype (Скайп) и является лидером данного направления! Основные преимущества:

  • Вводный урок бесплатно;
  • Большое число опытных преподавателей (нейтивов и русскоязычных);
  • Курсы НЕ на определенный срок (месяц, полгода, год), а на конкретное количество занятий (5, 10, 20, 50);
  • Более 10 000 довольных клиентов.
  • Стоимость одного занятия с русскоязычным преподавателем - от 600 рублей, с носителем языка - от 1500 рублей

Узнать детали

Если выводимая формула F содержит некоторую переменную A (обозначим этот факт F(A)) и существует произвольная формула B, то формула F(B), получающаяся заменой всех вхождений A на формулу B, также выводима в исчислении высказываний.  Этот факт формально описывают так:

Этот факт записывают так:

АòВF(А)

Правила подстановки                          F(В).

 

Если F(A)=A, то    АòВА

Правила подстановки                          В.

 

Если F (ùA), то                АòВF(ùА)

Правила подстановки                                  F(ùВ).

Следует еще раз обратить внимание, что формула F должна быть выводимой в исчислении высказываний.

Пример: Пусть даны формулы F=A&C®A и B=C®ùA.

Если выполнить подстановку формулы B в формулу F вместо формулы A, то получим новую формулу F`.

Правила подстановкиА ò C®ùA (A&C®A)

                   (C®ùA)&C®(C®ùA).            

 

 

 

Проверим значения двух формул F и F’по таблицам истинности.

Выделенные столбцы показывают тождество двух формул.

 
A

B

C

1&3

4®1

3®ù1

6&3

7®6

1

2

3

4

5

6

7

8

л

л

л

л

и

и

л

и

л

л

и

л

и

и

и

и

л

и

л

л

и

и

л

и

л

и

и

л

и

и

и

и

и

л

л

л

и

и

л

и

и

л

и

и

и

л

л

и

и

и

л

л

и

и

л

и

и

и

и

и

и

л

л

и