### Profile of Owen

### Contact Information

Guestbook: View or sign guestbook (0)

### Biographical Information

### Owen's Membership Status

Last seen: Mar 16, 2017 - 11:12 AM

Registration Date: Oct 17, 2004

Usergroup: Members

Topics Submitted: 30 topics

Total Posts: 379 (0 per day)

Replies Received: 37

Shouts: 0

Total Time Online: 96 days, 22 hours and 6 minutes

### Submission History

Most recent topics:

- All A are B implies Some A are B.
- Proof that..The present King of France is bald, is false.
- n/0 does not exist, for all n.
- Extending truth tables to monadic predicate logic
- Truth tables that include modal logic

Most recent posts:

- If {->, 1, 0} are primitive then ... ~A =df A -> 0. (A v B) =df (~A -> B). (A ^ B) =df ~(~A v ~B) (A <-> B) =df ((A -...
- Timothy wrote: Owen wrote: Surely, (All A are B) implies (Some A are B) is valid Surely? How so? ------------------------------------ ...
- sonOfFishfry: "All flying elephants have trunks" is vacuously true. It's true because there are no flying elephants. And, "Some fl...
- In FOPL... "All A are B" to mean (x)(Ax ⊃ Bx) "Some A are B" to mean (∃x)(Ax . Bx) ------------------------------------ T...
- Yes and yes. A -> (A v B) is tautologous for any B. i.e. A -> (A v ~A), is a tautology. A -> (A v ExQx) is a tautology.