Fichas
Argumentos y Conjuntos
Fichas del conjunto (11)
- 1¿Qué es un argumento?Es una lista de proposiciones llamadas Premisas: P1, P2... Pn y una preposición Q llamada conclusión.
- 2¿Cuándo un argumento es válido?Un argumento es válido cuando la veracidad de sus premisas implica la veracidad de la conclusión.
- 3Teorema que indica que si la tabla de verdad demuestra tautología entonces el argumento es válidoEl argumento P1, P2, ..., Pn ⊢ Q es válido si y solo si (P1 ∧ P2 ∧ · · · ∧ Pn) → Q es
una tautología. - 4Cuantificador universal en proposición lógica∀x ∈ C, [P(x)]
- 5Cuantificador existencial en proposición lógica∃x ∈ C, [P(x)]
- 6¿Qué significa: ∃! ?"Existe un único elemento"
- 7¿Qué significa: ∃ ?"Al menos un/a elemento"
- 8¿Qué es un contraejemplo?El elemento que prueba la falsedad del enunciado original
- 9Negación de ∀¬(∀x ∈ C, [P(x)]) ≡ ∃x ∈ C, [¬P(x)]
- 10Negación de ∃¬(∃x ∈ C, [P(x)]) ≡ ∀x ∈ C, [¬P(x)]
- 11—
Información
- Descripción
- Fichas sobre Argumentos y Conjuntos, creado por KYLIE ALESSANDRA FLORES SANCHEZ el 26/03/2023.
- Creado por
- KYLIE ALESSANDRA FLORES SANCHEZ
- Visitas
- 2
- Valoración