2
$\begingroup$

$$\text{Equivalence}$$

$p \land T \equiv p\tag{Identity law 1}$

$$p\lor F \equiv p\tag {Identity law 2}$$

$$p\lor T \equiv T\tag{Domination law 1}$$

$$p\land F \equiv F\tag{Domination law 2}$$

So, in the above image, where the T and F are, I assume these represent something like:
T = "any true proposition"
F = "any false proposition"

And so the first row in English would be "If P and any true proposition is true then this is logically equivalent to P" is that right? I could imagine it being something a bit different.

Thanks in advance!

2 Answers 2