Statement Form/Examples/Barometer

From ProofWiki
Jump to navigation Jump to search

Example of Statement Form

If the barometer falls then either it will rain or it will snow

has the statement form

$A \implies \paren {B \lor C}$

where:

$A$ stands for The barometer falls
$B$ stands for It will rain
$C$ stands for It will snow


Sources