\documentclass[a4paper]{article}
%\usepackage[czech]{babel}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
%\usepackage{color}
\usepackage{amssymb,amsmath}
\usepackage{hyperref}

\newtheorem{exercise}{Exercise}[section]

\input ../macros
%\input macrosen

%\input MNCMPslides.tex
\input ../MNCMPpagesaving.tex

%\hypersetup{pdfstartpage=1,pdfpagemode=None} % pdfpagemode=FullScreen
%%\hypersetup{pdftitle=,pdfauthor=,pdfsubject=,pdfkeywords=}

%\usepackage{bigfig}%,thumbpdf}
%\usepackage[coloremph,colormath,display]{texpower}

\newdimen\tmpd
\newbox\verbbox

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\exhyphenpenalty=10000
\renewcommand{\emph}[1]{\textcolor{red}{\bf #1}}
\newcommand{\empha}[1]{\textcolor{blue}{\bf #1}}
%\newcommand{\uv}[1]{\glqq#1\grqq}

\setcounter{section}{5}

%=====================================================
\begin{document}
Exercise from properties of fuzzy implications and fuzzy equivalence relations.

\begin{exercise}
Find which implications presented explicitly in the lecture satisfy the exchange axiom
(for the same implication in all instances)
\begin{equation}
  \alpha \implf.. (\beta \implf.. \gamma) = \beta
  \implf.. (\alpha\implf.. \gamma)\,.  \tag{I5}
\end{equation}
\end{exercise}

\begin{exercise}
Find all binary relations $R$ on the set $\{A,B,C\}$, which satisfy $R(A,B)=0.6$ and are
\begin{enumerate}
\item standard equivalencies,
\item product equivalencies,
\item \L ukasiewicz equivalencies.
\end{enumerate}
\end{exercise}

\end{document}
