[ivan.moony]

You make me blush.

 

Better find some girl, I'm of no use, I don't respond to compliments well.

 

[8pla.net]

Now, Emo may highlight its learning.
For example, enter something with
the word "fish" and Emo highlights
"fish = animal" in red.

Added from the log...

learn a shark is a fish

Now Emo highlights
"fish = animal" and "shark = fish"  in red.

« Edit Notes:  Added latest test run

[Art]

@ Lock,

Sorry, I inserted an incorrect link.
I had much better luck locating the audit type of courses via YouTube as in this link.

Those others (previously shown) were for actual courses online.

Try this link:
https://www.youtube.com/results?search_query=MIT+audit+courses

[LOCKSUIT]

(p ∧ ¬p) is unsatisfiable

"Sometimes you are hungry and sometimes you are not hungry."
(1 & 1)
(1)

Dis-proven.



Saying "pigs don't fly" is True. Saying "Pigs fly" is False, but saying "if pigs fly" is true even though its parts are false. Their statement is true... only if the latter is "pigs fly", not because of a negation.

[ivan.moony]

Lock,

What you wrote translates differently to a logic. (P & ~P) would be translated from "I'm hungry & I'm not hungry", and it is indeed contradictory.

I think "Sometimes" has to do something with existential quantification dealing with different time intervals. I think you need predicate logic to express it, propositional logic is not enough. But it's a brain teaser, I have to admit.

[Edit]
here:
ThereExist time1. ThereExist time2. (Hungry(time1) & ~Hungry(time2))

[LOCKSUIT]

I'm on 4.2 section, doing good or slow turtle snail am I?

I feel a departure/disagreement, so I'm reading it all but taking less bits per amount of reading. Also it's becoming quite confusing and math-like lol.

Still, they say things in line with my work nevertheless. So it's good to read.

another test for you lol:
Is the following whole thing True?: "The following sentence is True if at least 1 is True (I could say all but one or 3 etc, or False if at least 1 or etc is False) "I can jump. I can swim. I can reach the sun's core. I can eat.""



So Section 4.6 said instead of using truth tables to determine if a sentence is true by its atoms that we should instead assume parts of it as other parts by checking each others truths match enough?

[LOCKSUIT]

see above:

P.S., I woke up this morning in the middle of my sleep saying "and the propositional logic derivatives..." and was like oh no...lol...clearly it was running through my WM once 'me' awoked

[LOCKSUIT]

see above


You'll like this one lol:

{p, q} p or q is true....{¬q, r} q is false or r is true....If q is false, then by the first clause p must be true. If q is true, then, by the second clause, r must be true. Since q must be either true or false, then it must be the case that either p is true or r is true. So we should be able to derive the clause {p, r}

p=born in mom
q=alien instead
r=grew up with alien
either I was born in my mom or an alien..........either I wasn't born in an alien or I grew up with a alien
I was born in my mom or I was born in an alien and grew up with the alien

[Art]

Hey Lock,

Here's one of my favorite T-shirts containing a bit of logical "choices" or perhaps not so much...Either way, it doesn't look very good for humans.
So much for logic...

[8pla.net]

Emo has learned negation.  The symbol of negation is: ~

Example:

INPUT: Learn the world is not flat

OUTPUT: world ~ flat

TRANSLATION:   world not flat

Reference:  http://chatbot.ml/emo

[LOCKSUIT]

If anyone wants Logic to be incorporated into an AGI, you'll have to twist it in and out from where it is now, of course. Make something new, but come up with the answers.

[ivan.moony]

Art, here is another one, hehe 

[LOCKSUIT]

Excellent, Ivan, Excellent! Very well laid out. It seems ready to implement. I would be scared too, it seems it is not any good!

On Lesson 6....I don't have the time to grasp it at full fledged details, so, ivan, a lesson back or so, can you explain in pure English using an simple example of concept explaining what it means about the "eliminate double negations"? Is that like two sentences in premises that both contradict or say "it is not the case..."? Or something else like a meta technique with clauses like sidestep an alley just to reach the roof like a ninja (meta jobs)?

[ivan.moony]

It's simple:
(~ ( ~ x)) -> x

[Art]

"I'm not going to not pick you".
(two negatives in English) = positive...You are going to get picked.