![$\langle\mbox{\it VarsProp}\rangle$](img1005.png) |
:
variables proposicionales,
|
|
![$\langle\mbox{\it Prop}\rangle$](img1006.png) |
:
proposiciones bien formadas,
|
|
![$\langle\mbox{\it PropNeg}\rangle$](img1007.png) |
:
proposiciones cuyo conectivo principal es la negación,
|
|
![$\langle\mbox{\it PropCon}\rangle$](img1008.png) |
:
proposiciones cuyo conectivo principal es la conjunción,
|
|
![$\langle\mbox{\it PropDis}\rangle$](img1009.png) |
:
proposiciones cuyo conectivo principal es la disyunción,
|
|
![$\langle\mbox{\it PropImp}\rangle$](img1010.png) |
:
proposiciones cuyo conectivo principal es la implicación,
|
|
![$\langle\mbox{\it PropEqu}\rangle$](img1011.png) |
:
proposiciones cuyo conectivo principal es la equivalencia.
|
|
![$\langle\mbox{\it Prop1}\rangle$](img1012.png) |
:
proposiciones cuyo conectivo principal tiene prioridad 1,
|
|
![$\langle\mbox{\it Prop2}\rangle$](img1013.png) |
:
proposiciones cuyo conectivo principal tiene prioridad 2,
|
|
![$\langle\mbox{\it Prop3}\rangle$](img1014.png) |
:
proposiciones cuyo conectivo principal tiene prioridad 3,
|
|