diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-02-23 19:00:45 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-02-23 19:00:45 +0000 |
commit | b393ff83958f78f5450dffcc2679650ec300ff6e (patch) | |
tree | 2074aecc8b420a621da11a71dafa0a01314a12d6 /content.org | |
parent | a255da46764a837893873697740faeb85456c623 (diff) | |
download | yannherklotz.com-b393ff83958f78f5450dffcc2679650ec300ff6e.tar.gz yannherklotz.com-b393ff83958f78f5450dffcc2679650ec300ff6e.zip |
Add draft about three-valued logic
Diffstat (limited to 'content.org')
-rw-r--r-- | content.org | 26 |
1 files changed, 25 insertions, 1 deletions
diff --git a/content.org b/content.org index 8c93890..997b562 100644 --- a/content.org +++ b/content.org @@ -1,4 +1,4 @@ -#+title: Personal Document +#+title: Personal Website #+author: Yann Herklotz #+email: yann@yannherklotz.com #+setupfile: setup.org @@ -33,6 +33,30 @@ is located. Here you can find all my previous posts: +** TODO Why Even Bother with Three-Valued Logic? :logic: +:PROPERTIES: +:EXPORT_DATE: 2022-02-22 +:EXPORT_FILE_NAME: why-even-bother-with-three-valued-logic +:EXPORT_HUGO_SECTION: blog +:EXPORT_HUGO_CUSTOM_FRONT_MATTER: :summary "" +:CUSTOM_ID: why-even-bother-with-three-valued-logic +:END: + +- Interesting extension from binary logic. +- Has subtle differences in terms of Axioms. +- This can lead to various different logics, especially implication. + +*** Example reasoning about results of computations + +- Computations can sometimes not be evaluatable. +- You get three results. +- We want to prove properties about it. + +*** Trying Standard Three-Valued Logic + +- Problem is there are no tautologies. +- + ** Introduction to Luhmann's Zettelkasten :writing:emacs: :PROPERTIES: :EXPORT_DATE: 2020-12-21 |