luc/mathematics-physics-wiki
1
0
Fork 0
Code Issues Activity

Removed error.

Browse source
This commit is contained in:
Luc Bijl 2023-11-22 10:23:00 +01:00
parent 500d5382f0
commit 5de172cdb6
1 changed files with 7 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
docs/en/mathematics/logic.md
View file

@ -4,14 +4,16 @@
<br> <br>
*Definition* **- Logical operators**: let $A$ and $B$ be assertions. > *Definition* **- Logical operators**: let $A$ and $B$ be assertions.
* The assertion $A$ and $B$ ($A \land B$) is true, iff both $A$ and $B$ are true. >
* The assertion $A$ or $B$ ($A \lor B$) is true, iff at least one of $A$ and $B$ is true. > * The assertion $A$ and $B$ ($A \land B$) is true, iff both $A$ and $B$ are true.
* The negation of $A$ ($\neg A$) is true iff $A$ is false. > * The assertion $A$ or $B$ ($A \lor B$) is true, iff at least one of $A$ and $B$ is true.
> * The negation of $A$ ($\neg A$) is true iff $A$ is false.
<br> <br>
*Definition* **- Implies**: if $A$ and $B$ are assertions then the assertion if $A$ then $B$ ($A \implies B$) is true iff *Definition* **- Implies**: if $A$ and $B$ are assertions then the assertion if $A$ then $B$ ($A \implies B$) is true iff
* $A$ is true and $B$ is true, * $A$ is true and $B$ is true,
* $A$ is false and $B$ is true, * $A$ is false and $B$ is true,
* $A$ is false and $B$ is false. * $A$ is false and $B$ is false.
@ -21,6 +23,7 @@ This also works the opposite way, if $B$ then $A$ ($A \Longleftarrow B$)
<br> <br>
*Definition* **- If and only if**: if $A$ and $B$ are assertions then the assertion $A$ if and only if $B$ (A \iff B) is true iff *Definition* **- If and only if**: if $A$ and $B$ are assertions then the assertion $A$ if and only if $B$ (A \iff B) is true iff
* $(A \Longleftarrow B) \land (a \implies B)$. * $(A \Longleftarrow B) \land (a \implies B)$.
: This leads to the following table. : This leads to the following table.