#predicate logic

[melimelomoi-blog]

From ∀ Gundam we can deduce ∃ Gundam.

[brotherabhishek]

They said a philosophy degree would be useless, but at least I can make mediocre comics ¯\_(ツ)_/¯

[alvsstudies]

What I thought studying philosophy was going to be like: "this week we're going to read Plato's Theaetetus and follow that up with a discussion on the nature of knowledge"

What it's actually like: "hey here's how to write "Barack Obama is a figment of your imagination" using first-order predicate logic"

[blacklinguist]

also how would you change this sentence into predicate notation --> miriam thinks zara is beautiful

THINK(m, Beautiful(z))

THINK(m, (Beautiful(z))

or something else i didn’t put here

[abidshafee]

Quantifiers | Quantification | Predicate Logic | Discrete Mathematics

Quantifiers | Quantification | Predicate Logic | Discrete Mathematics

Previously, we have discussed the basic idea of Predicate logic. There we saw that predication only represents an identical relationship between simple entities (i. e – x, y). Therefore, we need a different mechanism (namely Quantification) that allow us formalization relationship between sets of entities. Here in this article we will talk about Quantifiers that expand the basic idea of predicat…

View On WordPress

[kitisonfire]

Spicing up my philosophy studying

[splintersfeelings]

Predicate

I remember my dad telling me That, when he was a kid he told himself, "The girl I'm going to marry Is somewhere out there in the world right now Living her life, and we're both just waiting For the day our lives intersect."

Mom laughed. "How did you know she had already been born? You could have fallen in love with A much younger woman."

My dad is a couple years older than my mom. He repeated two grades. He says, He was waiting for her.

(I remember I used to cry when my parents fought Because I didn't yet know the only people worth fighting with Are the ones you care about, and the trick is figuring out How to do it and still love each other afterwards)

Was my father always this confident? Was my mother always this patient? I wonder how much they've changed Each other, grown together, What they would have been without each other.

My father grew up in Kowloon. My mother rarely left the island. How strange to finally meet Speaking Cantonese in Canada…

I'm sitting alone in my room as I write this, singing to myself under my breath, inhaling softly while thinking about the shape of my mouth. A mouth is functional because it is empty, it produces meaning out of absence. A mouth speaks for the stomach, it speaks for the lungs. A mouth that is full is useless until what it holds is either swallowed or spoken. It’s why I enjoy going to the dentist, and why some people fear it. It’s a strangely intimate moment. Your dentist knows more about the inside of your mouth and the contours of your teeth than anyone else in the world, maybe even yourself.

It's probably for the best if I never meet the love of my life, Because my greatest talent is disappointment. The only thing left to know is whether I'll be disappointed, or if they will.

When I'm afraid enough to feel sick, My hair falls out, an auto-immune reminder Of my mind in disarray. Someday, I'll have no hair, Just like the present king of France, Or the person whose heart flutters When they hear the sound of my voice.

[programmingmadness]

Any tips for taking Logic for Computer Scientists? Aka Data Log and Predicate Logic?

Hi! Sorry it took me so long, only now got my internet back after moving and Tumblr doesn’t properly notify me of messages in my inbox… Anyway:

I did do some logic during my degree, but only when I was taking an AI class, so I sadly don’t have much to offer. Do you need advice on how to study for logic or on whether to take it in the first place? For the latter I’d say that a good basis in logic can’t hurt, but that you’ll probably need it only rarely, depending on what your study focus is. You’ll need it for AI and anything hardware related, but I’m guessing you’ll get the basics in some other courses as well. So if you don’t think you’ll absolutely need it and have other more important courses to choose, I’d drop it. But yeah, it can be useful and I wouldn’t dismiss it outright.

As for study tips I’m hoping someone else has suggestions. Maybe @algorhythmn?