293017411

293017411



Składnia -

Kwantyfikator wielki (ogólny)

■♦ Pozwala określić własności grupy obiektów,

np..: Wszystkie koty to ssaki Vx: kot(x) -> ssak(x) ■♦Stosuje się zmienne np.. x, y (oznaczone małymi literami).

-♦ Zmienna jest termem.

■♦Co jeżeli poprzednik implikacji fałszywy? Nie ma to znaczenia, bo kwantyfikator ogranicza grupę obiektów do takich, dla których poprzednik jest tylko prawdziwy.

■♦Błąd w interpretacji: Vx: kot(x) a ssak(x) (Wszystko jest kotami i wszystko jest ssakami). (Nie łączyć V i

A III).


Składnia -

Kwantyfikator mały (szczególny)

-♦ Pozwala określić własności jakiegoś szczególnego obiektu bez nazywania go,

np.: Spot ma siostrę, która jest kotem

3x: siostra(x, Spot) a kot(x)

■♦Błąd w interpretacji: 3x: siostra(x, Spot) —> kot(x) (Nie łączyć 3 i -> ), bo rozwinięcie dla przypadków:

siostra(Spot, Spot) —> kot(Spot) v siostra(Rebeca, Spot) —> kot(Spot) v siostra(Jan, Spot) —> kot(Spot)

zadanie z implikacją będzie zawsze prawdziwe, jeżeli przesłanka jest fałszywa, więc dia każdego x, dla którego siostra(x, Spot) jest fałszywe. W przypadku iloczynu obie relacje muszą być prawdziwe.




Wyszukiwarka

Podobne podstrony:
Kwantyfikator Y^ielki (ogólny) Pozwala określić własności grupy obiektów, np..: Wszystkie koty to ss
Kwantyfikator mały (szczególny)Pozwala określić własności jakiegoś szczególnego obiektu bez
Podstawy miernictwa Miernik - przyrząd pozwalający określić wartość mierzonej wielkości (np. napięci
rzeczom ( własności pierwotne - obiektywne np. wielkość, kształt, nich, położenie ), a inne nie ( wł
rzeczom ( własności pierwotne - obiektywne np. wielkość, kształt, nich, położenie ), a inne nie ( wł
2e Parametr TYPE=n pozwala określić typ numerowania listy : <OL TYPE=A> numerowanie według wie
image 047 Koncepcja prądu magnetycznego jako wirtualnego źródła pola ... 47 gdyż pozwala uzyskać wła
image 055 55 Wektorowy potencjał elektryczny i pola z nim związane Rozwiązanie równania (3.12) pozwa
slajd5 i Ocena rozwoju somatycznego
spektroskopia047 94 odgrywa tensor drugiego rzędu R proporqonalny do dxtJdu, zwany tensorem Ramana.
Praktyka pisania pracy wyników. Na przykład dla określenia własności manewrowych pewnej zbiorowości
prigogine15 DYLEMAT EPIKURA ciowe przewidywania? Przecież teoria ta pozwala określić właściwości ilo
cki: dzielił ją na ogólną i bardziej konkretną. Uznawał, że w znaczeniu ogólnym jest nią określona m

więcej podobnych podstron