In general, we ue this idea to define the statement p→q. | En general, usamos esta idea para definir la proposición p→q. |
On any of those days the statement p→q is clearly false. | En tal momento la proposición p→q es claramente falsa. |
In the case of p+q√2 the subfield for all elements such that q=0. | En el caso de p+q√2 el subcampo para todos los elementos tales que q=0. |
We can apply DeMorgan's law again, this time to the statement ~(p(~q)). | Una ves más podemos aplicar la ley DeMorgan, a la proposición ~(p(~q)). |
We can also phrase this as p implies q, and we write p→q. | También podemos escribir la frase como p implica q, y escribimos p→q. |
Some Phrasings of the Bionditional Each of the following is equivalent to the biconditional p↔q. | Algunas frases del Bionditional Cada uno de los siguientes es equivalente al bicondicional p↔q. |
In other words, p→q is true if either p is false or q is true. | En otras palabras, p→q es verdadera si p es falsa o q es verdadera. |
Some Phrasings of the Conditional Each of the following is equivalent to the conditional p→q. | Algunas frases de el Condicional Cada una de las siguientes es equivalente a el Condicional p→q. |
If p is false, then p→q is true, no matter whether q is true or not. | Si p es falso, entonces p→q es verdadera, no inporta si q es verdadera o no. |
For example, the set of elements of the form p+q√2, where p and q are rational numbers is a new field. | Por ejemplo, el sistema de los elementos de la forma p+q√2, donde están números p y q racionales es un nuevo campo. |
