Unit 7 3c Vacuum World knowitvideos Polish Hebrew

Unit 7 3c Vacuum WorldYouTube↗ IA↗(long shot)
Howto & Style 8.7K views 15 likes 10 dislikes 26 Oct 2011

knowitvideos 11.8K subscribers N/A YouTube↗

Click to Play Video

Powróćmy teraz do dwupołożeniowego świata odkurzacza

עכשיו בואו נחזור לעולם שואב האבק עם שני המקומות

i użyjmy do jego reprezentacji logiki pierwszego rzędu.

ונייצג אותו בלוגיקה מסדר ראשון.

Zatem po pierwsze, możemy mieć położenia.

אז קודם כל, יש לנו מקומות.

Możemy nazwać położenie po lewej A, a położenie po prawej -- B.

אנחנו יכולים לקרוא לשמאלי A ולימני B

odkurzacz nazwiemy V, a brud -- D1 i D2.

והשואב V וללכלוך נגיד, D1 וD2.

Następnie możemy opisać relacje

ואז יהיו לנו יחסים.

Relacja loc, która jest prawdziwa dla każdego położenia;

היחס LOC שהוא נכון לכל מקום שהוא מקבל.

odkurzacz, która jest prawdziwa dla odkurzacza;

היחס VACUUM שנכון עבור השואב,

brud, prawdziwy dla brudu;

DIRT, שהוא נכון לכל לכלוך,

oraz "w", która jest prawdziwa dla obiektu i położenia.

וAT (נמצא ב) שנכון לאובייקט ומיקום.

Gdybyśmy zatem chcieli powiedzieć, że odkurzacz jest w położeniu A,

כך שאם נרצה להגיד שהשואב למנצ במיקום A,

powiedzielibyśmy w(V, A).

פשוט נגיד at v a.

Jeżeli chcemy powiedzieć, że w żadnym położeniu nie ma brudu, sprawa robi się nieco bardziej skomplikowana.

אם נרצה להגיד שאין לכלוך באף מקום, זה יהיה טיפה יותר מורכב.

Możemy powiedzieć, że dla każdego brudu i dla wszystkich położeń,

אנחנו יכולים להגיד שלכל לכלוך ולכל מקום,

jeżeli D jest brudem, a L jest położeniem,

אם D הוא לכלוך וגם L הוא מקום,

wówczas D nie jest w L.

אז D לא נמצא בL.

To zdanie mówi, że w żadnym położeniu nie ma brudu.

וזה אומר שאין לכלוך באף מקום.

Zauważcie, że gdybyśmy zamiast zamiast z dwoma położeniami mieli do czynienia z tysiącem,

שימו לב, שאם היו אלפי מקומות במקום רק שניים,

to zdanie nadal byłoby pozostawałoby w mocy, i na tym właśnie polega potęga logiki pierwszego rzędu.

הפסוק עדיין הי עובד, וזה הכוח האמיתי שיש בלוגיקה מסדר ראשון.

Idźmy dalej i spróbujmy zrobić więcej przykładów.

בואו נמשיך וננסה עוד דוגמאות.

Jeśli chcę powiedzieć, że odkurzacz jest w położeniu z brudem nie określając, o które chodzi położenie,

אם אני רוצה להגיד שהשואב נמצא במיקום עם לכלוך בלי להגיד באיזה מקום הוא

mogę to zrobić

אני יכול לעשות זאת.

Mogę powiedzieć, że istnieje pewne L i że istnieje pewne D

אני יכול להגיד שקיים L וקיים D

takie, że D jest brudem i L jest położeniem

כך שD הוא לכלוך וL הוא מיקום

i że odkurzacz jest w tym położeniu

והשואב נמצא במקום L

j że brud jest w tym samym położeniu.

והלכלוך D נמצא באותו מקום L.

Na tym polega siła wyrazu logiki pierwszego rzędu.

ושוב, זה הכוח שבלוגיקה בסדר ראשון.

Teraz jeszcze jedna rzecz.

ודבר אחד אחרון.

Możecie zapytać, co znaczy "pierwszego rzędu".

אתם בטח תוהים למה הכוונה "סדר ראשון"

Oznacza, że relacje są określone na obiektach, ale nie na relacjach

הכווה שהיחסים פועלים על אובייקטים בלבד ולא על יחסים אחרים,

co określilibyśmy jako "wyższy rząd".

זה נקרא "סדר גבוה"

W logikach wyższego rzędu moglibyśmy, powiedzmy, określić pojęcie relacji przechodniej

בלוגיקה מסדר גבוה, אנחנו יכולים להגדיר, לדוגמה, את המושג יחס טרנזטיבי

mówiąc o samych relacjach, i moglibyśmy powiedzieć

שמדבר על היחסים עצמם, ואנחנו יכולים להגיד

dla każdego R, przechodnie(R) jest równoważne ze stwierdzeniem: dla każdych A, B i C

שלכל R, טרנזיטיביות של R שווה לכל A B וC

z R(A, B) i R(B, C) wynika R(A, C).

מR של A וB וגם R של B וC משתמע שR של A וC

Byłoby to poprawnym stwierdzeniem w logice wyższego rzędu

וזה יהיה פסוק קביל בלוגיקה מסדר גבוה.

które określałoby pojęcie relacji przechodniej,

זה מה שמגדיר את המושג יחס טרנזטיבי,

ale w logice pierwszego rzędu jest niepoprawne.

אבל זה לא יהיה קביל בלוגיקה מסדר ראשון.

Similar videos:

Gundarr (Ep 11): Skygoth (subtitulado al castellano)
daniborr
12.3K views 52 likes 5 dislikes 02 Jul 2012100% match

Qué son los SWAPS
canaloie24
55.4K views 259 likes 4 dislikes 24 Nov 2011100% match

Egyptische mummificatie
Nikki Janssens
44.5K views 125 likes 20 dislikes 27 Dec 2013100% match

Unit 3 9c Answer

11.4K views 20 likes 9 dislikes 08 Oct 2011100% match

Gundarr (Ep 15): Gundarr vs Toddy-The Fartening (subtitulado al castelllano)
daniborr
28.4K views 82 likes 11 dislikes 20 Jul 2012100% match

Unit 3 8a Two Test Cancer Example

22.7K views 7 likes 0 dislikes 08 Oct 2011100% match

CEOS Chatter
Fernando Garcia
1.3K views 2 likes 1 dislikes 14 Mar 2012100% match

Unit 2, Topic 10, Graph Search Answer

12.5K views 12 likes 3 dislikes 05 Oct 2011100% match

Mr. Peabody & Sherman
TheCaptionedInternet
43.6K views 74 likes 9 dislikes 03 Mar 2014100% match

Instrucciones para llorar, de Julio Cortázar
Inés Andrés
5.9K views 10 likes 0 dislikes 10 Jan 2012100% match

Amalia, Amelia y Emilia
Kuenta Libros
12.5K views 53 likes 38 dislikes 16 Jun 2012100% match

Unit 3 2 Probabilities

19.5K views 10 likes 0 dislikes 08 Oct 2011100% match

Horrible Bosses (2011)
Captionwire
13.5K views 22 likes 2 dislikes 27 May 2011100% match

Unit 2, Topic 16, Uniform Cost Termination

37.5K views 21 likes 18 dislikes 05 Oct 2011100% match

Unit 2, Topic 5, Tree Search Answer

17.8K views 19 likes 3 dislikes 05 Oct 2011100% match

Thomas Jefferson's Warning about Banks
zilenthunderz
16.9K views 239 likes 4 dislikes 29 Sep 2012100% match

Unit 3 2f Question

19K views 7 likes 0 dislikes 08 Oct 2011100% match

Recomendación kuentalibros - pizarra digital y niños con discapacidad auditiva
anitamc20
933 views 1 likes 0 dislikes 21 Dec 2012100% match

(ENG/CHI SUB) 140216 SM True Thailand Facebook EXO
Baby Xiumin
783 views 10 likes 0 dislikes 16 Feb 2014100% match

Unit 1w, 15 Congratulations

13.6K views 50 likes 1 dislikes 05 Oct 2011100% match

0 views 0 likes 0 dislikes 11 Jun 2026100% match

Gundarr (Ep 20): Cupcake Fury Goes to the Vet (subtitulado al castellano)
daniborr
15.9K views 53 likes 3 dislikes 22 Aug 2012100% match

Unit 11 06.mp4 Markov Chain Answer 1.mp4

10.1K views 27 likes 1 dislikes 11 Nov 2011100% match

Unit 3 10a Answer

13K views 23 likes 1 dislikes 08 Oct 2011100% match

Gundarr (Ep 17): Bearoids (subtitulado al castellano)
daniborr
18.7K views 69 likes 10 dislikes 02 Aug 2012100% match

TED & TEDx explained
Kyo young Chu
1.1K views 7 likes 0 dislikes 02 Apr 2012100% match

Maša ei ole enam laisk.
Tuuli Koitjärv
18.4K views 37 likes 5 dislikes 11 Jan 2014100% match

Gundarr (Ep 31): University of FistiCuffs (subtitulado al castellano)
daniborr
12.8K views 53 likes 2 dislikes 14 Nov 2012100% match

Unit 1w, 4 Terminology

75.1K views 114 likes 4 dislikes 05 Oct 201150% match

Unit 3 1 Introduction

36.6K views 95 likes 6 dislikes 08 Oct 201150% match

Settings Privacy About Contact Donate