Flashcards

Argumentos y Conjuntos

KYLIE ALESSANDRA FLORES SANCHEZ Spanish 11 cards

Cards in this deck (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—

Description: Flashcards on Argumentos y Conjuntos, created by KYLIE ALESSANDRA FLORES SANCHEZ on 26/03/2023.
Created by: KYLIE ALESSANDRA FLORES SANCHEZ
Views: 2
Rating