Краткая методичка по логике
Категория реферата: Рефераты по математике
Теги реферата: эффективность реферат, тезис
Добавил(а) на сайт: Pirozhkov.
Предыдущая страница реферата | 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 | Следующая страница реферата