LogicalImplication

.

This is an attempt to make clear why, in Propositional Calculus,
we take "A => B" to be the same as "~A v B"

It's not complete ... definitely a work in progress.

https://www.solipsys.co.uk/cgi-bin/DiscDAG.py?DiscussionID=LogicalImplication&ShowNeighbourhood=True&SelectOnly=N_20250217223718a_ColinWright



Backlinks: index Characters In Moby Dick MonostableTetrahedron