„7. Logikai ágensek” változatai közötti eltérés
Nincs szerkesztési összefoglaló |
|||
| 126. sor: | 126. sor: | ||
Rezolúció | Rezolúció | ||
<math> \frac{A \vee B, \neg B \vee C}{ | <math> \frac{A \vee B, \neg B \vee C}{A \vee C}</math> | ||
{| border="1" | {| border="1" | ||
Nincs szerkesztési összefoglaló |
|||
| 126. sor: | 126. sor: | ||
Rezolúció | Rezolúció | ||
<math> \frac{A \vee B, \neg B \vee C}{ | <math> \frac{A \vee B, \neg B \vee C}{A \vee C}</math> | ||
{| border="1" | {| border="1" | ||