2212790603

2212790603



• lub stosujemy twierdzenie o dedukcji i badamy np. metodą skróconą, czy następująca formula jest tautologią: [(P =*■ 9) A (9 =*• p)] =t■ (p<*q)

• lub korzystamy z metody rezolucji-.

   przekształcamy przesłanki i negację wniosku do postaci klauzulowej:

przesłanki:

—    stosujemy rezolucję dla utworzonego zbioru S — {{~ p, 9} , {~ q,p} , {~ P , ~ q} , {p, 9}} :

p=^ą= ~pVq

q=>p=~qVp negacja wniosku:

~ (p q) = (~ P V ~ q) A (p V 9)

1.

{~ Pi 9}

2.

{~ 9-P}

3.

p , ~ 9}

4.

{p.g}

5.

9}

2,3

6.

U)

1, 4

7.

5, 6

— sprawdzenie w Prologu:

File | Consult ... (załadować resolve.pl)

?- resolve([[‘p,q] , [_q,p] , ["p,'q], [p,q]]).

[[‘p, q]. ["q. p]. ['p, *q], [p, q]]

[[*p], [*P, q] > ["q, p] , [”p, ”q] , [p, q]]

[[•q], [”p], ['p, q] 1 [*q,    p] ,    ['p,    *q] , [p,    q]]

[[p], [”q] , [-p], [-p, q] ,    [*q,    p],    ['p, *q] , [p,    q]]

[[], [p], [-q], fp], [-p,    q],    [-q,    p] , [‘p,    *q] ,    [p,    q]D

The empty clause is in the    set    of clauses so    it is unsatisfiable.

Odpowiedz: Wnioskowanie jest poprawne.

2.    Sprawdzić trzema metodami (jak w zadaniu 1.) poprawność wnioskowania.

(a)    Dzisiaj jest piątek, a jeśli dzisiaj jest piątek, to jutro jest sobota, a więc jutro jest sobota.

(b)    Jcieli Kazimierz spotkał Tadeusza, to -wróci późno. Kazimierz nie spotkał Tadeusza. Zatem Kazimierz nie wróci późno.

(c)    Kazimierz był na meczu lub na zebraniu. Gdyby Kazimierz był na meczu, to nie wstałby dziś tak wcześnie. Kazimierz wstał wcześnie. A zatem Kazimierz był na zebraniu.

Odpowiedź: Poprawne jest wnioskowanie: a, c.

3.    Sprawdzić trzema metodami, czy U |= B.

(a)    U={p=>q,q=>p},B = p\/q

(b)    U = {p=>q,q=>p},B = p®q

(c)    U = {p=>q,pVq}, B = q

(d)    U = {(pAq)=>r}, B=p=>r

Odpowiedź: Zbiór U implikuje logicznie B w przypadku c.



Wyszukiwarka

Podobne podstrony:
64291 Scan0029 3.3 Zadania 37 lub stosujemy twierdzenie, w którym badamy np. metodą skróconą, czy na
treść zadań /.i. lanie 1 (5 pkt.) Metodą, skróconą sprawdź, czy następująca formuła jest tautologią.
DSC06252 (3) 54 Jerzy Szmagalski w takich grupach gier, jak np. w ‘Moje lepsze’, ‘Czy to nie jest ok
masaz13 14 nięcia. Następnie formułowane jest życzenie lub główna myśl, na której koncentruje się pa
MIKROFALE W IERCONE Wiercone np metodą CFA Mogą być betonowane lub wypełnione metodą iniekcyjną zbro
ANKIETA zbiór pytań lub twierdzeń o charakterze zamkniętym, np..pytanie „czy
62668 MATEMATYKA137 264 V. Całka oznaczona 2.    Stosując twierdzenia o całkowaniu pr
W zależności od potrzeb stosuje się jeden z ww. wariantów lub stosuje się kompensację mieszaną łączą
skanuj0222 (4) stosuje się ścisłych zaleceń (np. w formie tablic) odnośnie wartości luzów łożyskowyc
Zdj?cie0926 Jako nawozy zielone stosuje się: W o Rośliny motylkowe np. łubin wąskolistny, bobik a Ro

więcej podobnych podstron