Plane Crash Survival: At Most One of Them

  • Thread starter Thread starter iamsmooth
  • Start date Start date
  • Tags Tags
    Crash Plane
Click For Summary
SUMMARY

The discussion centers on the logical expression representing the statement "at most one of them will survive the plane crash," specifically involving three individuals: Albert, Bill, and Cory. The correct logical formulation is expressed as ¬[(A ∧ B) ∨ (B ∧ C) ∨ (C ∧ A)], where ¬ denotes negation, ∧ represents logical AND, and ∨ signifies logical OR. Participants confirm that this expression accurately captures the scenarios where either zero or one individual survives, while being false if two or three survive.

PREREQUISITES
  • Understanding of propositional logic
  • Familiarity with logical operators: negation (¬), conjunction (∧), and disjunction (∨)
  • Basic knowledge of logical expressions and their truth values
  • Experience with logical notation and its interpretation
NEXT STEPS
  • Study advanced propositional logic techniques
  • Learn about truth tables and their application in logical expressions
  • Explore the concept of logical equivalence in formal logic
  • Investigate the use of logical expressions in computer science and programming
USEFUL FOR

Students of logic, mathematicians, computer scientists, and anyone interested in formal reasoning and logical expressions.

iamsmooth
Messages
103
Reaction score
0

Homework Statement


A: Albert survived the plane crash
B: Bill survived the plane crash
C: Cory survived the plane crash

Create the sentence (sentential logic) "at most one of them will survive the plane crash".

Homework Equations


The Attempt at a Solution


[tex] \sim[(A\&B)\vee((B\&C)\vee(C\&A))][/tex]

(In case people use a slightly different notation: ~ = 'negation', v = 'or', & = and)

I think this covers all the cases where they do have two or three survivors. Can anyone see anything wrong with my logic?

Thanks!
 
Physics news on Phys.org
I don't see anything wrong with that. If 0 or 1 survive, it's true, if two or three survive it's false.
 

Similar threads

Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
5K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
3
Views
2K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 48 ·
2
Replies
48
Views
7K