text

About 83 results found. (Query 0.5674 seconds)

• 

  Beginning Mathematical Logic

  http://dswarmsikhttkg7jgsoyfiqpj3ighupfrvuz5ri3lu5q2dlqyrpgk7ad.onion/notes/lsg.html

  ---

  MT ( modus tollens ) \[\frac{\phi\to\psi\quad \neg\psi}{\neg\phi}\quad\text{MT}.\] implies introduction (conditional introduction, arrow-introduction, or Conditional proof (CP)) We can think of \(p\to q\) as a type of a procedure.

• 

  Documentation | The Tako Shell

  http://tehbemfqolualhxwkyimu3bdob5s4hkrfuwbwxzbblncjy2j2owgolqd.onion/documentation.html

  ---

  containing the string to insert as indentation when auto-indenting (default: ' ' (four spaces)) multiline_prompt : prompt text for 2nd+ lines of input, may be string or a function which returns a string (default: '.' )...