Items tagged with logic logic Tagged Items Feed

Hi,

I would like to have logical operator which will spit out true if my variables are proportional to each other, something like:

a:= A*some*other*stuff;

b:=A;

evalb(a ~ b);

gives true

 

Is there an easy way to do this? 

Hi, Can Maples Logic package solve these problems?

How can they be formulated and solved in Maple? rgds

Let's say that the following arguments are true: Some gatekeepers are warriors. Some warriors are cowards. Therefore, we can conclude that some gatekeepers must be cowards. Is this conclusion true or false? answer: F

 Let's say that the following arguments are true: All Parkers are Franks. All Franks are smart. Therefore, we can conclude...

Hello,

it's my first utilisation of MAPLE, and I want to determine the max of a function y(x). I have this differentiel equation with 2 variables :

a*diff(y(x),x,x) + b*(diff(y(x),x)-diff(z(x),x)) + c*diff(y(x),x) + d*y(x) + e*(y(x)-z(x))= 0;

I resolve it whith the function "dsolve", and now and I want to calculat the max of the function y(x).

can any body help me ??!!!

thanks

 

Augh, this is hurting my brain.  This homework assignment (still the same one as before) is my first experience with Maple.  I'm trying to learn the semantics of the language as I go, and that's been going well for the most part, but there's this one thing that has been bugging me to absolutely NO END:  Logical operators.

Here's what I understand after a lot of internet searching and Help browsing:
-There's two sets of very similar operators. ...

In particular, Maple contains the Logic package, which is useful in teaching. But I do not understand the outputs of the Normalize command. Here is an example:

>with(Logic);

[`&and`, `&iff`, `&implies`, `&nand`, `&nor`, `&not`, `&or`, `&xor`, BooleanSimplify, Canonicalize, Contradiction, Dual, Environment, Equivalent, Export, Implies, Import, Normalize,
 Random, Satisfy, Tautology, TruthTable]

>f := Random({A, B, C});

Dear Maple Experts,

  I'm fairly new to Maple.  I've been trying to compute Gaussian tail probabilities accurately.  As I understand it, Maple has an "erf" function, but not an inverse erf.  Other posts have suggested doing something like:

  inv_erf := x->solve(erf(y/sqrt(2.0))=x,y);

At first ; for instance, about 68% of a Gaussian's probability is within 1 standard deviation, so:

> erf(1/sqrt(2))

    0.6826894920

> evalf(inv_erf(0.6826894920));

I think Maple should emphasize occupational and problem specific packages, like its TA software for teachers. Maple should have a package or set of packages for each type of engineer: electrical,hydrological, etc. Actually, Maple should promote packages for all professions that tend to need it. An abundance of packages would enable many new users to benefit from the power of maple with the experience of the advanced users who helped develop the packages.

I'm straggling with Maple. The main purpose is to plot f(x,y)

I have two for loops for x and y  coordinates and I want to plot f(x,y)

for i from 1 to 5 do
for j from 1 to 5 do
xxiI]:=evalf(xx[0]+II*0.1):
x:=xx[i]:
yy[j]:=evalf(j*0.1):
 y:=yy[j]:
here I should type yhr function that depends on x and y( how can)

od:od:

and then i put the list of  points:=seq,( x,y,f(x,y) ??

and then surfdata(ponts)

is my logic right???

 

 

Dear all,

I'm stuck here with a parameter passing issue, I understand that the parameters I define are global to all items "below", incuding nested subsystems, this seems logical and works nicely in MapleSim.

I started six month ago with what I though at the time to be a simple question.

Why is the mean in the Black and Scholes model assumed to be (mu-(1/2)*sigma^2)*T ?

I had seen numerous attempts of deriving such an relationship on the Internet but every solution that I found always had some flaw in the step-by-step mathematical logic which meant that the solution was rendered useless.

Hi everybody?

I have a small bug when create a maplet for a simple logical example.

> myMaplet := Maplet(Window(title="Logic Test",
[
["A : ", TextField['A'](5),
 "B : ", TextField['B'](5)],
["A = B?", TextField['TF'](10)],
[Button['EX']("Do", onclick=ACT),
 Button['QT']("Quit", enabled=true, Shutdown())]
 ]),
Action[ACT](Evaluate('TF'=evalb(eval(A=B))))
):
>Maplets[Display](myMaplet);
 

I recently optimized a fairly large function with 100+ parameters using the Minimize command. In order to keep track of everything, I gave them logical names (ie. qk0, qk1...). Instead of preserving the order in the output, maple reported the solution as a set and not a list. Can I change this. I know that with minimize (lower-case) I can set location=true. Any ideas for Minimize? Also, what about exporting the results to Excel/Numbers for analysis? All help is greatly appreciated. Steve

Hi

I am trying to learn the logically equivalent command in Maple.

[(p->q)^(q->r)]->(p->r)

I wish I could post my maple file.

Any suggestions are going to be highly appreciated.

Thanks
 

Hello,

 

this problem has been bugging me for months. I am defining functions with "if" in their definition.  These functions seem to be well defined, without any problem. Then I do sum and something goes wrong.  I have tried to isolate the problem to give you an example:

 

Hi,

I'm just playing about with Maple's functions to see what they do. I'm confused by the behaviour of "evalb". When I enter: