Елементи логіки
Елементи логіки
Тип документу: Реферат
Сторінок: 6
Предмет: Логика
Автор: Олексій
Розмір: 28.8
Скачувань: 2312
Аналогічно речення вигляду " При будь-якому значенні x і при будь-якому значенні y і при будь-якому значенні z істинно A(x, y, z)" можна позначити виразом
(x (y (z A(x, y, z).
І так далі. Розглянемо, наприклад, твердження великої теореми Ферма:
Рівняння zn=xn+yn, де n – ціле число, більше 2, не має розв'язків у цілих додатних числах.
Одним із можливих записів цього твердження є такий:
(x (y (z (n ((n>2) ( (zn(xn+yn)).
(x (y (z A(x, y, z).
І так далі. Розглянемо, наприклад, твердження великої теореми Ферма:
Рівняння zn=xn+yn, де n – ціле число, більше 2, не має розв'язків у цілих додатних числах.
Одним із можливих записів цього твердження є такий:
(x (y (z (n ((n>2) ( (zn(xn+yn)).