Ну, я буду писать высказывание словами, а потом математически, думаю, это будет тебе полезно и понять. Итак, дано: квадрат любого числа есть число положительное. Запишем это математически (скобки для наглядности):
Отрицание первым раскрытие квантора. Существует число, квадрат которого неположителен. Математически:
Отрицание вторым я не знаю, как построить, важно, что приводит это к одному и тому же высказыванию в конце концов. Ну, а истинность установить однозначно нельзя. Если рассматривать это высказывание на множестве натуральных чисел, то оно истинно. Квадрат любого натурального числа положителен, потому что произведение двух положительных чисел положительно. А если, например, над целыми числами - то оно ложно. Контрпример: x = 0. Квадрат такого числа не является числом положительным. Если же рассматривать это высказывание над комплексными числами, найдутся и другие контрпримеры, например,
Во 2 ёмкости х л кваса, тогда в 1 ёмкости его будет (х+4) л .
Переливаем из 1 ёмкости 13 л, тогда в 1 ёмкости останется
(х+4-13)=(х-9) л кваса, а во второй ёмкости станет (х+13) л кваса.
Причём в 2 раза больше, чем осталось в 1 ёмкости - это 2(х-9) .
Составим уравнение: 2(х-9)=х+13
2х-18=х+13
2х-х=13+18
х=31 во 2 ёмкости
х+4=35 в 1 ёмкости
Итак, дано: квадрат любого числа есть число положительное. Запишем это математически (скобки для наглядности):
Отрицание первым раскрытие квантора. Существует число, квадрат которого неположителен. Математически:
Отрицание вторым я не знаю, как построить, важно, что приводит это к одному и тому же высказыванию в конце концов.
Ну, а истинность установить однозначно нельзя. Если рассматривать это высказывание на множестве натуральных чисел, то оно истинно. Квадрат любого натурального числа положителен, потому что произведение двух положительных чисел положительно.
А если, например, над целыми числами - то оно ложно. Контрпример: x = 0. Квадрат такого числа не является числом положительным.
Если же рассматривать это высказывание над комплексными числами, найдутся и другие контрпримеры, например,