Webpage for Mathematical Logic

Important Question Types:

  1. Checking validity of First Order Logic Statements
  2. Checking validity of Propositional Logic

Recent questions tagged mathematical-logic

0 votes
0 answers
604
Translate into the predicate logicOne has to drink water in order to surviveD(x) = x drinks waterS(x) = x survives
0 votes
1 answer
605
Which of the following is the best English translation for All humans eat alligatorAlligator eats only humanEvery Alligator Eats HumanOnly Alligator eats Human
0 votes
1 answer
607
1 votes
1 answer
615
CONVERT IN TO LOGICNo one who loves some one is not loved by anyonelets S(x):x is somebodyL(x,y):x loves y
0 votes
1 answer
618
0 votes
0 answers
620
Hello, please kindly tell from where to study topic FIRST ORDER LOGIC?Also, list out the topics which are needed to be studied from topic FIRST ORDER LOGIC?!
0 votes
1 answer
621
Only Area 51 has Extra-TerresstrialsA(x) = x is Area 51E(x) = x has Extra-TerresstrialsWhich of the following is correct?(∀x)(A(x) - E(x))(∀x)(E(x) - A(x))(∀x)(A(x)...
0 votes
0 answers
622
0 votes
1 answer
623
0 votes
1 answer
627
(p->q) ^ (r->s)~q OR ~s Conclusion is ~p OR ~r How to see if the conclusion is valid or not ?
0 votes
1 answer
628
P->RQ->R How is the conclusion is (P^Q)->R ?I could only derive that both P and Q are true .