Repaso de Conceptos de lógica

Son expresiones lingüísticas que conectan proposiciones

• Conectores matemáticos

• Conectivos lógicos

• Conectivos matemáticos

• Conectores proposicionales

El símbolo de conector negación es:

• ¬

• ^

• v

• <

El símbolo de conector conjunción es:

• ¬

• ^

• v

• <

El símbolo de conector disyunción es:

• ¬

• ^

• v

• <

Esta implicación es:

• Verdadero

• Falso

Se usa para indicar que hay uno o mas elementos en el conjunto A que cumplen con una determinada propiedad

• Cuantificador individual

• Cuantificador universal

• Cuantificador existencial

Se intercambian las proposiciones simples

• Recíproca

• Inversa

• Contrapositiva

El primer paso del método inductivo es

• Hipótesis de inducción

• Demostrar para n= 1

• Demostrar para n= m+1