%%%%%%%%%%%%Makra pro fuzzy logiku, 29.5.2003 
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\setlength{\textwidth}{180mm}
%\setlength{\textheight}{262mm}
%\setlength{\topmargin}{-15mm}
%\setlength{\oddsidemargin}{-5mm}

\exhyphenpenalty=10000

%%%%%%%%%% Matematické zkratky %%%%%%%%%%%%%%%%%
\def\0{{\bf0}}
\def\1{{\bf1}}
\def\Vdashv{\models\!\!\!|} % symmetric \models
\def\implies{\Rightarrow}

\def\mem#1{\mu_{#1}}    % membership function
\def\memb#1{\mu_{#1}}   % membership function (brackets needed)
\let\subs=\subseteq
\def\A{\ensuremath{\mathcal{A}}}
\def\B{\ensuremath{\mathcal{B}}}
%!\def\L{\mathcal{L}}
\def\P{\mathcal{P}}
\def\kde{:\;}
\def\je{:\enspace}
\def\dop#1{\overline{#1}}
%\def\fcomp#1#2{\overline{#2\,}^#1}
\let\AND=\wedge \let\OR=\vee \let\NOT=\neg
\let\IMPL=\rightarrow  \let\EQ=\leftrightarrow
\def\carky{\thinmuskip=\thickmuskip}
\def\lint{[}
\def\rint{]}
\def\lint{\langle}
\def\rint{\rangle}
\def\ui{\ensuremath{\lint 0,1\rint }}
\def\zo{\{0,1\}}
\def\fu{fuzzy množin}
\def\F{\mathcal{F}}
\def\supp{\mathop{\rm Supp}}
\def\core{\mathop{\rm core}}
\def\R{\ensuremath{\mathbb{R}}} \def\N{\ensuremath{\mathbb{N}}} \def\Z{\ensuremath{\mathbb{Z}}}
\def\indexf#1{\if.#1{\vbox to 2pt{\kern-2pt\hbox{.}\vss}}\else
   {\vbox to0pt{\vss\hbox{$\scriptscriptstyle\mathrm#1$}\kern1.7pt}}\fi}
\def\indexF#1{\if.#1{\vbox to 2pt{\kern-2pt\hbox{.}\vss}}\else
   {\vbox to0pt{\vss\hbox{$\scriptscriptstyle\mathrm#1$}\kern-7pt}}\fi}
\def\indexu#1{\if.#1{\textstyle.}\else
   {\vbox{\hbox{$\scriptscriptstyle\rm#1$}\kern-1pt}}\fi}
\def\negf#1{\mathop{\NOT}\limits_\indexf{#1}}
\def\notf#1{\mathop{\NOT}\limits_\indexf{#1}}
\def\capf#1{\mathbin{\mathop{\cap}\limits_\indexf{#1}}}
\def\capF#1{\mathbin{\mathop{\cap}\limits_\indexF{F_#1}}}
\def\cupf#1{\mathbin{\mathop{\cup}\limits^\indexu{#1}}}
\def\orf#1{\mathbin{\mathop{\OR}\limits^\indexu{#1}}}
\def\andf#1{\mathbin{\mathop{\AND}\limits_\indexf{#1}}}
\def\circf#1{\mathbin{\mathop{\circ}\limits_\indexf{#1}}}
\def\bigwedgedot{\mathop{\vbox{\hbox
   {$\bigwedge\limits_\indexf{.}$}\kern-0.6em}}\nolimits}
\def\bigwedgeluk{\mathop{\vbox{\hbox
   {$\displaystyle\bigwedge_\indexf{L}$}\kern-0.6em}}\nolimits}
\def\bigwedgeS{\mathop{\vbox{\hbox
   {$\displaystyle\bigwedge_\indexf{S}$}\kern-0.6em}}\nolimits}
\def\bigveedot{\mathop{\vbox{\kern-0.6em\hbox
   {$\bigvee\limits^\indexu{.}$}}}\nolimits}
\def\bigveeS{\mathop{\vbox{\kern-0.6em\hbox
   {$\displaystyle\bigvee^\indexu{S}$}}}\nolimits}
\def\bigcapS{\mathop{\vbox{\hbox
   {$\displaystyle\bigcap_\indexf{S}$}\kern-0.6em}}\nolimits}
\def\bigcapf#1{\mathop{\vbox{\hbox
   {$\bigcap\limits_\indexf{#1}$}\kern-0.6em}}\nolimits}
\def\bigcupf#1{\mathop{\vbox{\kern-0.6em\hbox
   {$\bigcup\limits^\indexu{#1}$}}}\nolimits}
\def\luk{\L u\-ka\-sie\-wicz}
\def\Go{G\"o\-del}
%\def\implf#1{\mathbin
%   {\mathop{{\rightarrow}\vphantom{\vee}}%
%   \limits_{\indexf{#1}\kern3pt}}}
\def\implf#1#2{\mathbin
   {\mathop{{\rightarrow}\vphantom{\vee}}%
   \limits^\indexu{#1}_{\indexf{#2}\kern3pt}}}
%\def\eqf#1{\mathbin
%   {\mathop{{\leftrightarrow}\vphantom{\vee}}\limits_\indexf{#1}}}
\def\eqf#1#2{\mathbin
   {\mathop{{\leftrightarrow}\vphantom{\vee}}\limits^\indexu{#1}_\indexf{#2}}}
\let\epsilon=\varepsilon
\def\bodik{{}\par\noindent\hbox to\parindent{\hss$\bullet$\hss\hss}}
\let\begitems=\medskip \let\enditems=\medskip
%
\def\ctvr #1{\mathbin{% ctvereček jako binární operace
   \mkern 2mu
   \vbox{\hrule height.8pt
        \hbox to#1{\vrule height#1 width.8pt\hss\vrule width.8pt}
        \kern-.8pt\hrule height.8pt}}
   \mkern 2mu }

\def\sq{\mathchoice {\ctvr{9pt}}   {\ctvr{9pt}}
                    {\ctvr{5.2pt}} {\ctvr{4pt}}}

%\def\incirc#1{\setbox0=\hbox{$\bigcirc$}\dimen0=\wd0
%   \mathbin{\box0\kern-\dimen0 \hbox to\dimen0
%      {\hss$\if.#1\cdot\else#1\fi$\hss}}}
\def\incirc#1{\if.#1\cdot\else#1\fi}

\def\tit#1{\underline{\emph{#1}}}	% title line
\def\T{\mathcal{T}}
\def\lab(#1){\mbox{\rm (#1)}}
\def\hop{\phantom{A}\qquad}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\def\picfile#1#2{\par\nobreak
   \medskip\picunit=#1 \divide\picunit by100
   \hbox{\epsfxsize=#1\epsfbox{#2.eps}\ifx\mymark\emptymark\else\rlap{\ttsmall\quad[#2.eps]}\fi}}
\def\pictext #1 #2 #3{\par\nobreak\vskip-\baselineskip
   \hbox to0pt{\kern#1\picunit\vbox to0pt{\vss\hbox{#3}\kern#2\picunit}\hss}}

\def\piccenter#1#2#3{\line{\hss\vbox{\picfile{#1}{#2}#3}\hss}}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\def\rel{}	% relace
\def\rezR{\mathcal{R}} \def\rezS{\mathcal{S}}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\def\konec{}
