Итак, дано: квадрат любого числа есть число положительное. Запишем это математически (скобки для наглядности):
Отрицание первым раскрытие квантора. Существует число, квадрат которого неположителен. Математически:
Отрицание вторым я не знаю, как построить, важно, что приводит это к одному и тому же высказыванию в конце концов. Ну, а истинность установить однозначно нельзя. Если рассматривать это высказывание на множестве натуральных чисел, то оно истинно. Квадрат любого натурального числа положителен, потому что произведение двух положительных чисел положительно.
a = 2
b = 27
Вот так