From 4bf562dffbf1ab92d0da8440f146abd88451f6cd Mon Sep 17 00:00:00 2001 From: thomasabishop Date: Fri, 23 Dec 2022 12:30:06 +0000 Subject: [PATCH] Autosave: 2022-12-23 12:30:06 --- .../Corresponding_material_and_biconditional.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Logic/Laws_and_theorems.md/Corresponding_material_and_biconditional.md b/Logic/Laws_and_theorems.md/Corresponding_material_and_biconditional.md index 70c3bde..78a6733 100644 --- a/Logic/Laws_and_theorems.md/Corresponding_material_and_biconditional.md +++ b/Logic/Laws_and_theorems.md/Corresponding_material_and_biconditional.md @@ -1,7 +1,7 @@ --- categories: - - Mathematics -tags: [logic] + - Logic +tags: [propositional-logic] --- ## Corresponding material conditional to show validity