From eb3b1c7abddeb8fba012d51590394ccf105eeaa2 Mon Sep 17 00:00:00 2001 From: Jakob Peters Date: Wed, 13 Mar 2024 23:30:59 -0700 Subject: [PATCH] Improve docstring consistency --- src/semantics.jl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/semantics.jl b/src/semantics.jl index c7f38d4..2efdb0b 100644 --- a/src/semantics.jl +++ b/src/semantics.jl @@ -243,7 +243,7 @@ is_satisfiable(p) = !is_contradiction(p) """ is_falsifiable(p) -Returns a `Bool`ean indicating whether `p` is +Return a `Bool`ean indicating whether `p` is [falsifiable](https://en.wikipedia.org/wiki/Falsifiability) (not logically equivalent to a [`tautology`](@ref)). @@ -354,7 +354,7 @@ p::Proposition < q::Proposition = """ Bool(truth_value) -Return a `Bool` corresponding to the given [truth value](@ref nullary_operators). +Return a `Bool`ean corresponding to the given [truth value](@ref nullary_operators). # Examples ```jldoctest