Предыдущая страница реферата | 1  2  3  4  5  6  7  8 | Следующая страница реферата

Замечание. Введение обозначений для высказываний порождает двусмысленность в использовании знака равенства, поскольку сами высказывания являются некоторыми обозначениями, а именно обозначениями истины или лжи. При наличии иерархии обозначений такую двусмысленность обычно снимают соглашением о том, что равенство понимается как равенство между исходными объектами. Т. о. равенство p=q означает, что р и q имеют одинаковые истинностные значения т. е. являются равносильными.

Пример. Каждый кулик свое болото хвалит.

Универсум - множество куликов и болот g[pic](x) - х есть кулик g[pic](x) - х есть болото g[pic](x, у) - х хвалит у g[pic](x, у) - у свое для х

((1((((g[pic]((1))((g[pic]((2)))((g[pic]((1, (2)))((g[pic]((1, (2)))

Пример. Сумма квадратов двух положительных чисел меньше квадрата их суммы.

Универсум - множество положительных чисел. f[pic](x) - квадрат числа x f[pic](x, y) - сумма чисел x, y g[pic](x, y) – x меньше y

g[pic](f[pic](f[pic]((1), f[pic]((2)), f[pic](f[pic]((1, (2)))

Можно записать по-другому: универсум - множество действительных чисел f[pic] - число 0

((g[pic](f[pic], (1))((g[pic](f[pic], (2)))((g[pic](f[pic](f[pic]((1), f[pic]((2)), f[pic](f[pic]((1, (2)))

Пример. Только я один знаю об этом.

Универсум – множество людей f[pic] - я g[pic](x) - x знает об этом g[pic](x, y) - x идентичен y

(g[pic](f[pic]))((((1((((g[pic]((1, f[pic])))((((g[pic]((1))))

Никто не знает об этом: ((1(((g[pic]((1)))

Все знают об этом: ((1(g[pic]((1))

Кто-нибудь знает об этом: ((1(g[pic]((1))

Пример. Здесь холодно, но не сыро: (g[pic])((((g[pic]))

Пример. Ни p ни q: (p и (q

Пример. Если p то q иначе r: (p(q)(((p(r)

Пример. p либо q: p((q((p(q

Пример. p поэтому q: p((p(q)

Пример. Чай без сахара не сладкий и не вкусный. g[pic] - чай содержит сахар g[pic] - чай сладкий g[pic] - чай вкусный

(((g[pic]))((((( g[pic]))(((( g[pic])))

Возможен другой перевод:

((((g[pic]))(((( g[pic])))((((( g[pic]))((((( g[pic])))

Пример. Его отец слесарь, а все братья токари.

Рекомендуем скачать другие рефераты по теме: реферат власть, вид дипломной работы.





Предыдущая страница реферата | 1  2  3  4  5  6  7  8 | Следующая страница реферата