Changes

{| align="center" cellpadding="6" width="90%"

{| align="center" cellpadding="6" width="90%"

| A bracketed list of propositional expressions in the form <math>\texttt{(} e_1, e_2, \ldots, e_{k-1}, e_k \texttt{)}</math> indicates that exactly one of the propositions <math>e_1, e_2, \ldots, e_{k-1}, e_k</math> is false.

| A bracketed list of propositional expressions in the form <math>\texttt{(} e_1 \texttt{,} e_2 \texttt{,} \ldots \texttt{,} e_{k-1} \texttt{,} e_k \texttt{)}</math> indicates that exactly one of the propositions <math>e_1, e_2, \ldots, e_{k-1}, e_k</math> is false.

|-

|-

| A concatenation of propositional expressions in the form <math>e_1\ e_2\ \ldots\ e_{k-1}\ e_k</math> indicates that all of the propositions <math>e_1, e_2, \ldots, e_{k-1}, e_k</math> are true, in other words, that their [[logical conjunction]] is true.

| A concatenation of propositional expressions in the form <math>e_1\ e_2\ \ldots\ e_{k-1}\ e_k</math> indicates that all of the propositions <math>e_1, e_2, \ldots, e_{k-1}, e_k</math> are true, in other words, that their [[logical conjunction]] is true.

a + b

a + b

& = &

& = &

\texttt{(} a, b \texttt{)}

\texttt{(} a \texttt{,} b \texttt{)}

\end{matrix}</math>

\end{matrix}</math>

|-

|-

a + b + c

a + b + c

& = &

& = &

\texttt{((} a, b \texttt{)}, c \texttt{)}

\texttt{((} a \texttt{,} b \texttt{),} c \texttt{)}

& = &

& = &

\texttt{(} a, \texttt{(} b, c \texttt{))}

\texttt{(} a \texttt{,(} b \texttt{,} c \texttt{))}

\end{matrix}</math>

\end{matrix}</math>

|}

|}

It is important to note that the last expressions are not equivalent to the triple bracket <math>\texttt{(} a, b, c \texttt{)}.</math>

It is important to note that the last expressions are not equivalent to the triple bracket <math>\texttt{(} a \texttt{,} b \texttt{,} c \texttt{)}.</math>

<br>

<br>

|-

|-

| height="160px" | [[Image:Cactus (X,(A),(B),(C)) Big.jpg|90px]]

| height="160px" | [[Image:Cactus (X,(A),(B),(C)) Big.jpg|90px]]

| <math>\texttt{(} x \texttt{,} \texttt{(} a \texttt{),(} b \texttt{),(} c \texttt{))}</math>

| <math>\texttt{(} x \texttt{,(} a \texttt{),(} b \texttt{),(} c \texttt{))}</math>

|

|

<math>\begin{matrix}

<math>\begin{matrix}