From 3712d4a48634dba3e649d2810d830833ec04520c Mon Sep 17 00:00:00 2001 From: sp Date: Fri, 19 Apr 2024 17:06:38 +0200 Subject: [PATCH] compile predlogic chapter --- compile | 2 +- predicate_logic/0005.tex | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/compile b/compile index bc3c5f4..699a331 100755 --- a/compile +++ b/compile @@ -104,7 +104,7 @@ compile_wrapper() { compile_chapter() { #for chapter in smtzthree proplogic satsolver ndpred predlogic ndpred smt bdd eqchecking symbenc temporal - for chapter in smtzthree eqchecking + for chapter in predlogic do set_chapter "\\chapter${chapter}true" compile_wrapper "$chapter" "$@" diff --git a/predicate_logic/0005.tex b/predicate_logic/0005.tex index 2f09c18..0aaf65f 100644 --- a/predicate_logic/0005.tex +++ b/predicate_logic/0005.tex @@ -1,5 +1,5 @@ -\item \lect Consider the following declarative sentence (known as \textit{Goldbach's Conjecture}): +\item Consider the following declarative sentence (known as \textit{Goldbach's Conjecture}): \textit{"Every even integer greater than 2 is equal to the sum of two prime numbers."} -Model this sentence with predicate logic, as detailed as possible. Clearly indicate the intended meaning of all function, predicate, and constant symbols that you use. \ No newline at end of file +Model this sentence with predicate logic, as detailed as possible. Clearly indicate the intended meaning of all function, predicate, and constant symbols that you use.