Want to create interactive content? It’s easy in Genially!

Get started free

Nivel 10-3 Ciencias Formales y Axiomática

Ale Irusta

Created on October 15, 2021

Material didáctico para IPC

Start designing with a free template

Discover more than 1500 professional designs like these:

Memphis Presentation

Higher Education Presentation

Psychedelic Presentation

Harmony Higher Education Thesis

Vaporwave presentation

Geniaflix Presentation

Vintage Mosaic Presentation

Transcript

actividades de integración:

ciencias formales & axiomática

empezar

realización

BIENVENIDA / A continuación encontrarás actividades (con diferentes modalidades) para practicar los temas de la Unidad sobre Ciencias Formales y Axiomática. Siempre tendrás la opción de volver al inicio, haciendo click en el icono de arriba a la izquierda. ¡Éxitos!

continuar

realización

INICIO/ ELEGÍ una actividad:

DEDUCCIÓN y TEOREMAS

CS FORMALES/FÁCTICAS

INTEGRACIÓN

CARACTERÍSTICAS s.a.

ESTA ACTIVIDAD TE PERMITIRÁ DIFERENCIAR ENTRE CIENCIAS FORMALES Y CIENCIAS FÁCTICAS

INICIAR

ELIGE ENTRE

CS.FORMALES

CS.FÁCTICAS

EMPEZAR

OBJETO DE ESTUDIO

CIENCIAS FÁCTICAS

CIENCIAS FORMALES

entidades teóricas Y observables

NOCIÓN DE VERDAD

LA VERDAD NO DEPENDE DE LA OBSERVACIÓN

CIENCIAS FÁCTICAS

CIENCIAS FORMALES

ESTRUCTURA TEÓRICA

CIENCIAS FÁCTICAS

CIENCIAS FORMALES

NO SE CLASIFICAN EN NIVEL I, ii, iii

ENUNCIADOS

ALGUNOS ENUNCIADOS SON SIEMPRE VERDADEROS

CIENCIAS FACTICAS

CIENCIAS FORMALES

SEGUÍ PRACTICANDO :D

ESTA ACTIVIDAD te permite practicar deducción. indica qué teorema pertenece a cada sistema.

INICIAR

dado el sistema axiomático:

A1: Todo A incide en más de 3 R.A2: Todo A incide en menos de 10 R.A3: Existe a.

¿cuál enunciado es teorema?

"Existe R que incide en A"

"No existe A que incide en 6R"

"Existe A que incide en 5R"

dado el sistema axiomático:

¡respuesta correctA!

A1: Todo L pasa por N.A2: Algún N pasa por W.A3: Existe L.

¿cuál enunciado es teorema?

"Existe L que pasa por W".

"Existe N que pasa por W".

"Toda N pasa por L".

dado el sistema axiomático:

¡respuesta correctA!

A1: Todo W que incide sobre más de un Q,interactúa con tres F.A2: Existe un W que incide sobre más de un Q.A3: Existe un W que incide sobre dos Q.

¿cuál opción es correcta?

A1 se deduce de A3

A2 se deduce de A1

A2 se deduce de A3

dado el sistema axiomático:

¡respuesta correctA!

A1: Existe un D que tiene BA2: Si un D tiene B, tiene más de un H.A3: Ningún A tiene más de cinco H.

¿cuál opción es correcta?

"Existe D con diez H exactos".

"Existe D con más de un H".

"Algún A tiene seis H".

¡Felicitaciones! :)

click para volver al inicio y seguir practicando

respuesta incorrecta :(

click para otra oportunidad :D

ESTA ACTIVIDAD te permite reconocer y diferenciar las características de los sistemas axiomáticos

INICIAR

¿qué características tiene el sistema? apreta en cada opción y verás si LA OPCIÓN ES correctA o no.

A1: Todo A incide en más de 3 R.A2: Todo A incide en menos de 10 R.A3: Existe R.

siguiente

consistente

dependiente

inconsistente

independiente

¿qué características tiene el sistema? apreta en cada opción y verás si LA OPCIÓN ES correctA o no.

A1: Existe un H que tiene BA2: Si un H tiene B, tiene más de un F.A3: Ningún A tiene más de cinco F. A4: Existe H que tiene más de un F.

siguiente

INdependiente

dependiente

puede tener modelo

no puede tener modelo

anterior

¿qué características tiene el sistema? apreta en cada opción y verás si LA OPCIÓN ES correctA o no.

A1: Todo b se incide con cuatro o más w. a2: existe b que incide con dos w. A3: toda W es F.

finalizar

no puede tener modelo

consistente

completo

incompleto

anterior

ESTA ACTIVIDAD te permite integrar Y RELACIONAR los contenidos de la unidad en un solo sistema axiomático.

INICIAR

A1: Todo U incide en más de cinco Z.A2: Todo U es G.A3: Existe un G que incide en siete Z.

¿cuál/es opción/es es correcta?

Este sistema es dependiente porque A3 se deduce de A1

"Existe un G que incide en ocho Z" no es teorema del sistema.

El sistema es incompleto y no puede tener modelos.

"Ningún G incide en seis Z" no es teorema del sistema.

finalizar

¡felicitaciones! terminaste el último ejercicio. espero que las actividades te hayan servido para comprender mejor los temas. te dejo algunos links para que puedas repasar contenidos de axiomática o ipc. muchas gracias :)

+axiomática: +ipc: