Translating ENGLISH into PREDICATE LOGIC

Показать описание

In this video on Logic, we learn to translate English sentences into Predicate Logic. We do sentences with only constants and predicates, as well as introduce the universal and existential quantifier "some x is P" and "every x is P" and then do some practice problems. Predicate Logic translation is fun, eh?

0:00 - [Establishing Keys]
3:37 - [Sentences with Constants]
8:24 - [Universal Quantifier (for all)]
12:40 - [Existential Quantifier (for some)]
15:48 - [Practice Sentences 1-4 (easier)]
19:40 - [Practice Sentences 5-7 (harder)]

#PredicateLogic #QuantificationalLogic #TranslatingEnglish

*--Playlists--*

*--Recommended Textbooks--*

Hello, welcome to TheTrevTutor. I'm here to help you learn your college courses in an easy, efficient manner. If you like what you see, feel free to subscribe and follow me for updates.

Special Thanks to the following incredible supporters for supporting the channel and making these videos possible!
- Nikita Tsyganov

Рекомендации по теме

Комментарии

Can I just say how much of a life saver you are? Concepts explained crystal clear, unlike my professor. Thank you so much!

mangomondo

This video was so helpful.. Thank you so much :))

nitheeshraajar

thankyou so much trev . descrete mathematics was nightmare for me until i found your channel thank you so much.

phatcat

Wow men ! you save my semester
Thx alot 🙏

bishwajeetpandey

I don't get the sushi example, if I say that someone eats sushi doesn't it mean that this someone eats at least one kind of sushi and not necessarily all kinds of sushi? why use "∀y[Sy →Exy]" instead of "∃y[Sy∧Exy]" ?

funkysagancat

Hi Trev, thank you so much for making this vid! Could you explain how to translate this into predicate logic: A stamp collector wants to include in her collection exactly one stamp from each country of Africa. If I(s) means that she has stamp s in her collection, F(s, c) means that stamp s was issued by country c, the domain for s is all stamps, and the domain for c is all countries of Africa, express the statement that her collection satisfies her requirement. (Do not use Ǝ! symbol)

amberyang

very helpful, just wanted to say there’s a mistake at 18:22, you didn’t demonstrate what is the main conjunction, whether it’s the first or the second

marciocosta

this is so helpful. thank you so much!!

kyaruh

For question 5, if you define s as Sushi, could you not write Ax(Fx ^ Exs -> Tx)

grg

why we didn't add for all x x is a cake for previous examples but we did it for sushi. If food names were considered generic then we had to do it for cake and pie too.

rhino_for_free

your tools are awesome sir, which tool are you using sir?

revanthsrinivaslubolla

The sushi example feels needlessly complicated. Why not just go with (Fx ^ Sx) where the S means "eats sushi", treating it as a property of x instead.

Eddies_Bra-att-ha-grejer

Do you have smt harder in english like you lear basic things like this or ?

davidgirgar

How would express something like 'If John claims that all dogs are happy then all dogs are happy'?

Seems like 'all dogs are happy' would have to both be treated as an object and a proposition? Isn't clear how you can express that using the notation of predicate logic?

malteeaser