March 5th, 2007

Ласочка

Из книги по мат.логике

"Например, конъюнкция (т. е. соединение логическим союзом И) предикатов "x твердый" и "x красный" образует предикат "x твердый и x красный", или, более лаконично, "x твердый и красный"; импликацию "x твердый" => "x красный" можно представить выражением "если x твердый, то он красный"."

Речь о кирпичах, если кто не понял ;) Переделать на силикатный, заменив красный белым, не предлагать - те же свойства должны относиться к яблоку.