Introduction to First Order Logic

  Рет қаралды 266,047

Neso Academy

Neso Academy

Күн бұрын

Discrete Mathematics: Introduction to First-Order Logic or Predicate Logic
Topics discussed:
1) First-order logic or predicate logic.
2) What are predicates?
3) Subject and Predicate.
4) Predicate examples.
Follow Neso Academy on Instagram: @nesoacademy(bit.ly/2XP63OE)
Follow me on Instagram: @jaspreetedu(bit.ly/2YX26E5)
Contribute: www.nesoacademy...
Memberships: bit.ly/2U7YSPI
Books: www.nesoacademy...
Website ► www.nesoacademy...
Forum ► forum.nesoacade...
Facebook ► goo.gl/Nt0PmB
Twitter ► / nesoacademy
Music:
Axol x Alex Skrindo - You [NCS Release]
#DiscreteMathematicsByNeso #DiscreteMaths #FirstOrderLogic

Пікірлер: 46
@worlddream3704
@worlddream3704 4 жыл бұрын
Great lecture Neso academy will be remembered throughout my entire life. Thank you so much for all your lectures. Keep spreading knowledge.
@lata7914
@lata7914 4 жыл бұрын
Is these lectures heplfull for SET and NET exams
@reality8064
@reality8064 3 жыл бұрын
all study things i can found from here excellent work sir keep it on.
@shrutikamahajan5510
@shrutikamahajan5510 3 жыл бұрын
The lecture is awesome coz it's simple and forward not too much complex explanation and not too much unimportant stuff!!
@nikhil182
@nikhil182 3 жыл бұрын
Why teachers in universities/schools be this clear in their explanation?!!
@ashu3128
@ashu3128 Жыл бұрын
Heard your voice after long time after completion of data structures course,feeling good. Thank you,great explanation ❤️😊
@adarshkamji8643
@adarshkamji8643 4 жыл бұрын
Helping me alottt , Great work
@jayeshpatil511
@jayeshpatil511 4 жыл бұрын
Please sir upload next videos...sets, combination......
@jayeshpatil511
@jayeshpatil511 4 жыл бұрын
Thanks 😊 sir .... very helpful.... please upload next videos....
@youtubeweb3009
@youtubeweb3009 4 жыл бұрын
Sireeee Can youu do videos on c++ Out all of the channels here in KZbin you're teachings have very insightful insights that other channels don't provide I'm looking forward for your c++ playlist thankkkk youuuuu for your hardworkkkk
@gogigaga1677
@gogigaga1677 2 жыл бұрын
GREAT STUFF
@arjungaming2706
@arjungaming2706 3 жыл бұрын
Every time sir talks about mia i gets confused 😂
@akhakhi1386
@akhakhi1386 2 жыл бұрын
😂😂😂
@thisistusharmahajan
@thisistusharmahajan Жыл бұрын
*confused = distracted😂😂
@Yesiamwrong
@Yesiamwrong 6 ай бұрын
Mind focus is 0%
@justrise6154
@justrise6154 5 ай бұрын
Just assume 😂dont imagine lets take mia
@zainwasem
@zainwasem 2 жыл бұрын
Neso is not a academy it's actually a university. Neso University
@balakrishnaprasad8928
@balakrishnaprasad8928 4 жыл бұрын
Upload videos regularly
@deekshasharma7276
@deekshasharma7276 4 жыл бұрын
Please cover this course as ASAP.
@aishwaryalokhande4802
@aishwaryalokhande4802 4 жыл бұрын
"Numerical technique" ke upar videos banayi na
@tsiva216
@tsiva216 3 жыл бұрын
Excellent lecture 👌
@xudongzhang3877
@xudongzhang3877 3 жыл бұрын
Great lecture!
@thakurshubhamsingh7349
@thakurshubhamsingh7349 4 жыл бұрын
Do upload videos regularly ...
@MathCuriousity
@MathCuriousity Жыл бұрын
Hey love your channel and may I ask a question: If in set theory, I can create a relation which takes a set of elements which are propositions (like set a is a subset of set b) and map it to a set of elements containing “true” and “false”, then why is it said that set theory itself can’t make truth valuations? I ask this because somebody told me recently that “set theory cannot make truth valuations” Is this because I cannot do what I say above? Or because truth valuations happen via deductive systems and not by say first order set theory ?
@know1374
@know1374 3 жыл бұрын
Great explanation. Please use a mic filter to avoid frequent popping when you pronounce P or B.
@sebon11
@sebon11 3 жыл бұрын
Thanks 4 video
@rishabgangwar9901
@rishabgangwar9901 4 жыл бұрын
bhai aap ne hi apne jeene ki wajah dhoondi hain.
@tanujmagicandstudy1813
@tanujmagicandstudy1813 4 жыл бұрын
Sir Plz make next video s about discrete mathematics
@dnrkcharan
@dnrkcharan 4 жыл бұрын
Do you have videos on electrical machines ?
@sakatakash1809
@sakatakash1809 2 ай бұрын
Tomorrow is my exam and watching me 11:50
@abdiazizahmedhashi2800
@abdiazizahmedhashi2800 4 жыл бұрын
thnk u
@RaselAhmed-ix5ee
@RaselAhmed-ix5ee 4 жыл бұрын
Using First Order Logic to represent the following statements, prove that Rose and James are cousins. Ron and Ginny are siblings. Ginny is married to Harry. James is Harry’s son. Lily is Ginny’s daughter. Rose is Ron’s daughter. Arthur is Ginny’s father. help me pls for the answere
@faisalyazdanie6032
@faisalyazdanie6032 2 жыл бұрын
P, P ->Q entailed P? Is it true or false?
@bhanuprakash9229
@bhanuprakash9229 15 күн бұрын
True
@shakiburrahman1529
@shakiburrahman1529 Жыл бұрын
Sir, Can you please give the slides in a drive link or something?? Please please!!
@Rahul-yu3ro
@Rahul-yu3ro Жыл бұрын
2:50 - (personal timestamp)
@trevas4148
@trevas4148 Ай бұрын
No way you ain't watching 5 min video in one go, 11 months ago ik but bruuuuuh tik tok brain is crazy
@heromiIes
@heromiIes 3 жыл бұрын
Writing your g's as q's is a potential problem
@voiceonkarma021
@voiceonkarma021 Жыл бұрын
Why sir forget to take her surname😅😅😂😂😂😂😂😂
@anand_dudi
@anand_dudi 3 жыл бұрын
do not use word mia man it's serious lecture
@wisps-vn7oy
@wisps-vn7oy 4 жыл бұрын
wait, is this math or philosophy or what the even
@belakun1244
@belakun1244 3 жыл бұрын
yes
@mhdfrb9971
@mhdfrb9971 Жыл бұрын
Combination of both
@MemeEditz12
@MemeEditz12 5 ай бұрын
Mathematical logic
@elvitadsilva9101
@elvitadsilva9101 3 жыл бұрын
woooowww grape lol dat is ok looool
Finding The Truth Values of Predicates (Examples)
2:30
Neso Academy
Рет қаралды 105 М.
Quantifiers
5:05
Neso Academy
Рет қаралды 437 М.
So Cute 🥰 who is better?
00:15
dednahype
Рет қаралды 18 МЛН
When Rosé has a fake Fun Bot music box 😁
00:23
BigSchool
Рет қаралды 5 МЛН
“Don’t stop the chances.”
00:44
ISSEI / いっせい
Рет қаралды 43 МЛН
Rules of Inference - Definition & Types of Inference Rules
7:44
Neso Academy
Рет қаралды 688 М.
How to Read Logic
27:32
Another Roof
Рет қаралды 214 М.
[Logic] Predicate Logic
19:17
TrevTutor
Рет қаралды 166 М.
Propositional Logic − Logical Equivalences
17:23
Neso Academy
Рет қаралды 890 М.
FOL (First Order Logic)
21:23
Francisco Iacobelli
Рет қаралды 161 М.
How to write First order/Predicate logic | Artificial Intelligence
9:24
Propositional Logic: The Complete Crash Course
53:48
TrevTutor
Рет қаралды 94 М.