From 6c342d31b8ebee096a050d7dc5f24893a6002d81 Mon Sep 17 00:00:00 2001 From: josd Date: Wed, 11 Dec 2024 21:58:18 +0100 Subject: [PATCH] adding proof by cases example --- reasoning/proof-by-cases/README | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/reasoning/proof-by-cases/README b/reasoning/proof-by-cases/README index 0258ee8ef..48d4ad266 100644 --- a/reasoning/proof-by-cases/README +++ b/reasoning/proof-by-cases/README @@ -2,4 +2,4 @@ Proof by cases -------------- -See https://en.wikipedia.org/wiki/Proof_by_exhaustion +Using log:allPossibleCases and log:forAllIn to deal with disjunction.