\title	{Multiplicabilidad}
\author	{XIAO Gang}
\email	{xiao@unice.fr}
\format	{html}

\text{yes=Verdadero}
\text{no=Falso}
\text{bad=\yes,\no}
\text{rowcol=random(rows,columns)}
\text{AB=random(A,B)}
\text{ABBA=random(AB,BA)}

\matrix{data=
,\(AB) tiene sentido,\(BA) tiene sentido,\no
cuadrada,\(AB) tiene sentido,\(BA) tiene sentido,\yes
,\(AB) tiene sentido y es una matriz cuadrada,\(BA) tiene sentido,\yes
,\(AB) y \(BA) son matrices cuadradas,\(A) and \(B) son matrices cuadradas,\no
,\(A + B) tiene sentido,\(AB) tiene sentido,\no
cuadrada,\(A + B) tiene sentido, \(AB) tiene sentido,\yes
,\(AB) tiene sentido,\(A + B) tiene sentido,\no
cuadrada,\(AB) tiene sentido,\(A + B) tiene sentido,\yes
,\(AB = BA),\(A) y \(B) son matrices cuadradas,\yes
,\(AB = BA),\(AB) es una matriz cuadrada,\yes
,\(A) y \(B) son del mismo tipo, \(AB) tiene sentido,\no
cuadrada,\(A) y \(B) son del mismo tipo, \(AB) tiene sentido,\yes
,\(A^2) tiene sentido, \(A) es una matriz cuadrada,\yes
,\(A) es un amatriz cuadrada,\(A^2) tiene sentido,\yes
,\(A + B) y \(AB) tiene sentido,\(random(A,A + B,AB)) es una matriz cuadrada,\yes
,\(AB) tiene sentido y es una matriz cuadrada,\AB es un amatriz cuadrada,\no
,\(AB) tiene sentido,\(AB) y \(B) tienen el mismo tamaño,\yes,con \(A) cuadrada
,\(AB) tiene sentido,\(AB) y \(A) tienen el mismo tamaño,\no,con \(A) cuadrada
,\(AB) tiene sentido,\(AB) es una matriz cuadrada \no,con \(A) cuadrada
,\(AB) tiene sentido,\(BA) tiene sentido,\no,con \(A) cuadrada
,\(A) y \(B) tienen el mismo número de \rowcol,\(\ABBA) tiene sentido,\no
cuadrada,\(A) y \(B) tienen el mismo número de \rowcol,\(\ABBA) tiene sentido,\yes
,\(\AB) es la matriz 0, \(\ABBA) tiene sentido,\no
cuadrada,\(\AB) es la matriz 0,\(\ABBA) tiene sentido,\no
,\(AB) y \(BA) tienen sentido,\(AB = BA),\no
cuadrada,\(AB) y \(BA) tienen sentido,\(AB = BA),\no
cuadrada,\(A) y \(B) son del mismo orden, \(AB = BA),\no

}

\text{data=randomrow(\data)}
\text{adj=item(1,\data)}
\text{hyp=item(2,\data)}
\text{cons=item(3,\data)}
\text{good=item(4,\data)}
\text{kind=item(5,\data)}

\text{all=\hyp,\cons}
\if{C isin \all}{
 \text{mats=Sean \(A), \(B), \(C) tres matrices \adj }
}{
 \if{B isin \all}{
  \text{mats=Sean \(A), \(B) dos matrices \adj}
 }{
  \text{mats=Sea \(A) una matriz \adj }
 }
}
\text{empty=}
\text{kind=\kind notsametext \empty?\empty \kind}

\statement{\mats\kind. ¿Es cierta la siguiente afirmación?
<p><center>
 Si \hyp, entonces \cons.
</center><p>
}

\choice{La respuesta}{\good}{\bad}
