Last Sync: 2022-04-24 15:38:45

Logic/Conditional_Introduction.md

@@ -1,10 +1,11 @@
 ---
+title: Conditional introduction
 tags:
   - Logic
   - propositional-logic
   - derivation-rules
 ---
 
-If we can show that $Q$ follows from $P$ (typically via a subproof) than we can assert that P implies Q.  This is also sometimes known as *Conditional Proof*
+If we can show that $Q$ follows from $P$ (typically via a subproof) than we can assert that P implies Q. This is also sometimes known as _Conditional Proof_
 
 ![cond-intro.png](../img/cond-intro.png)