Que es la logica proposicional y ejemplos?

¿Qué es la lógica proposicional y ejemplos?

La lógica proposicional estudia oraciones como la a. o la e. (anteriores) a las que sin ambigüedad se les puede asignar un valor de verdad. A tales oraciones se les llama proposiciones y se designan por letras minúsculas del alfabeto. Ejemplos: a: El sol sale por el oriente.

¿Qué es la recíproca y la contrapositiva?

«Si es mamífero, entonces es perro.» El recíproca es la contrapositiva de la inversa. Por lo tanto, son equivalentes en valor-verdad. Esta recíproca es, al igual que la inversa, falsa.

¿Qué es recíproca y Contrareciproca?

Recíproco:Si el maestro de ceremonia se tarda más de una hora hablando entonces la audiencia se dormirá. Contrarecíproco: Si el maestro de ceremonia no se tardó más de una hora hablando entonces la audiencia no se durmió.

¿Cuál es la recíproca de P Q?

Dada la proposición condicional p–>q, su recíproca es q–>p. Ejemplo: «si un número entero es múltiplo de 4 entonces es múltiplo de 2»; su recíproca es «si un número entero es múltiplo de 2 entonces es múltiplo de 4».

¿Qué es la lógica proposicional?

Se ocupa del razonamiento: deductivo, categórico o de silogismos, como formas de conocimiento científico. La lógica matemática o proposicional consiste en utilizar símbolos a través de tablas de verdad que nos indican lo verdadero o falso.

¿Cuál es el recíproco y Contrareciproco?

¿Cuál es la proposición recíproca?

), conversa o recíproca, entre dos proposiciones es un conector lógico cuyo valor de la verdad resulta en falso sólo si la implicación es falsa mientras la condición es cierta, y en cierto de cualquier otra forma.

¿Qué es la contraposición en filosofia?

Operación lógica en virtud de la cual las proposiciones que constituyen el antecedente y el consecuente de una implicación se sustituyen por sus negaciones (inversión) y cambian recíprocamente de lugar (conversión). La contraposición conserva la veracidad o la falsedad de la proposición inicial. …

¿Qué significa p ∧ q?

La proposición ¬(p∧q) ↔ (¬p∨¬q) es una tautologıa y p∧¬p es una contradicción. Cuando dos fórmulas bien formadas P y Q tienen siempre los mismos valores de verdad, es decir, cuando el bicondicional P↔Q es una tautologıa, se dice que P y Q son lógicamente equivalentes y se denota: P≡Q.