Update testing nbs and gitignore

Update testing nbs in booleans and booleans/implications pkgs and update .gitignore file to include .db files (i.e. database files). Related Issue(s): #312 .

Author: wdcraft01

.gitignore

@@ -16,3 +16,4 @@ doc/doctrees
 doc/html
 *.DS_Store
 .DS_Store
+*.db

packages/proveit/logic/booleans/implication/testing_20230426.ipynb

@@ -3,7 +3,6 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "4efc48b0",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -21,15 +20,13 @@
   },
   {
    "cell_type": "markdown",
-   "id": "7ebef9d8",
    "metadata": {},
    "source": [
     "### _Modus Ponens_"
    ]
   },
   {
    "cell_type": "markdown",
-   "id": "4db20489",
    "metadata": {},
    "source": [
     "Some quick and simple testing involving the most basic _modus ponens_ judgment."
@@ -38,7 +35,6 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "112872a9",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -48,7 +44,6 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "5ff4502c",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -58,7 +53,6 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "403a7b97",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -68,7 +62,6 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "796d2d92",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -77,15 +70,13 @@
   },
   {
    "cell_type": "markdown",
-   "id": "695c4c4c",
    "metadata": {},
    "source": [
     "### Subsets"
    ]
   },
   {
    "cell_type": "markdown",
-   "id": "8ced89a1",
    "metadata": {},
    "source": [
     "Some review about lists as “subsets” of other lists …"
@@ -94,7 +85,6 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "91d22ac9",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -104,7 +94,6 @@
   },
   {
    "cell_type": "markdown",
-   "id": "7de856e3",
    "metadata": {},
    "source": [
     "For “comparable” list items, we can utilize `<` and `<=`:"
@@ -113,7 +102,6 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "b957870a",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -122,7 +110,6 @@
   },
   {
    "cell_type": "markdown",
-   "id": "2f7a9c1b",
    "metadata": {},
    "source": [
     "But our situation is more complicated:"
@@ -131,7 +118,6 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "354e03c7",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -143,7 +129,6 @@
   },
   {
    "cell_type": "markdown",
-   "id": "05eac8a6",
    "metadata": {},
    "source": [
     "So we can convert to set and use issubset(), which should work for us since any repeated list elements can be safely eliminated anyway:"
@@ -152,7 +137,6 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "65cad4ad",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -162,7 +146,6 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "651ed9c3",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -172,7 +155,6 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "b3b90519",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -181,15 +163,13 @@
   },
   {
    "cell_type": "markdown",
-   "id": "bc2d24db",
    "metadata": {},
    "source": [
     "### sqlite Database Investigations"
    ]
   },
   {
    "cell_type": "markdown",
-   "id": "5cd3ef7d",
    "metadata": {},
    "source": [
     "We begin by creating a database (db) and then a table within that db (later we create a separate file of database functions to simplify this process):"
@@ -198,7 +178,6 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "a8649d85",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -237,7 +216,6 @@
   },
   {
    "cell_type": "markdown",
-   "id": "2d894eb0",
    "metadata": {},
    "source": [
     "Now we can put things into the table:"
@@ -246,7 +224,6 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "2499ef7b",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -271,7 +248,6 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "be1b8739",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -296,7 +272,6 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "825ff0d0",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -318,6 +293,13 @@
     "conn.close()"
    ]
   },
+  {
+   "cell_type": "markdown",
+   "metadata": {},
+   "source": [
+    "## REMOVED CELL “id” lines up through here."
+   ]
+  },
   {
    "cell_type": "markdown",
    "id": "040b98b4",

packages/proveit/logic/booleans/testing_20230812.ipynb

@@ -3,7 +3,6 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "49be756f",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -20,7 +19,6 @@
   },
   {
    "cell_type": "markdown",
-   "id": "958b3c4b",
    "metadata": {},
    "source": [
     "## Looking at Axiom attributes"
@@ -29,7 +27,6 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "e88da35c",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -40,7 +37,6 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "3c419b78",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -51,7 +47,6 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "35b93e5f",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -61,7 +56,6 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "2746e2e7",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -72,7 +66,6 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "65f66fe0",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -82,7 +75,6 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "096a7bbb",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -91,7 +83,6 @@
   },
   {
    "cell_type": "markdown",
-   "id": "cad3597e",
    "metadata": {},
    "source": [
     "## Looking at Common Expression attributes"
@@ -100,7 +91,6 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "3e22d3ae",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -111,7 +101,6 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "02d909af",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -120,7 +109,6 @@
   },
   {
    "cell_type": "markdown",
-   "id": "02c69912",
    "metadata": {},
    "source": [
     "## Theory Package and Database"
@@ -129,7 +117,6 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "e30a5c5e",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -140,7 +127,6 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "2e758a75",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -150,7 +136,6 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "93845463",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -199,7 +184,6 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "6740c3cc",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -210,7 +194,6 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "15b30516",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -220,7 +203,6 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "1015ccf9",
    "metadata": {},
    "outputs": [],
    "source": []