kino(Fero, Anka) ∨ (pocuva(Fero, PinkFloyd) ∨ hra(Fero, FerovaPS)) kapela(PinkFloyd) ∧ hraciaKonzola(FerovaPS) ¬frustrovany(Fero) → kino(Fero, Anka) frustrovany(Fero) → (pocuva(Fero, PinkFloyd) ∨ hra(Fero, FerovaPS)) ¬(kino(Fero, Anka) ∧ (pocuva(Fero, PinkFloyd) ∧ hra(Fero, FerovaPS))) hra(Fero, FerovaPS) → pocuva(Fero, PinkFloyd) pocuva(Fero, PinkFloyd) → ¬frustrovany(Fero) ----------------------------------------- výrokovologicky vyplýva formula: ----------------------------------------- ¬hra(Fero, FerovaPS) → kino(Fero, Anka) ========================================================================================= 1 T kino(Fero, Anka) ∨ (pocuva(Fero, PinkFloyd) ∨ hra(Fero, FerovaPS)) S+ 2 T kapela(PinkFloyd) ∧ hraciaKonzola(FerovaPS) S+ 3 T ¬frustrovany(Fero) → kino(Fero, Anka) S+ 4 T frustrovany(Fero) → (pocuva(Fero, PinkFloyd) ∨ hra(Fero, FerovaPS)) S+ 5 T ¬(kino(Fero, Anka) ∧ (pocuva(Fero, PinkFloyd) ∧ hra(Fero, FerovaPS))) S+ 6 T hra(Fero, FerovaPS) → pocuva(Fero, PinkFloyd) S+ 7 T pocuva(Fero, PinkFloyd) → ¬frustrovany(Fero) S+ 8 F ¬hra(Fero, FerovaPS) → kino(Fero, Anka) S+ 9 T kino(Fero, Anka) b1 |10 T pocuva(Fero, PinkFloyd) ∨ hra(Fero, FerovaPS) b1 11 F kino(Fero, Anka) a8 |12 T pocuva(Fero, PinkFloyd) b10 |13 T hra(Fero, FerovaPS) b10 * 9,11 | |14 T ¬hra(Fero, FerovaPS) a8 ===============================| |15 F hra(Fero, FerovaPS) a14 |* 13,15 |========================================== 16 F pocuva(Fero, PinkFloyd) b7 |17 T ¬frustrovany(Fero) b7 *12, 16 |18 F frustrovany(Fero) a18 ===================================== 19 F ¬frustrovany(Fero) b3 |21 T kino(Fero, Anka) b3 20 T frustrovany(Fero) a19 |22 F kino(Fero, Anka) a8 *18, 20 |*21, 22 =========================================================================================== Pouzijeme predikaty: kúpil2, šťastný1 Vianočný darček kúpil otec alebo ho kúpila mama. Ak Hanka nie je stastna potom darcek urcite kupil otec a Ondrej je stastny Určite sa nestane, aby ani Ondrej ani Hanka neboli šťastní. Otec neznáša nakupovanie, takže sa z toho vždy vyvlečie. Ak by bol Ondrej šťastný, iba keby darček kúpil otec, tak nakupovala mama a Hanka je šťastná. -------------------------------------------------------------------------------- 1*T kupil(otec, darcek) v kupil(mama, darcek) S+ 2*T !stastny(Hanka) -> (kupil(otec, datcek) a stastny(Ondrej)) S+ 3*T !(!stastny(Ondrej) a !stastny(Hanka)) S+ 4*T !kupil(otec, darcek) S+ 5*F (kupil(otec, darcek) -> stastny(Ondrej)) -> (kupil(mama, darcek) a stastny(Hanka)) S+ 6*F !stastny(Ondrej) a !stastny(Hanka) a3 7*F kupil(otec, darcek) a4 8 T kupil(otec, darcek) -> stastny(Ondrej) a5 9*F kupil(mama, darcek) a stastny(Hanka) a5 10 T kupil(otec, darcek) b1 |11 T kupil(mama, darcek) b1 * 7,10 | ============================================| 12 F !stastny(Hanka) b2 |13 T kupil(otec, datcek) a stastny(Ondrej) b2 14 T stastny(Hanka) a12 |15 T kupil(otec, datcek) a13 |*7, 15 |======================================================== Riesenie A: 16 F !stastny(Ondrej) b6 |17 F !stastny(Hanka) b6 18 T stastny(Ondrej) a16 |19 T stastny(Hanka) a17 20 F kupil(mama, darcek) b9 |21 F stastny(Hanka) b9 |22 F kupil(mama, darcek) b9 |23 F stastny(Hanka) b9 *20,11 |*21, 14 |*20,11 |*21, 14 ======================================================================================================================== Riesenie B: 16 F kupil(mama, darcek) b9 |17 F stastny(Hanka) b6 *11, 16 |*17, 14 =========================================================================================================== 1*T mam(dazdnik, den) → ¬prsi(den) S+ 2*T mokry(cesta, den) → (prsi(den) ∨ preslo(umyvacieAuto, cesta, den)) S+ 3*T vikend(den) → ¬preslo(umyvacieAuto, cesta, den) S+ 4*T (utorok(den) → idemElektrickou(den)) ∧ ((¬utorok(den) ∧ ¬vikend(den)) → ¬idemElektrickou(den)) S+ 5*T idemElektrickou(den) → ¬mam(dazdnik, den) S+ 6*F (mam(dazdnik, den) ∧ mokry(cesta, den)) → ¬vikend(den) S+ ========================================================================================================== 7*T utorok(den) → idemElektrickou(den) a4 8 T (¬utorok(den) ∧ ¬vikend(den)) → ¬idemElektrickou(den) a4 9*T mam(dazdnik, den) ∧ mokry(cesta, den) a6 10*F ¬vikend(den) a6 11*T mam(dazdnik, den) a9 12*T mokry(cesta, den) a9 13*T vikend(den) a10 14 F mam(dazdnik, den) b1 | 15*T ¬prsi(den) b1 * 11,14 | 16*F prsi(den) a15 =========================== 17 F vikend(den) b3 | 18*T ¬preslo(umyvacieAuto, cesta, den) b3 * 13, 17 | 19*F preslo(umyvacieAuto, cesta, den) a18 ================================================| 20*F idemElektrickou(den) b5 |21 T ¬mam(dazdnik, den) b5 23*F utorok(den) b7 |24 T idemElektrickou(den) b7|22 F mam(dazdnik, den) a21 |*20, 24 |* 22, 11 |============================|======================================= 25 F mokry(cesta, den) b2 |26 T prsi(den) ∨ preslo(umyvacieAuto, cesta, den) b2 * 25,12 |27 T prsi(den) b26 | 28 T preslo(umyvacieAuto, cesta, den) b26 ============================================|* 27,16 |* 28, 19 |================================================================