forum.uni-sofia.bg

Виждам, че редовно пишете по някой афоризъм, така че хайде споделяйте!

Истинското богатство е това, което представляваш, а не онова, което притежаваш

"Математикът е машина за превръщане на кафе в теореми."

"Който обича - той не забравя...
Който забравя - той не обича..."

Очевидно може да се мине само с един от двата реда. А именно, ако О(x) значи, че x обича, З(x) - че x забравя (т.е. О и З са едноместни предикатни символи и x е променлива при някаква дадена сигантура), то имаме
forallx(O(x)->~З(x)) |=| forallx(~~З(x)->~O(x)) |=| forallx(З(x)->~O(x)), където forallx означава квантор за общност относно x.

А и освен това първият ред противоречи с последния. Ама айде стига формализъм...

razor написа:А и освен това първият ред противоречи с последния. Ама айде стига формализъм...

Не виждам противоречие, ма щом си казАл...
Втория ти пост няма да коментирам => нищо не рзбрах, куца ми математиката... МНОГО

Всяка една жена е ку*ва, с изключение майка ми и сестра ми!
Но дори и те са жени...

Амин!

Моят любимец, Тери Пратчет:

Give a man a fire and he's warm for the day. But set fire to him and he's warm for the rest of his life.

Real stupidity beats artificial intelligence every time.

Light thinks it travels faster than anything but it is wrong. No matter how fast light travels, it finds the darkness has always got there first, and is waiting for it.

You can't trample infidels when you're a tortoise. I mean, all you could do is give them a meaningful look.

I reject the reality and substitute my own