KB = (B ↔ p v q) & ~ B α= ~ p. (B ↔ p v q) & ~ B.

Παρουσίαση με θέμα: "KB = (B ↔ p v q) & ~ B α= ~ p. (B ↔ p v q) & ~ B."— Μεταγράφημα παρουσίασης:

1 KB = (B ↔ p v q) & ~ B α= ~ p

2 (B ↔ p v q) & ~ B

3 KB = (B ↔ p v q) & ~ B α= ~ p (B ↔ p v q) & ~ B

4 KB = (B ↔ p v q) & ~ B α= ~ p (B ↔ p v q) & ~ B

5 KB = (B ↔ p v q) & ~ B α= ~ p (B ↔ p v q) & ~ B ( (B →(p v q)) & ( (p v q) → B ) )& ~ B

6 KB = (B ↔ p v q) & ~ B α= ~ p (B ↔ p v q) & ~ B ( (B →(p v q)) & ( (p v q) → B ) )& ~ B ( (~B v(p v q)) & (~ (p v q) v B ) )& ~ B

7 KB = (B ↔ p v q) & ~ B α= ~ p (B ↔ p v q) & ~ B ( (B →(p v q)) & ( (p v q) → B ) )& ~ B ( (~B v p v q) & ((~ p & ~q) v B ) )& ~ B

8 KB = (B ↔ p v q) & ~ B α= ~ p (B ↔ p v q) & ~ B ( (B →(p v q)) & ( (p v q) → B ) )& ~ B ( (~B v p v q) & ((~ p & ~q) v B ) )& ~ B (~B v p v q) & (~ p v B ) & (~q v B ) & ~ B

9 KB = (B ↔ p v q) & ~ B α= ~ p (B ↔ p v q) & ~ B ( (B →(p v q)) & ( (p v q) → B ) )& ~ B ( (~B v p v q) & ((~ p & ~q) v B ) )& ~ B (~B v p v q) & (~ p v B ) & (~q v B ) & ~ B

10 KB = (B ↔ p v q) & ~ B α= ~ p ~B v p v q ~p v B ~q v B ~B

11 KB = (B ↔ p v q) & ~ B α= ~ p ~B v p v q ~p v B ~q v B ~B p

12 KB = (B ↔ p v q) & ~ B α= ~ p ~B v p v q ~p v B ~q v B ~B p ~p

13 KB = (B ↔ p v q) & ~ B α= ~ p ~B v p v q ~p v B ~q v B ~B p ~p