Search Header Logo

Sistemas Axiomaticos

Authored by AARON SOUTADET

Mathematics, Computers

University

Used 3+ times

Sistemas Axiomaticos
AI

AI Actions

Add similar questions

Adjust reading levels

Convert to real-world scenario

Translate activity

More...

    Content View

    Student View

6 questions

Show all answers

1.

MULTIPLE CHOICE QUESTION

30 sec • 1 pt

Un sistema axiomatico que no verifica resultados contradictorios se dice...

Compatible

Satisfactible

Independiente

Decidible

2.

MULTIPLE CHOICE QUESTION

30 sec • 1 pt

Para saber si un sistema axiomatico es compatible, lo mas sencillo es probar si es satisfactible

Verdadero

Falso

3.

MULTIPLE CHOICE QUESTION

30 sec • 1 pt

Un sistema es satisfactible si existe un modelo del mismo

Verdadero

Falso

4.

MULTIPLE CHOICE QUESTION

30 sec • 1 pt

La propiedad de independencia es una propiedad....

Necesaria...

Deseable...

Inutil

Muy dificil de entender

5.

MULTIPLE SELECT QUESTION

45 sec • 1 pt

Un sistema axiomatico consta de... (seleccion multiple)

Terminos primitivos

Terminos no primitivos (definiciones)

Axiomas

Teoremas

6.

MULTIPLE SELECT QUESTION

30 sec • 1 pt

Los axiomas son... (seleccion multiple)

Funciones proposicionales cuantificadas

Tautologias

Supuestos fundamentales

Teoremas sin ningun valor de verdad

Access all questions and much more by creating a free account

Create resources

Host any resource

Get auto-graded reports

Google

Continue with Google

Email

Continue with Email

Classlink

Continue with Classlink

Clever

Continue with Clever

or continue with

Microsoft

Microsoft

Apple

Apple

Others

Others

Already have an account?