diff --git a/public/about/index.html b/public/about/index.html index 545d1b3..e57bb2b 100644 --- a/public/about/index.html +++ b/public/about/index.html @@ -6,7 +6,7 @@ - + @@ -29,7 +29,7 @@ - + @@ -38,7 +38,7 @@ - + @@ -147,17 +147,16 @@
-

- +

+
diff --git a/public/index.html b/public/index.html index 246b830..2a114b2 100644 --- a/public/index.html +++ b/public/index.html @@ -1,7 +1,7 @@ - + abdulocracy's personal site @@ -167,7 +167,10 @@
- Mathematics without infinitely small, continuous mathematical objects. The mathematics of finite sets. Propositional calculus Comes from the linguistic concept that things can be either true or false. We should avoid variables when forming statements, as they may change the logical value. (2=7) statement (x=5) not a statement In logic we do not use the equals sign, we use the equivalence sign (\equiv). Logical values (booleans) are denoted by either 0 or 1 (or t, f, etc. + Mathematics without infinitely small, continuous mathematical objects. The mathematics of finite sets. Propositional calculus Comes from the linguistic concept that things can be either true or false. +We should avoid variables when forming statements, as they may change the logical value. +(2=7) statement (x=5) not a statement In logic we do not use the equals sign, we use the equivalence sign (\equiv). +Logical values (booleans) are denoted by either 0 or 1 (or t, f, etc.
diff --git a/public/index.xml b/public/index.xml index 0a267de..1ea1082 100644 --- a/public/index.xml +++ b/public/index.xml @@ -18,7 +18,10 @@ Wed, 20 Nov 2019 00:00:00 +0000 https://abdulocra.cy/posts/eidma/ - Mathematics without infinitely small, continuous mathematical objects. The mathematics of finite sets. Propositional calculus Comes from the linguistic concept that things can be either true or false. We should avoid variables when forming statements, as they may change the logical value. \(2=7\) statement \(x=5\) not a statement In logic we do not use the equals sign, we use the equivalence sign \(\equiv\). Logical values (booleans) are denoted by either 0 or 1 (or t, f, etc. + Mathematics without infinitely small, continuous mathematical objects. The mathematics of finite sets. Propositional calculus Comes from the linguistic concept that things can be either true or false. + We should avoid variables when forming statements, as they may change the logical value. + \(2=7\) statement \(x=5\) not a statement In logic we do not use the equals sign, we use the equivalence sign \(\equiv\). + Logical values (booleans) are denoted by either 0 or 1 (or t, f, etc. @@ -27,7 +30,7 @@ Mon, 04 Nov 2019 00:00:00 +0000 https://abdulocra.cy/about/ - name: Abdulkadir Furkan Şanlı handle: abdulocracy contact: email: my handle at disroot dot org irc (freenode): abdulocracy + name: Abdulkadir Furkan Şanlı handle: abdulocracy contact: email: my handle at disroot dot org irc (freenode): abdulocracy diff --git a/public/posts/eidma/index.html b/public/posts/eidma/index.html index 05cb824..97e0f95 100644 --- a/public/posts/eidma/index.html +++ b/public/posts/eidma/index.html @@ -6,7 +6,10 @@ - + @@ -29,7 +32,10 @@ - + @@ -38,7 +44,10 @@ - + @@ -158,19 +167,19 @@

Propositional calculus

-
  • Not necessarily connectives but unary operations: +

  • Not necessarily connectives but unary operations:

    • -
  • A (propositional) formula is a “properly constructed” logical expression. +

  • A (propositional) formula is a “properly constructed” logical expression.

    • -
  • Double negation law: \(\neg(\neg p) \equiv p\)
    • +

  • Double negation law: \(\neg(\neg p) \equiv p\)

  • De Morgan’s laws: \(\neg(p \land q) \equiv \neg p \lor \neg q\) and \(\neg(p \lor q) \equiv \neg p \land \neg q\).

    • -
  • If and only if (iff): \(p \iff p \equiv (p \implies q) \land (q \implies p)\)
    • -
  • Contraposition law: +

  • If and only if (iff): \(p \iff p \equiv (p \implies q) \land (q \implies p)\)

    • +

  • Contraposition law:

    • -
  • Contradiction law: +

  • Contradiction law:

    • diff --git a/public/posts/index.html b/public/posts/index.html index bcd9e7a..e30dda2 100644 --- a/public/posts/index.html +++ b/public/posts/index.html @@ -164,7 +164,10 @@
    - Mathematics without infinitely small, continuous mathematical objects. The mathematics of finite sets. Propositional calculus Comes from the linguistic concept that things can be either true or false. We should avoid variables when forming statements, as they may change the logical value. (2=7) statement (x=5) not a statement In logic we do not use the equals sign, we use the equivalence sign (\equiv). Logical values (booleans) are denoted by either 0 or 1 (or t, f, etc. + Mathematics without infinitely small, continuous mathematical objects. The mathematics of finite sets. Propositional calculus Comes from the linguistic concept that things can be either true or false. +We should avoid variables when forming statements, as they may change the logical value. +(2=7) statement (x=5) not a statement In logic we do not use the equals sign, we use the equivalence sign (\equiv). +Logical values (booleans) are denoted by either 0 or 1 (or t, f, etc.
    diff --git a/public/posts/index.xml b/public/posts/index.xml index 737366e..71b8b8f 100644 --- a/public/posts/index.xml +++ b/public/posts/index.xml @@ -18,7 +18,10 @@ Wed, 20 Nov 2019 00:00:00 +0000 https://abdulocra.cy/posts/eidma/ - Mathematics without infinitely small, continuous mathematical objects. The mathematics of finite sets. Propositional calculus Comes from the linguistic concept that things can be either true or false. We should avoid variables when forming statements, as they may change the logical value. \(2=7\) statement \(x=5\) not a statement In logic we do not use the equals sign, we use the equivalence sign \(\equiv\). Logical values (booleans) are denoted by either 0 or 1 (or t, f, etc. + Mathematics without infinitely small, continuous mathematical objects. The mathematics of finite sets. Propositional calculus Comes from the linguistic concept that things can be either true or false. + We should avoid variables when forming statements, as they may change the logical value. + \(2=7\) statement \(x=5\) not a statement In logic we do not use the equals sign, we use the equivalence sign \(\equiv\). + Logical values (booleans) are denoted by either 0 or 1 (or t, f, etc. diff --git a/public/tags/university-notes/index.html b/public/tags/university-notes/index.html index c3a8966..bab16c0 100644 --- a/public/tags/university-notes/index.html +++ b/public/tags/university-notes/index.html @@ -164,7 +164,10 @@
    - Mathematics without infinitely small, continuous mathematical objects. The mathematics of finite sets. Propositional calculus Comes from the linguistic concept that things can be either true or false. We should avoid variables when forming statements, as they may change the logical value. (2=7) statement (x=5) not a statement In logic we do not use the equals sign, we use the equivalence sign (\equiv). Logical values (booleans) are denoted by either 0 or 1 (or t, f, etc. + Mathematics without infinitely small, continuous mathematical objects. The mathematics of finite sets. Propositional calculus Comes from the linguistic concept that things can be either true or false. +We should avoid variables when forming statements, as they may change the logical value. +(2=7) statement (x=5) not a statement In logic we do not use the equals sign, we use the equivalence sign (\equiv). +Logical values (booleans) are denoted by either 0 or 1 (or t, f, etc.
    diff --git a/public/tags/university-notes/index.xml b/public/tags/university-notes/index.xml index f8316aa..44836a0 100644 --- a/public/tags/university-notes/index.xml +++ b/public/tags/university-notes/index.xml @@ -18,7 +18,10 @@ Wed, 20 Nov 2019 00:00:00 +0000 https://abdulocra.cy/posts/eidma/ - Mathematics without infinitely small, continuous mathematical objects. The mathematics of finite sets. Propositional calculus Comes from the linguistic concept that things can be either true or false. We should avoid variables when forming statements, as they may change the logical value. \(2=7\) statement \(x=5\) not a statement In logic we do not use the equals sign, we use the equivalence sign \(\equiv\). Logical values (booleans) are denoted by either 0 or 1 (or t, f, etc. + Mathematics without infinitely small, continuous mathematical objects. The mathematics of finite sets. Propositional calculus Comes from the linguistic concept that things can be either true or false. + We should avoid variables when forming statements, as they may change the logical value. + \(2=7\) statement \(x=5\) not a statement In logic we do not use the equals sign, we use the equivalence sign \(\equiv\). + Logical values (booleans) are denoted by either 0 or 1 (or t, f, etc.