home
Logical Conditional
Logical Conditional (->)
What I currently know:
- To check: Is it a truth function?
‘a -> b’ : if a is true, then b will always be true
! ( b ^ !a) => ! b OR a => a OR !b (how to intuit this?)
To check: when we write a statement such as ‘a OR !b’ do we mean that this statement is true by default?
-
To check: does this imply ‘causation’?
-
debated.
-
To check: a -> b , to decide the truth value, to figure out if ‘a -> b’ is true, we need to check that it makes sense in any possible world’
-
To check: is a the premise and b the conclusion in a -> b?
-
possible worlds: [] a , <> a , ! []a (modal logic)