7-10

johnbeve · Feb 4, 2023 · c19439b · c19439b
1 parent 193df14
commit c19439b
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 18 deletions.
diff --git a/Image/tree_proof_1.png b/Image/tree_proof_1.png
diff --git a/Project-1/README.md b/Project-1/README.md
@@ -188,8 +188,6 @@ Answer:
 
 (a) ∀x∀y(¬(Px ∧ Qx) → (¬Px ∨ ¬Qx)) is valid.
 
-flowchart TB
-
 1.¬∀x∀y(¬(Px ∧ Qx) → (¬Px ∨ ¬Qx))
 
 2.¬∀y(¬(Pa ∧ Qa) → (¬Pa ∨ ¬Qa))(1)
@@ -210,33 +208,22 @@ flowchart TB
 
 10.¬Pa(4)
 x
+
 11.¬Qa(4)
 x
 
-```mermaid
-flowchart TB
-    A --> C
-    A --> D
-    B --> C
-    B --> D
-```
+
+
+
 
 ```mermaid
 flowchart TB
-    A --> C
+    A  --> C 
     A --> D
     B --> C
     B --> D
 ```
 
-```mermaid
-flowchart TD;
-A-->B;
-A-->C;
-B-->D;
-C-->D;
-```
-