|
|
||||||||||||||||
| [(pvq)v(s/\r)]/\z | ||||||||||||||||
|
|
||||||||||||||||
| p | q | (pvq) | s | r | (sΛr) | [(pvq)v(s/\r)] | z | [(pvq)v(s/\r)]/\z | ||||||||
| VERO[1] | VERO[2] | VERO | VERO[3] | VERO[4] | VERO | VERO | VERO[5] | VERO | ||||||||
| {[(pvq)/\r]v(zvt)/\f}/\(svb) | ||||||||||||||||
|
|
||||||||||||||||
| p | q | (pvq) | r | [(pvq)/\r] | z | t | (zvt) | f | (zvt)/\f | {[(pvq)/\r]v(zvt)/\f} | s | b | (svb) | {[(pvq)/\r]v(zvt)/\f}/\(svb) | ||
| VERO[6] | VERO[7] | VERO | VERO[8] | VERO | VERO[9] | VERO[10] | VERO | VERO[11] | VERO | VERO | VERO[12] | VERO[13] | VERO | VERO | ||
| Home | Indice | |||||||||||||||