Improve docstring consistency

jakobjpeters · Mar 14, 2024 · eb3b1c7 · eb3b1c7
1 parent 574b785
commit eb3b1c7
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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