- #1
Rytif
- 3
- 0
1. Problem
Directions: Using propositional logic, prove that each argument is valid. Use the statement letters shown.
If the birds are flying south and the leaves are turning, then it must be fall. Fall brings cold weather. The leaves are turning but the weather is not cold. Therefore the birds are not flying south. B, L, F, C2. The attempt at a solution
B = birds flying south.
L = leaves are turning.
F = is fall.
C = it is cold.
[(B & L)->F] & (F->C) & (L & C')->(B')
(I'm just wondering if I have the correct logic without proving it yet)I appreciate it, thanks.
Directions: Using propositional logic, prove that each argument is valid. Use the statement letters shown.
If the birds are flying south and the leaves are turning, then it must be fall. Fall brings cold weather. The leaves are turning but the weather is not cold. Therefore the birds are not flying south. B, L, F, C2. The attempt at a solution
B = birds flying south.
L = leaves are turning.
F = is fall.
C = it is cold.
[(B & L)->F] & (F->C) & (L & C')->(B')
(I'm just wondering if I have the correct logic without proving it yet)I appreciate it, thanks.
Last edited: