diff --git a/Logic/General_concepts/Soundness.md b/Logic/General_concepts/Soundness.md
index d325ff8..80b84b5 100644
--- a/Logic/General_concepts/Soundness.md
+++ b/Logic/General_concepts/Soundness.md
@@ -6,7 +6,7 @@ tags: [propositional-logic]
 
 # Soundness
 
-Recall that in the definition of [deductive validity](Validity%20and%20entailment.md#validity) we do not say: an argument is valid iff if the premises _are true_ and the conclusion _is true_. We say _if it is possible for the premises to be true_. This is important: we are not interested in the actual truth of the premises or the conclusion.
+Recall that in the definition of [deductive validity](/Logic/General_concepts/Validity_and_entailment.md#validity) we do not say: an argument is valid iff if the premises _are true_ and the conclusion _is true_. We say _if it is possible for the premises to be true_. This is important: we are not interested in the actual truth of the premises or the conclusion.
 
 #### Demonstration
 
@@ -39,7 +39,6 @@ We must not forget that truth alone is not the sole condition for soundness. We
 ```
 (P1) London is the capital of the United Kingdom
 (P2) The capital of the United Kingdom is in the southern part of the United Kingdom.
-    Can
 (P3) Cambridge is not the capital of the United Kingdom
 ____________________________________________
 (C) London is south of Cambridge
diff --git a/Logic/General_concepts/Syllogism.md b/Logic/General_concepts/Syllogism.md
index 5bb1b28..6911386 100644
--- a/Logic/General_concepts/Syllogism.md
+++ b/Logic/General_concepts/Syllogism.md
@@ -4,9 +4,11 @@ categories:
 tags: [propositional-logic]
 ---
 
+# Syllogism
+
 In order to make assertions about the relative [consistency](/Logic/General_concepts/Logical_consistency.md) or inconsistency of a set of propositions we advance arguments. Consider everyday life: if we are having an argument with someone, we believe that they are wrong. A more logical way to say this is that we believe that their beliefs are inconsistent. In order to change their viewpoint or point out why they are wrong we advance an argument intended to show that belief A conflicts with belief B. Or if C is true, then you cannot believe that D.
 
-In formal terms **an argument is a set of sentences comprising one or more premises and a conclusion. The conclusion is taken to be supported by the premises.**
+In formal terms **an argument is a set of propositions comprising one or more premises and a conclusion. The conclusion is taken to be supported by the premises.**
 
 > The terms **argument** and **syllogism** are used interchangeably in logic to describe the above feature of a set of propositions.
 
diff --git a/Logic/General_concepts/Validity_and_entailment.md b/Logic/General_concepts/Validity_and_entailment.md
index ef91b89..ead2d54 100644
--- a/Logic/General_concepts/Validity_and_entailment.md
+++ b/Logic/General_concepts/Validity_and_entailment.md
@@ -1,7 +1,7 @@
 ---
 categories:
-  - Mathematics
-tags: [logic]
+  - Logic
+tags: [propositional-logic]
 ---
 
 ## Validity