symbolify_it
an interface for symbolization problems
Propositional
Predicate
1. Sam studies.
2. Ava didn’t sing.
3. Ava failed to not eat.
4. Alfred is a knight.
5. Ava will stand only if Emily sits.
6. Provided that Ava studies, she will pass.
7. If Sam is a knight, then he is honest.
8. If Sam is not a knight, then he is not honest.
9. If Sam is a knave, then he is not honest.
10. If Sam is not a knave, then he is a knight.
11. If Ava will pass if she concentrates, then she is happy.
12. Ava won’t pass if she drank.
13. Ava will pass if she didn't drink.
14. If Ava is happy only if Sam didn’t sing, then Sam won't stand if Ava sits.
15. It is not the case that Ruth is happy.
16. Ansel will bite only if he is sad.
17. It is not the case that Ansel won't bite.
18. If Sam sits, then it is not the case that he doesn't sit.
19. It is not the case that it is not the case that Sam is honest.
20. If Sam is a human, then he is mortal.
21. If Alfred isn't wet, then he didn't swim.
22. Ruth sang only if she didn't swim.
23. Ava waved to Sam only if Sam waved to Ava.
24. If Alfred didn't wave to Emily, then she is sad.
25. Sam is a knight only if he is honest.
26. Alfred will walk if Ruth will.
27. Ava won't run if Sam won't.
28. If Alfred doesn't study, he will pass only if he concentrates.
29. If Sam sits, then if Ava doesn't sit, Ruth will stand.
30. If Alfred won't stand if Ruth won't, then Sam won't.
31. Ava is happy and Sam is happy
32. Either Ruth studies or she won’t pass.
33. Sam is happy, but he won’t pass.
34. Sam is not honest if he is a knave.
35. Ava will pass just in case she studies.
36. Sam and Ansel are elves.
37. Emily didn't drink or sing.
38. Both Alfred and Sam swam.
39. Ansel is a mean elf and he will bite.
40. Ruth talked to Alfred and he isn't guilty, if she swam.
41. Sam is happy only if he ate and drank.
42. Ruth admires Ava or Emily, but she doesn't admire herself.
43. Sam will stand if he is an honest person.
44. Neither Ava nor Ruth kissed Sam.
45. Alfred, but not Sam, talked to Ruth.
46. Ava will pass just in case neither Sam nor Emily studies.
47. Both Sam and Emily will pass if Ava will.
48. Sam will run or walk but he won't stand.
49. Sam is an honest person but he isn't a happy person.
50. Not both Sam and Ava drank.
51. Alfred, who didn't swim, is wet.
52. Either Emily or Ruth talked to Sam.
53. Neither Emily nor Ruth talked to Sam.
54. Alfred kissed Ruth and sang, or he drank.
55. Ava drank but didn't sing.
56. Ruth will run just in case Ava does.
57. Sam is a monkey who will bite but he isn't mean.
58. Alfred isn't honest, but Ruth loves him anyway.
59. Ava is sad and wet or she isn't guilty.
60. Ava climbs or she sits and concentrates.
61. If neither Ava nor Sam will run, either Emily or Ruth will walk.
62. Alfred didn't talk to Ruth and he didn't sing, but he will pass.
63. Either Ava or Ruth will stand, but not both.
64. Neither Alfred nor Sam will run, but if either Ava or Emily will, Ruth won't.
65. Both Ava and Ruth are honest.
66. Either Ava ate and Sam didn't, or Ruth ate and Alfred didn't.
67. Alfred will run unless he ate.
68. Alfred is a teacher but he is not a mean teacher.
69. If neither Sam nor Alfred sits, Emily won't either.
70. Neither Sam nor Alfred nor Emily will run.
71. Ava didn't talk to Ruth unless both swam.
Random sentence
Sam studies.
Scheme of Abbreviation
:
Select...
Remove
Add Entry
Formula
¬
∧
∨
→
↔
syntax
Check
help?
brian.rabern@gmail.com