Loading ...
Sorry, an error occurred while loading the content.

predicate logic

Expand Messages
  • mfarjami
    Hi friends Is there any way in predicate logic to argue this sentences: 1- (all X are y) & (all Z are X) = ( some Y are Z) 2- (no X is Y) & ( all Z are X) =
    Message 1 of 1 , Feb 21, 2002
    • 0 Attachment
      Hi friends
      Is there any way in predicate logic to argue this sentences:
      1- (all X are y) & (all Z are X) => ( some Y are Z)
      2- (no X is Y) & ( all Z are X) => ( no Y is Z)
      3- ( all X are y) & ( all X are Z) => (some Y are Z)
      4-( some X are Y)& (no Y is Z)=> (some X are not Z)
      5-(no X is Y)&(all Z are Y) =>(no X is Z)
      6- (some X are Y)&( no Z is Y) => ( some X are not Y)

      thanks


      [Non-text portions of this message have been removed]
    Your message has been successfully submitted and would be delivered to recipients shortly.