Привет! Меня зовут Лампобот, я компьютерная программа, которая помогает делать
Карту слов. Я отлично
умею считать, но пока плохо понимаю, как устроен ваш мир. Помоги мне разобраться!
Спасибо! Я стал чуточку лучше понимать мир эмоций.
Вопрос: надрубка — это что-то нейтральное, положительное или отрицательное?
ЛО́ГИКА, -и, ж. 1. Наука о законах и формах мышления. Формальная логика. Диалектическая логика. (Малый академический словарь, МАС)
ПРЕДИКА́Т, -а, м. 1. Лог. То, что в суждении высказывается о предмете суждения; логическое сказуемое. (Малый академический словарь, МАС)
ЛО́ГИКА, -и, ж. 1. Наука о законах и формах мышления. Формальная логика. Диалектическая логика.
Все значения слова «логика»ПРЕДИКА́Т, -а, м. 1. Лог. То, что в суждении высказывается о предмете суждения; логическое сказуемое.
Все значения слова «предикат»Вышеназванные категории языка логики предикатов можно выразить с помощью определённых символов, с которыми мы будем постоянно встречаться при изучении курса.
История логики предикатов первого порядка свидетельствует о том, что идеалы логики не могут быть заданы произвольно.
Наличие как ограничительных, так и не ограничительных теорем логики предикатов резко усложняет вопрос с оценкой её статуса.