Está en la página 1de 1

Metodos para probar

validez

Logica Matematica Leyes de la inferencia Razonaminetos


logica Lógicos

Tambien llamada
logica simbolica, Derivar o hacer depender de uno a mas
Toda regla de juicios o enunciados llamados premisas
donde estudian los inferencia se divide en
sistemas formales en o antecede, otro u otros juicios o
dos partes enunciados llamados conclusion o
relacion con el modo
en el que codifican o consecunete
definen nociones de
objetos matematicos

proposiones simples : Negativa Razonamiento


Razonamento
La negacion de una Conjunto de premisas
Son aquellas una conclusion Deductivo Inductivo
proposiciones que no proposicion que tiene
se pueden dividir un valor de verdad
opuesto a la
proposición original

Se caracteriza por Los argumentos


Disyunción Conjunción por lo general se 1-voy al cine o voy al por iniciar su proceso inductivos de corre el
es la proposición es la proposición compuesta que caracteriza por el teatro el proximo discursivo a partir de riesgo, con cierta
compuesta que resulta de resulta de conectar dos razonamineto sabado a las 8:00 de enunciados de menor frecuencia, de caer en
conectar dos proposiciones, proposiciones, p y q mediante el deductivo como aquel la noche generalidad que falsas
p y q mediante el conectivo conectivo ᴧ que hace parte de de 2- no voy a cine este fungen como generalizaciones
V enunciados mas premisas, hacie
dia a esta hora
generales para enunciados de mayor
concluir con por tanto generilidad que
enunciados menos 3- voy al teatro este funcinan como
generales dia a esta hora conclusión

También podría gustarte