0
   

Predicate Logic

 
 
Reply Sun 6 Apr, 2014 06:43 am
Three questions that need clarifications.

"Every walker loves some talker" has two disambiguations. Find forms for both and draw two trees to check if either form is a contradiction. The trees are:
both infinite.
both open.
both closed.
both finite.

I think they should be both open. Any opinions?

"Everything is something" has:
a false disambiguation.
a contradictory disambiguation.
a true disambiguation.
a tautologous disambiguation.

I have totally no idea on this. Need clarification on this question

Identity is reflexive, symmetric and transitive. Marriage is obviously not reflexive, but if it is monogamous then:
it is transitive but not symmetric.
it is not symmetric or transitive.
it is symmetric but not transitive.
it is symmetric and transitive.

I suggested that the answer should be 'it is symmetric but not transitive' as 'a is married to b and b is married to a (symmetric), but it cannot be the case that a is married to b, and b married to c, thus a is married to c which. This suggest it is not transitive. Comments and clarifications appreciated! Thanks.
  • Topic Stats
  • Top Replies
  • Link to this Topic
Type: Question • Score: 0 • Views: 1,769 • Replies: 1
No top replies

 
north
 
  1  
Reply Fri 22 May, 2015 09:35 pm
@xxkazamaxx,

Quote:
"Everything is something" has:
a false disambiguation.
a contradictory disambiguation.
a true disambiguation.
a tautologous disambiguation.


Why ?
0 Replies
 
 

Related Topics

FINDING SUBJECT - Question by oxfordcommathis
Subject and a fronted predicate - Question by sali
 
  1. Forums
  2. » Predicate Logic
Copyright © 2024 MadLab, LLC :: Terms of Service :: Privacy Policy :: Page generated in 0.03 seconds on 04/19/2024 at 08:44:26