10+
Descargas
Clasificación de contido
Todos
Imaxe de captura de pantalla
Imaxe de captura de pantalla
Imaxe de captura de pantalla
Imaxe de captura de pantalla
Imaxe de captura de pantalla
Imaxe de captura de pantalla
Imaxe de captura de pantalla
Imaxe de captura de pantalla
Imaxe de captura de pantalla
Imaxe de captura de pantalla
Imaxe de captura de pantalla
Imaxe de captura de pantalla

Acerca desta aplicación

ReasonLines ofrece (1) un enfoque novo e sinxelo do silogismo tradicional e (2) unha expansión do silogismo tradicional para incluír cuantificación numérica.
 
1) A nova visión para o siloxismo tradicional
 
No canto de considerar as declaracións illadas como os compoñentes de argumentos, como premisa maior, premisa menor e conclusión, esta nova visión agrupa cada declaración cos seus equivalentes e cada paquete é representado polo seu propio "esquema" de frechas. Os esquemas premisa pode entón ser descartado no lugar xunto uns dos outros, onde a súa xustaposición exhibe calquera conclusión que, se hai, está implicado. O usuario só precisa aprender a seleccionar os esquemas premisa correcta e como seguir as frechas para unha conclusión.
 
& # 8195; & # 8195; A primeira parte da páxina de Axuda é un tutorial para esta nova visión.
 
(2) A expansión numérica do silogismo tradicional
 
Ela xa é estándar para interpretar o quantificador particular, numericamente, é dicir, é estándar para tomar "algúns" como "polo menos un". Ademais, os quantificadores universais, "todos" e "non", tamén se pode fielmente prestados numericamente xa que "todos" significa "todos agás cero" e "non" significa ningún "ningún salvo cero." Ante isto, verifícase que os quantificadores tradicionais simplemente marcar o inicio quantificações infinitas posibles xa que "polo menos un" abre a serie de "polo menos dous", "polo menos tres ", etc., e" todo (ningún), pero cero "abre" todos (ningún), pero un "," todos (ningún), pero dous ", etc.
 
Ao facelo explícito, o cero e un dos silogismos tradicionais se fan recambiables por outros números. Así, por exemplo, " Só 10 A son B e todos, pero 20 B son C, polo que todo, pero 30 A son C " e " Polo menos 100 A e B, pero todos 7 B son C, de xeito que polo menos 93 a son C , "son tan válidas como a tradicional Barbara e Darii, e pola mesma razón.
 
& # 8195; & # 8195; A segunda parte da páxina de axuda desenvolve esta expansión numérica, apelando aos esquemas.
Última actualización
1 de abr. de 2025

Seguranza dos datos

A seguranza pasa por entender como recompilan e comparten os teus datos os programadores. As prácticas relacionadas coa seguranza e a privacidade dos datos utilizadas poden variar en función do uso, a rexión e a idade. O programador facilitou esta información e pode modificala co paso do tempo.
Non se comparten datos con terceiros
Máis información sobre como fan os programadores declaracións acerca dos datos que comparten
Non se recompila ningún dato
Máis información sobre como fan os programadores declaracións acerca da recompilación de datos

Novidades

Minor bug fixes

Servizo de asistencia da aplicación

Acerca do programador
Wallace A Murphree
wmurphree@gmail.com
274 Co Rd 804 Wedowee, AL 36278-6286 United States
undefined