 |
| |||
| compositional rule of inference (условно-категорического силлогизма ssn) | |||
| generalized modus ponens (условно-категорического силлогизма ssn) | |||
|
| |||
| compositional rule of inference (условно-категорического силлогизма ssn) | |||
| generalized modus ponens (условно-категорического силлогизма ssn) | |||