Search results

• User:Jon Awbrey/Figures and Tables 2
  q & = & \upharpoonleft Q \upharpoonright & : & X \to \mathbb{B} (p, q) & = & (\upharpoonleft P \upharpoonright, \upharpoonleft Q \upharpoonright) & : & (X \to \mathbb{B})^2
  3 KB (457 words) - 23:02, 7 November 2025
• User:Jon Awbrey/MNO
  | align="right" | <math>q\colon\!</math> \texttt{(~p~,~q~,~r~)}
  6 KB (702 words) - 16:10, 28 August 2017
• Flight altitude record
  ytEmbed.init({'block':'ytThumbs','q':'Flight altitude record','type':'search','results':5,'order':'most_relevan <feed url="http://blogsearch.google.com/blogsearch_feeds?hl=en&q=Flight+altitude+record&ie=utf-8&num=10&output=atom" entries="7">
  543 bytes (73 words) - 22:05, 27 December 2012
• User:Jon Awbrey/Cactus Language Stretching Exercises
  ...le <math>p</math> and <math>q</math> are propositions of the form <math>p, q : X \to \mathbb{B},</math> that is, propositions about things in the univer ...tractly indifferent to the particular choices for <math>p</math> and <math>q,</math> then one may detach the operator <math>F^\$ : (X \to \mathbb{B}))^2
  9 KB (1,452 words) - 14:18, 4 November 2025
• Exclusive disjunction
  ...atorname{XOR}~ q,</math> also written <math>p + q~\!</math> or <math>p \ne q,\!</math> appears below: | style="width:33%" | <math>q\!</math>
  6 KB (728 words) - 01:45, 31 October 2015
• Logical equality
  ...math>p = q,\!</math> <math>p \Leftrightarrow q,\!</math> or <math>p \equiv q,\!</math> appears below: | style="width:33%" | <math>q\!</math>
  5 KB (664 words) - 04:18, 4 November 2015
• Truth table
  ...ame{AND}~ q,</math> also written <math>p \land q\!</math> or <math>p \cdot q,\!</math> appears below: | style="width:33%" | <math>q\!</math>
  16 KB (2,190 words) - 03:25, 30 October 2015
• Logical conjunction
  ...me{AND}~ q,</math> also written <math>p \land q~\!</math> or <math>p \cdot q,\!</math> appears below: | style="width:33%" | <math>q\!</math>
  5 KB (658 words) - 02:00, 31 October 2015
• Logical NAND
  ...tten <math>p \stackrel{\circ}{\curlywedge} q\!</math> or <math>p \barwedge q,\!</math> appears below: | style="width:33%" | <math>q\!</math>
  5 KB (684 words) - 22:56, 4 November 2015
• Logical disjunction
  ...table]] of <math>p ~\operatorname{OR}~ q,</math> also written <math>p \lor q,\!</math> appears below: | style="width:33%" | <math>q\!</math>
  5 KB (656 words) - 00:40, 2 November 2015
• Logical NNOR
  ...f <math>p ~\operatorname{NNOR}~ q,</math> also written <math>p \curlywedge q,\!</math> appears below: | style="width:33%" | <math>q\!</math>
  5 KB (678 words) - 03:44, 5 November 2015
• Logical implication
  p ~\text{implies}~ q. \text{if}~ p ~\text{then}~ q.
  16 KB (2,147 words) - 20:18, 4 November 2015
• Minimal negation operator
  ...says the same thing as <math>p \neq q.~\!</math> Expressing <math>\nu(p, q)~\!</math> in terms of ands <math>(\cdot),~\!</math> ors <math>(\lor),~\!</ ...-align:center"><math>\nu(p, q) ~=~ \tilde{p} \cdot q ~\lor~ p \cdot \tilde{q}~\!</math></p>
  23 KB (3,337 words) - 13:54, 3 September 2017
• Propositional calculus
  ..., the elements of <math>\Alpha\!</math> are typically the letters ''p'', ''q'', ''r'', and so on. ...''q''), (''p'' &#8744; ''q''), (''p'' &#8594; ''q''), and (''p'' &#8596; ''q'') are formulas.
  17 KB (2,301 words) - 15:56, 7 November 2015
• Directory:Jon Awbrey/MathJax Problems
  ~ p \le q ~ q \le r
  59 KB (5,442 words) - 19:40, 8 November 2016
• User:Jon Awbrey/SANDBOX
  Table 18. Relational Composition P o Q | Q # | Y | Z |
  24 KB (2,668 words) - 11:18, 14 October 2025
• Peirce's law
  | <math>((p \Rightarrow q) \Rightarrow p) \Rightarrow p</math> | [[Image:Equational Inference Band Quit ((q)).png|500px]]
  11 KB (1,526 words) - 04:14, 18 November 2015
• Directory:Jon Awbrey/Papers/Change In Logic
  !p! = <p, q, r>, The target concept Q is one whose extension is a polymorphous set Q,
  73 KB (6,208 words) - 04:08, 11 December 2016
• Directory:Acres Diamond Enterprise
  ...ee for yourself how committed we are to your success — from the most basic Q&A, all the way to an online advertising solution and support. ...member will enjoy the benefit of content rich website, monthly ebooks and Q&A.
  6 KB (915 words) - 21:56, 12 August 2010
• Directory:Jon Awbrey/Papers/Syntactic Transformations
  | width="80%" style="border-top:1px solid black" | <math>Q ~\subseteq~ X</math> | <math>\upharpoonleft Q \upharpoonright ~:~ X \to \underline\mathbb{B}</math>
  129 KB (17,728 words) - 22:14, 9 December 2015

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)