Personal website Rudolf Adamkovič

Home / Logic / Negation


Truth table

The truth table for the statement \(\lnot P\) is


(org-truth-table not '("P" "\\lnot P"))
"Result (exception): {Exception #19 user \"undefined variable\" (truth-table) #<procedure org-truth-table 2> (#f . 18) #f}\nStack trace:\n  called from <anonymous> on line 800 of file /opt/homebrew/Cellar/chibi-scheme/0.11/share/chibi/init-7.scm\n  called from <anonymous> on line 55 of file /Users/salutis/.emacs.d/elpa/geiser-chibi-20240521.2252/src/geiser/geiser.scm\n  called from <anonymous> on line 1187 of file /opt/homebrew/Cellar/chibi-scheme/0.11/share/chibi/init-7.scm\n  called from <anonymous> on line 800 of file /opt/homebrew/Cellar/chibi-scheme/0.11/share/chibi/init-7.scm\n  called from org-truth-table on line 18 bad source file: (#f . 18)\n  called from <anonymous> on line 800 of file /opt/homebrew/Cellar/chibi-scheme/0.11/share/chibi/init-7.scm\n  called from call-with-current-continuation on line 827 of file /opt/homebrew/Cellar/chibi-scheme/0.11/share/chibi/init-7.scm\n  called from <anonymous> on line 800 of file /opt/homebrew/Cellar/chibi-scheme/0.11/share/chibi/init-7.scm\n  called from <anonymous> on line 279 of file /opt/homebrew/Cellar/chibi-scheme/0.11/share/chibi/init-7.scm\n  called from <anonymous> on line 41 of file /opt/homebrew/Cellar/chibi-scheme/0.11/share/chibi/scheme/misc-macros.scm\n  called from <anonymous> on line 800 of file /opt/homebrew/Cellar/chibi-scheme/0.11/share/chibi/init-7.scm\n  called from call-with-current-continuation on line 827 of file /opt/homebrew/Cellar/chibi-scheme/0.11/share/chibi/init-7.scm\n  called from geiser:eval on line 43 of file /Users/salutis/.emacs.d/elpa/geiser-chibi-20240521.2252/src/geiser/geiser.scm\n"

© 2025 Rudolf Adamkovič under GNU General Public License version 3.
Made with Emacs and secret alien technologies of yesteryear.