To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
Spanish Articles
Improved in 24 Hours
Added in 24 Hours
Languages
Recent
Show all languages
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
.
Leo
Newton
Brights
Milds

Implicación material

De Wikipedia, la enciclopedia libre

En lógica proposicional, la implicación material[1][2] o definición del condicional[3]​ es una regla de reemplazo válida que permite que una declaración condicional sea sustituida por una disyunción si y solo si el antecedente es negado. La regla establece que P implica Q es lógicamente equivalente a no-P o Q y puede sustituir a otra en demostraciones lógicas.

Donde "" es un símbolo metalógico que representa "puede ser reemplazado en una demostración con."

YouTube Encyclopedic

  • 1/2
    Views:
    745
    7 253
  • Raquel Xalabarder - Implicaciones jurídicas de los materiales en abierto
  • PHILOSOPHY - Language: Conditionals #3 [HD]

Transcription

Notación formal

La regla de implicación material puede escribirse en la notación subsiguiente:

donde es un símbolo metalógico que significa que es una consecuencia sintáctica de en algún sistema lógico;

y expresado como una tautología verdad-funcional o teorema de la lógica proposicional:

donde la regla es que cada vez que en las líneas de una demostración aparezcan las instancias de "", éstas pueden ser reemplazadas con "".

y expresado como una tautología o teorema de la lógica proposicional.

donde y son proposiciones expresadas en algún sistema formal.

Ejemplo

Si se trata de un oso, entonces puede nadar.
Por lo tanto, no es un oso o puede nadar.

donde es la declaración "es un oso" y es la declaración "este puede nadar".

Si se encontró que el oso no sabía nadar, escrito simbólicamente como , entonces ambas frases son falsas, pero de lo contrario son ambas verdaderas.

Referencias

  1. Hurley, Patrick (1991). A Concise Introduction to Logic (en inglés) (4ta edición). Wadsworth Publishing. pp. 364–5. 
  2. Copi, Irving M.; Cohen, Carl (2005). Introduction to Logic (en inglés). Prentice Hall. p. 371. 
  3. «Implicación material - Encyclopaedia Herder». encyclopaedia.herdereditorial.com. Consultado el 16 de abril de 2021. 

Enlaces externos

Esta página se editó por última vez el 16 abr 2021 a las 09:59.
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.