<div dir="ltr">As I see it, '() may not specifically be a lat, but it's not *not* a lat. not not == is<div><br></div><div>Perhaps with a 3rd logical value we could declare it a "maybe" lat. That's the same answer I would put in the truth table for implication</div><div><br></div><div>T T -> T</div><div>T F -> F</div><div>F T -> Maybe</div><div>F F -> Maybe</div><div><br></div><div>I know there are alternative logical systems, but I don't actually know any of them, so sorry to all mathematicians I may have offended with the above.</div></div>