10+
Téléchargements
Classification du contenu
Tout public
Capture d'écran
Capture d'écran
Capture d'écran
Capture d'écran
Capture d'écran
Capture d'écran
Capture d'écran
Capture d'écran
Capture d'écran
Capture d'écran
Capture d'écran
Capture d'écran

À propos de l'application

ReasonLines fournit (1) une approche nouvelle et plus facile à syllogisme traditionnel et (2) une expansion du syllogisme traditionnel pour inclure la quantification numérique.
 
1) La nouvelle approche du syllogisme traditionnel
 
Au lieu de considérer les déclarations isolées comme les composantes d'arguments, comme prémisse majeure, mineure, et la conclusion, cette nouvelle approche regroupe chaque énoncé avec ses équivalents et chaque faisceau est représenté par sa propre "schématique" de flèches. Les schémas de local peuvent alors être déposés en place le long du côté de l'autre, où leur juxtaposition affiche quelle que soit la conclusion, le cas échéant, est impliqué. L'utilisateur doit seulement apprendre à sélectionner les schémas de la prémisse correcte et comment suivre les flèches pour une conclusion.
 
& # 8195; & # 8195; la première partie de la page d'aide est un tutoriel pour cette nouvelle approche.
 
(2) L'expansion numérique du syllogisme traditionnel
 
Il est déjà la norme pour interpréter le quantificateur particulier numériquement; qui est, il est standard à prendre «un peu» comme «au moins un». De plus, les quantificateurs universels, «tous» et «non» peuvent aussi être fidèlement rendus numériquement puisque «tous» signifie «tout à l'exception de zéro" et "non" signifie qu'aucun "none à l'exception de zéro." Compte tenu de cela, il se trouve que les quantificateurs traditionnels marquent simplement les débuts de quantifications interminables possibles depuis "au moins un" ouvre la série de «au moins deux», «au moins trois », etc., et« tout (aucun), mais zéro "ouvre" tout (aucun) mais "," tous (aucun) mais deux », etc.
 
En rendant explicite, le zéro et l'un des syllogismes traditionnels deviennent remplaçables par d'autres numéros. Ainsi, par exemple, « Tous sauf 10 A sont B et tout, mais 20 B sont C, de sorte que tous, mais 30 A sont C " et " Au moins 100 A sont B, Tout sauf 7 B sont C, donc au moins 93 A sont C , "sont tout aussi valables que Barbara traditionnelle et Darii, et pour la même raison.
 
& # 8195; & # 8195; la deuxième partie de la page d'aide développe cette expansion numérique en faisant appel aux schémas.
Date de mise à jour
1 avr. 2025

Sécurité des données

La sécurité, c'est d'abord comprendre comment les développeurs collectent et partagent vos données. Les pratiques concernant leur confidentialité et leur protection peuvent varier selon votre utilisation, votre région et votre âge. Le développeur a fourni ces informations et peut les modifier ultérieurement.
Aucune donnée partagée avec des tiers
En savoir plus sur la manière dont les développeurs déclarent le partage
Aucune donnée collectée
En savoir plus sur la manière dont les développeurs déclarent la collecte

Nouveautés

Minor bug fixes

Assistance de l'appli

À propos du développeur
Wallace A Murphree
wmurphree@gmail.com
274 Co Rd 804 Wedowee, AL 36278-6286 United States
undefined