1
vote
For the sidewalk to be wet, it is necessary that it is raining.
As pointed out in the comments, the principle you state at the beginning is correct, but you misapplied it in your example.
The statement is $p\implies q$, with $p=$"It is raining" and $q=$&...
Only top scored, non community-wiki answers of a minimum length are eligible
Related Tags
propositional-calculus × 5614logic × 4424
first-order-logic × 766
discrete-mathematics × 721
natural-deduction × 362
boolean-algebra × 323
solution-verification × 296
proof-writing × 202
formal-proofs × 199
proof-theory × 117
conjunctive-normal-form × 112
elementary-set-theory × 92
proof-explanation × 91
quantifiers × 81
logic-translation × 80
induction × 76
disjunctive-normal-form × 70
hilbert-calculus × 65
computer-science × 62
satisfiability × 62
notation × 59
definition × 59
model-theory × 59
axioms × 55
intuitionistic-logic × 53