Lógica Proposicional/ Tablas de Verdad// Propositional Logic/Truth Tables
En el post anterior hablamos de las operaciones veritativas y quedamos en que, para este próximo post, trataremos las tablas de verdad, para lo cual vamos a definir el valor de verdad de cada operación veritativa en función de los valores de verdad de las proposiciones implicadas p y q.
In the previous post we talked about veritative operations and we agreed that, for this next post, we will deal with truth tables, for which we will define the truth value of each veritative operation according to the truth values of the propositions p and q involved.
We speak of the truth value of a veritative operation, we are referring to the truth value of the resulting proposition.
Comencemos con la conjunción ∧ / Let's start with the conjunction ∧.
In this case we wish to determine the truth value of the proposition p∧q, where p and q are any two propositions.
For this case, the proposition p∧q will be true if and only if both propositions are true, and it will be false if either one of the propositions p or q is false or both are false.
Construyamos la tabla de verdad para p∧q, donde el valor de verdad verdadero se designa por 1, y el falso, por 0./ Let us construct the truth table for p∧q, where the truth value true is designated by 1, and false, by 0.
![tabla de verdad 1.png](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmXaW9AJfGqmo3Jdt5h9tZPkdg3ZWax7ACLtH5kghHhhui/tabla%20de%20verdad%201.png)
Ejemplo
Sean las proposiciones p y q las siguientes:
p: Canadá está en Norteamérica
q: Caracas es la capital de Venezuela
Example
Let the propositions p and q be the following:
p: Canada is in North America
q: Caracas is the capital of Venezuela
Es claro que el valor lógico de p es 1 y también lo es el q, ambas proposiciones son verdaderas, por lo tanto, el valor lógico de p∧q también es 1, es decir, que es verdadera.
Is clear that the logical value of p is 1 and so is q, both propositions are true, therefore the logical value of p∧q is also 1, i.e., it is true.
Ella es:
Canadá está en Norteamérica y Caracas es la capital de Venezuela.
Veamos este otro ejemplo usando la proposición r=∼q (r es la negación de q), es decir que r: Caracas no es la capital de Venezuela. En este caso el valor lógico de r es 0 ya que es falsa, consecuentemente el valor lógico de p∧r es 0.
She is:
Canadá is in North America and Caracas is the capital of Venezuela.
Let's look at this other example using the proposition r=∼q (r is the negation of q), i.e. r: Caracas is not the capital of Venezuela. In this case the logical value of r is 0 since it is false, consequently the logical value of p∧r is 0.
A continuación vamos a colocar todas y cada una de las tablas correspondientes a cada una de loas operaciones veritativas restantes, luego pasaremos a la ejercitación en el próximo post. // Next we are going to place each and every one of the tables corresponding to each one of the remaining veritative operations, then we will move on to the exercise in the next post.
La disyunción p ∨ q
p ∨ q es verdadera si ambas proposiciones son verdaderas o solo una de ellas es verdadera, será falsa si ambas proposiciones son falsas./ p ∨ q is true if both propositions are true or only one of them is true, it will be false if both propositions are false.
![tabla de verdad 1.png](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmTXrsY3iKiC9UKqNTCyCNd2TcfeNLEYtVVyyVo3wB4baK/tabla%20de%20verdad%201.png)
La disyunción exclusiva p ⊻ q
p ⊻ q es verdadera si los valores lógicos de p y q son diferentes, y será falsa si los valores lógicos de p y q son iguales./ p ⊻ q is true if the logical values of p and q are different, and will be false if the logical values of p and q are equal.
![tabla de verdad 1.png](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmP4qyHtYowQjgkSHQ4EcRBkwSQopVykD27xk9rqgiUXcW/tabla%20de%20verdad%201.png)
El condicional p ⇒ q // The conditional p ⇒ q
El condicional es falso cuando la proposición q es falsa, y será verdadero en los demás casos.// The conditional is false when proposition q is false, and will be true in all other cases.
![tabla de verdad 1.png](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmaLU2xmSVbRdUf8Mm57mgyRF3WuGYgcHyaNitqPjjFxEG/tabla%20de%20verdad%201.png)
La equivalencia ⇔//The equivalence ⇔
La equivalencia o bicondicional será verdadero si los valores lógicos de p y q son iguales.// The equivalence or biconditional will be true if the logical values of p and q are equal.
![tabla de verdad 1.png](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmbLyM1GSXc9jS29kRidehRNdwdpBS3EhFrHwc5HXve2gm/tabla%20de%20verdad%201.png)
Y finalmente, la negación.// And finally, denial.
![tabla de verdad 1.png](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmWFpYf8yNHNQLrd1EFi2XfVTx5hsfo9TwGVMz8Vj8GMSh/tabla%20de%20verdad%201.png)
![tabla de verdad 1.png](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmbzAv8j8L2o2hRr1Yh6Chma3QSDvwrzecoN5yoiXSuHfY/tabla%20de%20verdad%201.png)