Unit 7 2a Truth Tables knowitvideos English Polish

Unit 7 2a Truth TablesYouTube↗ IA↗(long shot)
Howto & Style 7.1K views 4 likes 0 dislikes 26 Oct 2011

knowitvideos 11.8K subscribers N/A YouTube↗

Click to Play Video

[Male narrator] Here are the truth tables for all the logical connectives.

Oto tablice prawdziwościowe dla wszystkich spójników logicznych.

What a truth table does is list all the possibilities for the propositional symbols,

Tablice prawdziwościowe opierają się na wypisaniu wszystkich możliwych wartości zmiennych zdaniowych

so P and Q can be false and false, false and true, true and false, or true and true.

zatem P i Q mogą być: fałsz i fałsz, fałsz i prawda, prawda i fałsz oraz prawda i prawda

Those are the only 4 possibilities,

Są to jedyne 4 możliwości

and then for each of those possibilities, the truth table lists the truth value

wówczas dla wszystkich tych możliwości, tabela prawdziwościowa podaje wartość logiczną

of the compound sentence.

zdania złożonego.

So the sentence not P is true when P is false and false when P is true.

Zatem zdanie nie-P jest prawdziwe, gdy P jest fałszywe, i fałszywe, gdy P jest prawdziwe

The sentence P and Q is true only when both P and Q are true and false otherwise.

Zdanie "P i Q" jest prawdziwe tylko wtedy, gdy oba jego człony są prawdziwe, a fałszywe w pozostałych przypadkach.

The sentence P or Q is true when either P or Q is true

Zdanie "P lub Q" jest prawdziwe, gdy przynajmniej jeden człon jest prawdziwy

and false when both are false.

a fałszywe, gdy oba człony są fałszywe.

Now, so far, those mostly correspond to the English meaning of those sentences

Do tej pory te przykłady przeważnie odpowiadały polskim znaczeniom tych zdań

with one exception, which is that in English, the word "or" is somewhat ambiguous

z jednym wykątkiem: po polsku słowo "lub" jest w pewnej mierze niejednoznaczne

between the inclusive and exclusive or,

i może oznaczać zwykłe albo wykluczające "lub"

and this "or" means either or both.

a to "lub" oznacza albo któreś, albo oba.

We translate this mark into English P implies Q; or as if P, then Q,

Tłumaczymy ten znak na Polski jako: "z P wynika Q", albo "jeśli P, to Q"

but the meaning in logic is not quite the same as the meaning in ordinary English.

jednak znaczenie w logice nie jest do końca takie samo, jak znaczenie w normalnym języku.

The meaning in logic is defined explicitly by this truth table

Znaczenie w logice jest definiowane w sposób jawny przez tę tabelę

and by nothing else, but let's look at some examples in ordinary English.

i przez nic więcej, jednak spójrzmy na kilka przykładów z języka polskiego.

If we have the proposition O and have that mean 5 is an odd number

Mamy zdanie O; niech ono oznacza, że 5 jest liczbą nieparzystą,

and P meaning Paris is the capital of France,

oraz zdanie P, oznaczające "Paryż jest stolicą Francji"

then under the ordinary model of the truth in the real world,

Wówczas, korzystając z naszego potocznego funkcjonowania prawdy,

what could we say about the sentence O implies P?

co powiedziellibyśmy o zdaniu: z O wynika P?

That is, 5 is an odd number implies Paris is the capital of France.

To znaczy, z tego, że 5 jest liczbą nieparzystą, wynika, że Paryż jest stolicą Francji?

Would that be true or false?

Czy to byłoby prawdziwe, czy fałszywe?

And let's look at one more example.

Spójrzmy na jeszcze jeden przyklad.

If E is the proposition that 5 is an even number

Jeżeli E oznacza, że 5 jest liczbą parzystą,

and M is the proposition that Moscow is the capital of France,

a M oznacza, że Moskwa jest stolicą Francji,

what about E implies M?

co ze zdaniem: z E wynika M?

5 is an even number implies Moscow is the capital of France.

z tego, że 5 jest liczbą nieparzystą, wynika, że Moskwa jest stolicą Francji.

Is that true or false?

Czy to prawda, czy fałsz?

Similar videos:

Unit 2, Topic 29, State Spaces ANSWER

9.8K views 5 likes 3 dislikes 05 Oct 2011100% match

Unit 3 4 What We Learned

10.2K views 8 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 30, State Space Diagram and More Complexity ANSWER

12.6K views 16 likes 3 dislikes 05 Oct 2011100% match

Unit 2, Topic 4, Tree Search

43.7K views 29 likes 11 dislikes 05 Oct 2011100% match

Unit 2, Topic 8, Graph Search Answer

13.7K views 6 likes 0 dislikes 05 Oct 2011100% match

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

Roald Dahl's Cinderella
Pilar Moure
21K views 110 likes 13 dislikes 30 May 2013100% match

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

Unit 3 9d Absolute vs Conditional Independence

13.5K views 4 likes 2 dislikes 08 Oct 2011100% match

Unit 2, Topic 26, A-Star Fourth Question

28.6K views 17 likes 7 dislikes 05 Oct 2011100% match

Unit 3 9 Conditional Independence

19.7K views 30 likes 1 dislikes 08 Oct 2011100% match

Gundarr (Ep 34): Carjackers (subtitulado al castellano)
daniborr
16.6K views 63 likes 2 dislikes 05 Dec 2012100% 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 3 10 Different Type of Bayes Network

23.2K views 24 likes 4 dislikes 08 Oct 2011100% match

Unit 9 17 Value Iteration 1

24.8K views 27 likes 24 dislikes 01 Nov 2011100% match

Unit 6 7b Spectral Clustering Algorithm

42.3K views 553 likes 9 dislikes 22 Oct 2011100% match

Unit 3 11 Explaining Away

23K views 32 likes 2 dislikes 08 Oct 2011100% match

Unit 1w, 1 Introduction

56.8K views 146 likes 4 dislikes 05 Oct 2011100% match

Unit 3 3 Dependence

17.3K views 9 likes 13 dislikes 08 Oct 2011100% match

Unit 2, Topic 18, Depth First Search

25.4K views 24 likes 1 dislikes 05 Oct 2011100% match

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

Unit 9 06 Branching Factor Question

11.3K views 4 likes 7 dislikes 01 Nov 2011100% match

DokuWiki 02 - Creating Links and Pages
Andreas Gohr
12.1K views 22 likes 5 dislikes 25 May 2014100% 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

Unit 0w, 1 Introduction

175.6K views 487 likes 8 dislikes 05 Oct 201150% match

Unit 3 2 Probabilities

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

Unit 3 2b Question

18.4K views 1 likes 1 dislikes 08 Oct 201150% match

Settings Privacy About Contact Donate