1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Propositional Logic Problem

  1. Jun 24, 2010 #1
    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, C


    2. 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: Jun 24, 2010
  2. jcsd
  3. Jun 24, 2010 #2

    Office_Shredder

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    It doesn't seem to me like you want a single statement. Moreso something like assume all of these are true:

    (B & L)->F
    F->C
    L & C'

    as three separate statements, and your objective is to prove that B' is true
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Propositional Logic Problem
  1. Propositional Logic (Replies: 9)

Loading...