After Activity

If it is humid then it will rain and since it is humid today it will rain

• [(B→A) Λ B] →A

• (A→B) →B

• [(A→B) Λ A] →B

• None

What is the symbolic representation of the statement "It will rain if and only if it is humid"?

• R → H

• H → R

• R ↔ H

• H ↔ R

which of the following is axiom3

• α → (β → α)

• (~ α → ~ β) → ( β → α)

• α → (β → γ)

• (α →(β→γ)) →((α → β) → (α → γ))

when a semantic tableau is said to be unsatisfiable

• If all paths are open

• if at least one path is open

• if all paths are closed

• if at least one path is close

(~ α → β ) =

• (~ α V ~ β)

• (α ∧ ~ β)

• (α V ~ β)

• (~ α ∧ ~ β)