Задача по математической логике 1. Записать рассуждение в логической символике, обосновать выбор логических связок.
2. Проверить правильность рассуждения методом Куайна.
3. Проверить правильность рассуждения методом редукции.
4. Проверить правильность рассуждения методом резолюций.

Франция выйдет на чемпионат мира по футболу, только если Германия не попадет на чемпионат мира. Бразилия выйдет на чемпионат мира, если Франция не попадет на чемпионат мира. Бразилия не попала на чемпионат мира. Значит, Германия не выйдет на чемпионат мира по футболу.

Данная программа выведет 64.

Вначале задаётся переменная под названием "a", которой даётся значение 4. Дальше запускается цикл for для переменной "i" в радиусе 4. Данную переменную не нужно создавать отдельно, так как она будет использоваться только в цикле и изменяться в нём. В методе range указан аргумент числа и цикл будет при срабатывании присваивать переменной "i" число, которое идёт по порядку до 4, и пока переменная "i" не станет равна числу, указанному в аргумента метода range, цикл будет повторять действия. Цикл сработает 3 раза, так как в аргументе метода range указано число 4, и если переменная "i" будет равна 4, то он перестанет работать. В самом цикле написана инструкция, в которой к переменной "a" прибавляется она сама. Иными словами мы будем возводить её в квадрат. Так можно понять, что ответом будет возведение числа 4 в 3-ю степень, что равняется 64.

52431

Объяснение:

write - вывод на экран без перевода на новую строку

А[1] = 5

А[2] = 4

А[3] = 1

А[4] = 3

А[5] = 2

write (A[1]) - выводим значение 1 элемента

А[1] = 5

write (A[A[1]]) - выводим значение 5 элемента

А[A[1]] = A[5] = 2

как в математике, если скобки внутри скобок начинаем с внутренних скобок, берётся значение А[1] = 5 и подставляется во внешние скобки A[5] = 2

write (A[A[A[1]]]) - выводим значение 2 элемента

A[A[A[1]]] = A[A[5]] = A[2] = 4

write (A[А[A[А[1) - выводим значение 4 элемента

A[А[A[А[1 = A[А[A[5]]] = A[А[2]] = A[4] = 3

write (A[А[А[А[А[1) - выводим значение 3 элемента

A[А[А[А[А[1 = A[А[А[А[5 = A[А[А[2]]] = A[А[4]] = A[3] = 1