Jump to content

transform into first order logic

- - - - -

  • Please log in to reply
7 replies to this topic

#1
m2010

m2010

    Newbie

  • Members
  • Pip
  • 4 posts
How can I transform to FOL the following sentence:

A. Some patients like all doctors
B. No Patients likes a charlatan
C. No Doctors is a charlatan


Thanks in advance

#2
WingedPanther

WingedPanther

    A spammer's worst nightmare

  • Moderators
  • 16,831 posts
  • Location:Upstate, South Carolina
  • Programming Language:C, C++, PL/SQL, Delphi/Object Pascal, Pascal, Transact-SQL, Others
  • Learning:Java, C#, PHP, JavaScript, Lisp, Fortran, Haskell, Others
What attempts do you have?
Programming is a branch of mathematics.
My CodeCall Blog | My Personal Blog

#3
m2010

m2010

    Newbie

  • Members
  • Pip
  • 4 posts
I have to prove statement C using Statements A and B.

#4
WingedPanther

WingedPanther

    A spammer's worst nightmare

  • Moderators
  • 16,831 posts
  • Location:Upstate, South Carolina
  • Programming Language:C, C++, PL/SQL, Delphi/Object Pascal, Pascal, Transact-SQL, Others
  • Learning:Java, C#, PHP, JavaScript, Lisp, Fortran, Haskell, Others
No, I mean what attempts at the transformation do you have so far? We don't just give answers here.
Programming is a branch of mathematics.
My CodeCall Blog | My Personal Blog

#5
m2010

m2010

    Newbie

  • Members
  • Pip
  • 4 posts
I had many attempts
and couldn't find a clear one ...
so can you help please ?

regards

#6
WingedPanther

WingedPanther

    A spammer's worst nightmare

  • Moderators
  • 16,831 posts
  • Location:Upstate, South Carolina
  • Programming Language:C, C++, PL/SQL, Delphi/Object Pascal, Pascal, Transact-SQL, Others
  • Learning:Java, C#, PHP, JavaScript, Lisp, Fortran, Haskell, Others
Can I? yes. Will I? Not until you show me your attempts.
Programming is a branch of mathematics.
My CodeCall Blog | My Personal Blog

#7
m2010

m2010

    Newbie

  • Members
  • Pip
  • 4 posts
Thanks , I did it :)
i can send you my solution ;)

#8
Muted

Muted

    Learning Programmer

  • Members
  • PipPipPip
  • 86 posts

WingedPanther said:

No, I mean what attempts at the transformation do you have so far? We don't just give answers here.
Oh, we don't...? :c-whistle:
“You may be disappointed if you fail, but you are doomed if you don't try.”
- Beverly Sills




1 user(s) are reading this topic

0 members, 1 guests, 0 anonymous users