Artificial intelligent assistant

Why is the implication “If Tuesday is a day of the week, then I am a penguin.” a false implication? I can guess it is because I am a penguin is false, and t->f is false. But isn't "I am a penguin" by itself just a proposition and is not inherently true or false. Can't it be true that "I am a penguin"? Then why is the above implication false?

A proposition is an expression that have a definite truth value.

Thus "Napoleon is a penguin" is a _proposition_ , because it has a truth-value, and it is _false_.

Expression with indexicals are more complicated, because they need a "context" to be understood.

If I (mauro) am uttering it, because I (mauro) am not a penguin, then the expression "I'm not a penguin" is _true_.

The same (presumibely) if it is uttered by you (null).

But if the statement is uttered by Mumble (the protagonist of Happy Feet), in this case it is _true_.

* * *

Thus, following Demosthene's comment, the statement :

> “If Tuesday is a day of the week, then I am a penguin”

can be _true_ , if uttered by Mumble.

xcX3v84RxoQ-4GxG32940ukFUIEgYdPy 76a3f49413d4fb73c9acb12eff082b52