material implication

<2023-04-22 Sat 18:40:05> mahmood

math

a binary logical connective in which the former implies the latter. it is denoted by $\text{[math]}$ .

$\text{[math]}$ iff $\text{[math]}$