Реферат: Краткая методичка по логике

g(f(f(c₁ ), f(c₂ )), f(f(c₁ , c₂ )))

Можно записать по-другому:

универсум - множество действительных чисел

f - число 0

((g(f, c₁ ))Ù(g(f, c₂ )))Þ(g(f(f(c₁ ), f(c₂ )), f(f(c₁ , c₂ )))

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

Универсум – множество людей

f - я

g(x) - x знает об этом

g(x, y) - x идентичен y

(g(f))Ù("c₁ ((Ø(g(c₁ , f)))Þ(Ø(g(c₁ ))))

Никто не знает об этом: "c₁ (Ø(g(c₁ )))

Все знают об этом: "c₁ (g(c₁ ))

Кто-нибудь знает об этом: $c₁ (g(c₁ ))

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

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

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

Пример. p либо q: pÙØqÚØpÙq

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

Пример. Чай без сахара не сладкий и не вкусный.

g - чай содержит сахар

g - чай сладкий

g - чай вкусный

(Ø(g))Þ((Ø( g))Ù(Ø( g)))

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

((Ø(g))Þ(Ø( g)))Ù((Ø( g))Þ((Ø( g)))

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

Универсум – множество мужчин

f - он