From 43884d0e9316776a1378b741d3a12ce5053b9a27 Mon Sep 17 00:00:00 2001
From: tactonbishop <tactonbishop@gmail.com>
Date: Sun, 21 Aug 2022 17:30:05 +0100
Subject: [PATCH] Last Sync: 2022-08-21 17:30:05

---
 Logic/Biconditional_Elimination.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Logic/Biconditional_Elimination.md b/Logic/Biconditional_Elimination.md
index ee681a8..8374ee0 100644
--- a/Logic/Biconditional_Elimination.md
+++ b/Logic/Biconditional_Elimination.md
@@ -1,7 +1,7 @@
 ---
 categories:
   - Logic 
-tags: [propositional-logic]
+tags: [propositional-logic, ABBA]
 ---
 
 Give that the biconditional means that if $P$ is the case, $Q$ is the case and if $Q$ is the case, $P$ must be the case, if we have $P \equiv Q$ and $P$, we can derive $Q$ and vice versa.