\documentclass{beamer}
\usepackage[polish,russian]{babel}
\usepackage{beamerthemeWarsaw}
%\documentclass[a4paper,12pt]{article}
%\include{mylatex}

%\usepackage{url}
%\usepackage{latexsym}
%\usepackage{graphicx}
%\usepackage{amsmath}
%\usepackage{mathrsfs}
%\usepackage{float}
\usepackage{textcomp}
%\usepackage[MeX]{polski}
%\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}%[cp1250]{inputenc}
%\usepackage[usenames]{color}
%\usepackage{epstopdf}

%\include{mylatex}
\newcommand{\nc}{\newcommand}
\nc{\bit}{\begin{itemize}}   \nc{\eit}{\end{itemize}}
\nc{\ben}{\begin{enumerate}} \nc{\een}{\end{enumerate}}
\nc{\bce}{\begin{center}}    \nc{\ece}{\end{center}}
\nc{\uwaga}[1]{\emph{\textcolor{green}{#1}}}
\nc{\BEDZIE}[1]{\uwaga{BĘDZIE #1}}
\nc{\zmienione}[1]{\textcolor{blue}{#1}}
\nc{\usunac}[1]{\textcolor{green}{#1}}

\author{Łukasz Dulny}
%\date{15 listopada 2008}
\title{Логический язык}

\begin{document}
\maketitle

\frame {
	\frametitle{Примеры}
		\bit
			\item руслок\\
			шешь та е господин "{} Пупкин \textquotesingle{} ту яйцо ест
			\item pollok\\
			prawdą der je pan "{} Kowalski \textquotesingle{} den jajko żre\\
			szesz ta je pan "{} Kowalski \textquotesingle{} tę jajko żre
			\item deulok\\
			est der is Herr "{} Schmidt \textquotesingle{} den Ei esse
			\item niholok\\
			masu ga desu san "{} Yamada \textquotesingle{} o tamago taberu
			\item espelok\\
			as o es sinjor "{} Hu \textquotesingle{} on ov mangx
			\item quenlok\\
			ya ni na her "{} Elrond \textquotesingle{} nye ohtë mat
			\item magyalok\\
			em ek va úr "{} Jakab \textquotesingle{} et tojás eszik
		\eit
}

\frame {
	\frametitle{Введение}
		\bit
			\item Всё — это функции.
			\item К нульарным функциям можно вообще относиться как к существительным.
			\item Безскобочная нотация (как = 4 + 2 2) — слова можно однозначно подчинить одно другому.
			\item Падежи отмечаются чем-то как предлоги. Первый (мене важный — обычно типичное существительное с определениями) аргумент — это напр. исполнитель второго (обычно глагола).
			\item Значит, определяющее слово предшествует определяемое слово (увидите «я» и «ты» перед «видит», «та я видит»)
		\eit
}

\frame {
	\frametitle{«шешь», «та», «ту»}
		\textbf{шешь та я ту ты видит} — Я тебя вижу.
		\bit
			\item{} «шешь» — 1-арная функция. Аргумент — выражение (обычно глагол), результат — правда или ложь. Начинается ею почти все повествовательные предложения.
			\item{} «та» — 2-арная ф. Результат — выражение. Это заимствование указательного местоимения, но не означает рода ни определенности.
			\item{} «я» — 0-арная ф. Значит `я', или грубо того, который выговаривает предложение.
			\item{} «ту» — 2-арная ф. Означает, что первый аргумент — субъект второго
			\item{} «ты» — 0-арная ф. Значит `ты', или грубо  того, до кого высказывание направляется.
			\item{} «видит» — 0-арная ф. Ответствует скорее всего глаголу, но тоже существительному `видение'.
		\eit
}

\frame {
	\frametitle{Примечания, прилагательное}
		\bit
			\item Буквально: Это правда, что существуют такой я Я, ты Т и действие видения В, что В является, было или будет деланым этом Я, а объектом В является, было или будет Т.
			
			\item Порядок слов в логическом языке — обычно SOV (\textit{subiectus — obiectus — verbum}), но ничто кроме привычек из языков SVO, а даже SOV (латинский, местами в немецком) не стоит на пути, чтобы использовать OSV:\\
			\textbf{шешь ту ты та я видит}\\
			Обычно это не влияет на значение, а может служить подчеркнении какой-нибудь части предложения.

			\item \textbf{Непереходные глаголы} просто не имеют объект в винительном.\\
			\textbf{шешь та собака стоит} — Собака стоит.

			\item \textbf{Прилагательные} ведут себя как непереходные глаголы — буквально значат `быть каким-нибудь'.\\
			\textbf{шешь та хомяк маленький} — Хомяк маленький.
		\eit
}

\frame {
	\frametitle{«тому»}
		\bit
			\item Рядом со звательным и винительным никоторые глаголы требуют \textbf{дательного падежа}.\\
			\textbf{шешь та Карл тому Марта ту кошка дает} — Карл дает Марте кошку.\\
			\textbf{шешь та Рудольф тому Михаил ту хомяк крадет} — Рудольф украл Михаилу хомяка.

			\item Глагол \textbf{не требует} всех объектов и предложения.\\
			\textbf{шешь та кошка видит} — Кошка видит.\\
			\textbf{шешь ту сыр ест} — Сыр естся. (Едят сыр.)\\
			\textbf{шешь тому Карл ту собака дает} — Собака дается Карлу. (Карл получает собаку. — \textit{отдельный глагол, который значит `получить', ненужный})\\
			\textbf{шешь тому Иосиф крадет} — Крадут, крали или будут красть (вероятно доделали — украли) что-то Иосифу. (Ограбили Иосифа.)
		\eit
}

\frame {
	\frametitle{«таэн»...}
		\bit
			\item Роль \textbf{относительных местоимений} играют предлоги (в этом числе "{}местоимения"{}) с надданным «-эн».\\
			\textbf{шешь та ты ту таэн сидит собака видит} — Ты видишь собаку, которая сидит. (\textit{Напоминаю, что это может тоже значить `ты видел' или `ты будешь видеть'})

			\item «таэн», «туэн», «томуэн» это бинарные функции. Обычно первое выражение — глагол (тоже прилагательное), а второе — имя существительное.

			\item Сейчас видно, что значит, что слово определяющее предшествует определяемое. Этим способом относимся тоже к прилагательным.\\
			\textbf{шешь та мы ту таэн зеленый дерево видит} — Мы видим дерево, которое зеленое (Мы видим зеленое дерево.)\\
			\textbf{шешь фиктивно та хомяк ту томуэн та собака ту кошка дает мышь видит} — Хомяк "{}фиктивно"{} видит мышь, которой собака дает кошку
		\eit
}

\frame {
	\frametitle{«шешь» значит `существует'}
		Я напоминаю, что «шешь» значит `существует'.\\
		\textbf{шешь мышь} — Существует, существовала или будет существовать мышь. (Мышь есть (тут). О, мышь! Мышь появилась в поле зрения.)\\
		\textbf{шешь таэн бежит собака} — Существует собака, которая бежит. (\textit{то есть, так или иначе:} Собака бежит.)\\
		\textbf{шешь фиктивно таэн ту томуэн та собака ту кошка дает мышь видит хомяк} — Существует "{}фиктивно"{} хомяк, который видит мышь, которую собака дает кошку.\\
		(«фиктивно» — функция унарная, которой пользуемся, чтобы не говорить неправду)
}

\frame {
	\frametitle{Родительный падеж — «того», «тома»}
		Сейчас интересное явление — оттенки родительного падежа.

		В индоевропейских языках обычно только один родительный падеж (\textit{genitivus}), который иногда заменяет тоже звательный и винительный (варение супа, чтение Карла). В логическом языке есть целый ряд:
		\bit
			\item{} «того» означает собственность:\\
				\textbf{шешь та того Иван карандаш зеленый} — Карандаш Ивана зеленый.
			\item{} «тома» означает бытие кем-нибудь для кого-нибудь:\\
				\textbf{шешь та тома я мама ту я видит} — Моя мама мене видит.
		\eit
}

\frame {
	\frametitle{Родительный падеж — «зо»}
		\bit
			\item{} «зо» связано с частями. Соответствует польскому "{}z"{}, когда оно взаимозаменяем с "{}o"{}, напр. \textbf{зо таэн тонкий лист книга} — `книга с тонкими листами'. Поэтому «зон» означает родительный падеж, когда идет о бытие частью:\\
				\textbf{шешь та Карл ту зон Марк рука видит} — Карл видит руку Марка.\\
				\textbf{шешь зо туэн та Карл видит рука Марк} — Существует Марк с рукой, которую видит Карл.
			\item Использование неправильной формы родительного дает конструкции со странным значением: «того я мама» — `мать, которая является моей собственностью', может быть `репродуктивная сука из моего разведения', «того стол нога» — `нога (ноги), которая является собственностью стола', при условии, что стол может иметь право собственности .
		\eit
}

\frame {
	\frametitle{Родительный падеж — «овый», «ов», «та»}
		\bit
			\item Но есть унарная функция «овый», которая создает прилагательные, напр. «овый стол» — столовый, «овый собака» — собачий. «таэн овый» можно сократить до «ов» (бинарная функция). И именно «ов» может заменить родительный, когда ничто не подходит:\\
				\textbf{шешь та погода овый собака} — Погода собачья.\\
				\textbf{шешь ту ов собака кость бросает} — Кость собаки бросается.
			\item К глаголу можно относиться как к обычным существительным, а слова, которые этому глаголу подчиняются, не изменяют тогда форму:\\
				\textbf{шешь та Катя ту та мышь ту сыр ест видит} — Катя видит еду сыра мышью.
		\eit
}

\frame {
	\frametitle{«в», «от», «до»}
		\bit
			\item Типичные предлоги — бинарные функции. «в» значит `в чем-нибудь' в значение пространственном или временном. Грамматические времена вообще означаются словами «раньше»/«сейчас»/«потом». «здейчас» значит `здесь и сейчас'.\\
			\textbf{шешь в раньше та я маленький} — Я был в прошлом маленький.\\
			\textbf{шешь в сейчас та снег лежит} — Сейчас лежит снег.\\
			\textbf{шешь в потом в горы я} — Я буду в будущем в горах.

			\item Бинарные функции «от» и «до» означают `от' и `до' для путешествия и т.п. (тоже напр. `в' с винительном)\\
			\textbf{шешь от Щецин до Конин та Михаил едет} — Михаил едет (ехал, будет ехать) от Щецина до Конина.
		\eit
}

\frame {
	\frametitle{«над», «на», «возле», «надэн»...}
		\bit
			\item Предлоги означающие место — унарные функции. Они пользуются рядом с «в», «от» и «до».\\			
				\textbf{шешь та птица до над лес летит} — Птица летит над лес.\\
				\textbf{шешь в на стол книга} — На столе книга.
			\item{} «-эн» изменяет их на противоположные.\\			
				\textbf{шешь та лиса од передэн дерево выскакивает} — Лиса выскочила из-за дерева.
			\item{} «возле» часто соединяется со «здейчас», или `здесь и сейчас'.\\			
				\textbf{шешь в возле здейчас та книга лежит} — Когда-то здесь лежит книга.
		\eit
}

\frame {
	\frametitle{«сбне», «ли», «пусть»}
		\bit
			\item{} «сбне» означает противоположное\\
				\textbf{шешь та хомяк сбне большой} — Хомяк маленький (небольшой).
			\item Повествовательные предложения начинаются с «шешь», повелительные предложения с «пусть», вопросы о решении с «ли» (унарные функции), а другие вопросы просто используют «что» (нульарное). \\
				\textbf{пусть та ты пишет} — Пиши.\\
				\textbf{пусть та ты здоровый} — Будь здоровый.\\
				\textbf{ли та ты ту хомяк в вчера видит} — Видел ты ли вчера хомяка?\\
				\textbf{шешь ту что та ты в сейчас видит} — Что ты сейчас видишь?
		\eit
}

\frame {
	\frametitle{Подведение итогов}
		\bit
			\item шешь, пусть, ли...
			\item та, ту, тому...
			\item того, зо, тома...
			\item в, от, до...
			\item раньше, сейчас, потом, здейчас...
			\item над, на, перед, возле...
			\item таэн..., надэн..., сбне...
		\eit
}

\end{document}

