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
| align="right" | <math>q\colon\!</math>
\texttt{(~p~,~q~,~r~)}
6 KB (702 words) - 16:10, 28 August 2017
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
...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
...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
...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
...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
...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
...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
...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
...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
p ~\text{implies}~ q.
\text{if}~ p ~\text{then}~ q.
16 KB (2,147 words) - 20:18, 4 November 2015
...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
..., the elements of <math>\Alpha\!</math> are typically the letters ''p'', ''q'', ''r'', and so on.
...''q''), (''p'' ∨ ''q''), (''p'' → ''q''), and (''p'' ↔ ''q'') are formulas.
17 KB (2,301 words) - 15:56, 7 November 2015
~ p \le q
~ q \le r
59 KB (5,442 words) - 19:40, 8 November 2016
Table 18. Relational Composition P o Q
| Q # | Y | Z |
24 KB (2,668 words) - 11:18, 14 October 2025
| <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
!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
...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
| 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