Lecture 4 - Predicates & Quantifiers (Contd.)
Loading...
Loading...
30,266
Loading...
There is no Interactive Transcript.
59:15
Lecture 5 -Logical Inferenceby nptelhrd28,292 views- 57:54
Lecture 3 - Predicates & Quantifiersby nptelhrd59,433 views
- 54:24
Lecture 4 - Programmable Array Logicby nptelhrd30,938 views
- 55:13
Lecture 10 - Setsby nptelhrd50,874 views
- 50:16
Lec 8 | MIT 5.112 Principles of Chemical Science, Fall 2005by MIT216,087 views
- 1:49
worst professor everby ugod355403,663 views
- 9:18
The Most IMPORTANT Video You'll Ever See (part 1 of 8)by wonderingmind424,017,294 views
- 54:57
Lecture 7 - Methods of Proofby nptelhrd38,557 views
- 8:56
Realita Cinta dan Rock n Roll 9/12by sijeruk99,294,055 views
- 59:53
Lecture - 18 Graph Theoryby nptelhrd46,290 views
- 59:55
Lecture - 10 Inference in First Order Logicby nptelhrd15,820 views
- 54:18
Lecture 34-Recurrence Relations(contd..)by nptelhrd8,939 views
- 53:50
Mod-1 Lec-1 Solution of ODE of First Order and First Degreeby nptelhrd45,594 views
- 54:28
Lecture 9 - Code Convertersby nptelhrd33,931 views
- 56:20
Lecture 23 - Equivalence relations and partitionsby nptelhrd16,742 views
- 44:42
Lec 1 | MIT 18.086 Mathematical Methods for Engineers IIby MIT75,830 views
- 57:36
Lecture 2 - Propositional Logic (Contd.)by nptelhrd51,164 views
- 58:13
Lecture 30 - Generating Functionsby nptelhrd18,348 views
- 57:01
Lecture 20 - Closure of Relations (Contd.)by nptelhrd10,033 views
- 78 videosУроки
- 57:17
Lecture 38-Finite State Automatonby nptelhrd51,926 views
@Tomiw because & might not work for all x's. and you don't want to make a statement about all x's. you want to make a statement *only* for those x's where Car(x).
xybersurfer 1 month ago in playlist Computer Sc - Discrete Mathematical Structures
guys does she explain Nested Quantifiers in this lecture?
linkinms 4 months ago
like all her tutorials
playlistLikeA 5 months ago
The most thing I like about this woman is her calmness and intense knowledge
AbubakerMahmoud 5 months ago
Very Helpful, thanks!
khgrigoryan 6 months ago
how come you use & with ∃x(Car(x)&~Carbu(x)) and => with ∀x(Car(x)=>Carbu(x)) I dont get it?
Tomiw 1 year ago
@ttsackey
~∀x(P(x))↔∃x(~P(x)).
Just sayin'.
wesselbindt 1 year ago
@wesselbindt
what you have means that there is no x in Carbu(x), to say it in English "there are no cars with carburettors" the correct way will be Ex~Carbu(x).
ttsackey 1 year ago
47:00
If I'd take the set of all cars to be the universe of discourse, would "~∀x Carbu(x)" be a proper way of expressing that not all cars have carburettors?
wesselbindt 1 year ago
32:30 , she confuses a premise and a conclusion with an ANTECEDENT and a CONSEQUENT respectively. All in all, a great lecture- so easily accessible. great stuff indeed!
1gombro 1 year ago