Упростив предикатную формулу, определить тип предиката

@SV_RaVeN · Регистрация: 27.06.2016

Author24 — интернет-сервис помощи студентам

Упростив предикатную формулу, определить тип (тождественно истинный, тождественно ложный, выполнимый, опровержимый) предиката Эx((x+y>z)->(x<y)) , заданного на множестве целых чисел. Построить отрицание этого предиката, не содержащее знака отрицания. Какие переменные являются в нем свободными, а какие - связанными? Если это n - местный предикат, то чему равно n?

@Ellipsoid · 27.06.2016, 19:35

Выразите импликацию через дизъюнкцию и отрицание, вспомните, что означает выражение "не больше".

@SV_RaVeN 0 / 0 / 0 Регистрация: 27.06.2016 Сообщений: 2
		1
	Упростив предикатную формулу, определить тип предиката 27.06.2016, 02:21. Показов 967. Ответов 1 Метки нет (Все метки) Упростив предикатную формулу, определить тип (тождественно истинный, тождественно ложный, выполнимый, опровержимый) предиката Эx((x+y>z)->(x<y)) , заданного на множестве целых чисел. Построить отрицание этого предиката, не содержащее знака отрицания. Какие переменные являются в нем свободными, а какие - связанными? Если это n - местный предикат, то чему равно n? 0

@Ellipsoid 1891 / 1472 / 173 Регистрация: 16.06.2012 Сообщений: 3,342
	27.06.2016, 19:35	2
	Выразите импликацию через дизъюнкцию и отрицание, вспомните, что означает выражение "не больше". 0