ReasonLines
10+
Λήψεις
Κατάλληλο για όλους
info
Περιγραφή εφαρμογής
ReasonLines παρέχει (1) ένα νέο και ευκολότερη προσέγγιση στην παραδοσιακή συλλογισμό και (2) την επέκταση του παραδοσιακού συλλογισμός για να συμπεριλάβει αριθμητική ποσοτικοποίηση.
1) Η νέα προσέγγιση στην παραδοσιακή συλλογισμός
Αντί να εξετάζει μεμονωμένες δηλώσεις καθώς τα συστατικά των επιχειρημάτων, όπως μείζονα πρόταση, ήσσονος σημασίας υπόθεση, και τη σύναψη, αυτή η νέα προσέγγιση συγκεντρώνει κάθε δήλωση με τα αντίστοιχα της και κάθε δέσμη αντιπροσωπεύεται από το δικό του «σχηματική» των βελών. Οι σχηματικές αναπαραστάσεις παραδοχή μπορεί στη συνέχεια να πέσει στη θέση του κατά μήκος της πλευράς κάθε άλλο όπου αντιπαράθεση οθόνες τους οτιδήποτε άλλο συμπέρασμα, εάν υπάρχει, συνεπάγεται. Ο χρήστης πρέπει να μάθει πώς να επιλέξετε τα σωστά σχηματικές αναπαραστάσεις παραδοχή και πώς να ακολουθήσετε τα βέλη για ένα συμπέρασμα μόνο.
& # 8195? & # 8195? Το πρώτο μέρος της σελίδας Βοήθεια είναι ένα φροντιστήριο για αυτή τη νέα προσέγγιση.
(2) Η αριθμητική επέκταση του παραδοσιακού συλλογισμός
Είναι ήδη πρότυπο για να ερμηνεύσει το συγκεκριμένο ποσοδείκτη αριθμητικά? Δηλαδή, είναι σωστό να λάβει «κάποια» ως «τουλάχιστον ένα." Επιπλέον, η καθολική ποσοδεικτών, «όλα» και «όχι», μπορεί επίσης να αποδοθεί πιστά αριθμητικά αφού «όλοι» σημαίνει «όλα με μηδενική εξαίρεση» και "όχι" σημαίνει κανένα "κανένας με μηδενική εξαίρεση." δεδομένου αυτού, αποδεικνύεται ότι οι παραδοσιακές ποσοδείκτες σηματοδοτήσει απλά τις απαρχές της ατελείωτες δυνατόν ποσοτικοποίησης από το "τουλάχιστον ένα" ανοίγει τη σειρά των "τουλάχιστον δύο", "τουλάχιστον τρεις , "κ.λπ., και« όλοι (κανένα), αλλά μηδέν "ανοίγει" το σύνολο (κανένα), αλλά ένα "," όλοι (κανένα), αλλά δύο, "κ.λπ.
Κάνοντας αυτό το ρητό, το μηδέν και το ένα από τα παραδοσιακά συλλογισμούς γίνει αντικατασταθούν από άλλους αριθμούς. Έτσι, για παράδειγμα, " Όλα τα αλλά 10 Α είναι Β και όλα τα αλλά 20 Β είναι C, έτσι ώστε όλα τα αλλά 30 Α είναι C ," και " Τουλάχιστον 100 Α είναι Β, Όλες αλλά 7 Β είναι C, έτσι ώστε τουλάχιστον 93 Α είναι C , "είναι ακριβώς το ίδιο έγκυρη όπως το παραδοσιακό Barbara και Darii, και για τον ίδιο ακριβώς λόγο.
& # 8195? & # 8195? Το δεύτερο μέρος της σελίδας Βοήθεια αναπτύσσει αυτή την αριθμητική επέκταση με μια έκκληση προς τις σχηματικές αναπαραστάσεις.
1) Η νέα προσέγγιση στην παραδοσιακή συλλογισμός
Αντί να εξετάζει μεμονωμένες δηλώσεις καθώς τα συστατικά των επιχειρημάτων, όπως μείζονα πρόταση, ήσσονος σημασίας υπόθεση, και τη σύναψη, αυτή η νέα προσέγγιση συγκεντρώνει κάθε δήλωση με τα αντίστοιχα της και κάθε δέσμη αντιπροσωπεύεται από το δικό του «σχηματική» των βελών. Οι σχηματικές αναπαραστάσεις παραδοχή μπορεί στη συνέχεια να πέσει στη θέση του κατά μήκος της πλευράς κάθε άλλο όπου αντιπαράθεση οθόνες τους οτιδήποτε άλλο συμπέρασμα, εάν υπάρχει, συνεπάγεται. Ο χρήστης πρέπει να μάθει πώς να επιλέξετε τα σωστά σχηματικές αναπαραστάσεις παραδοχή και πώς να ακολουθήσετε τα βέλη για ένα συμπέρασμα μόνο.
& # 8195? & # 8195? Το πρώτο μέρος της σελίδας Βοήθεια είναι ένα φροντιστήριο για αυτή τη νέα προσέγγιση.
(2) Η αριθμητική επέκταση του παραδοσιακού συλλογισμός
Είναι ήδη πρότυπο για να ερμηνεύσει το συγκεκριμένο ποσοδείκτη αριθμητικά? Δηλαδή, είναι σωστό να λάβει «κάποια» ως «τουλάχιστον ένα." Επιπλέον, η καθολική ποσοδεικτών, «όλα» και «όχι», μπορεί επίσης να αποδοθεί πιστά αριθμητικά αφού «όλοι» σημαίνει «όλα με μηδενική εξαίρεση» και "όχι" σημαίνει κανένα "κανένας με μηδενική εξαίρεση." δεδομένου αυτού, αποδεικνύεται ότι οι παραδοσιακές ποσοδείκτες σηματοδοτήσει απλά τις απαρχές της ατελείωτες δυνατόν ποσοτικοποίησης από το "τουλάχιστον ένα" ανοίγει τη σειρά των "τουλάχιστον δύο", "τουλάχιστον τρεις , "κ.λπ., και« όλοι (κανένα), αλλά μηδέν "ανοίγει" το σύνολο (κανένα), αλλά ένα "," όλοι (κανένα), αλλά δύο, "κ.λπ.
Κάνοντας αυτό το ρητό, το μηδέν και το ένα από τα παραδοσιακά συλλογισμούς γίνει αντικατασταθούν από άλλους αριθμούς. Έτσι, για παράδειγμα, " Όλα τα αλλά 10 Α είναι Β και όλα τα αλλά 20 Β είναι C, έτσι ώστε όλα τα αλλά 30 Α είναι C ," και " Τουλάχιστον 100 Α είναι Β, Όλες αλλά 7 Β είναι C, έτσι ώστε τουλάχιστον 93 Α είναι C , "είναι ακριβώς το ίδιο έγκυρη όπως το παραδοσιακό Barbara και Darii, και για τον ίδιο ακριβώς λόγο.
& # 8195? & # 8195? Το δεύτερο μέρος της σελίδας Βοήθεια αναπτύσσει αυτή την αριθμητική επέκταση με μια έκκληση προς τις σχηματικές αναπαραστάσεις.
Ενημερώθηκε στις
Η ασφάλειά σας ξεκινά από την κατανόηση του τρόπου με τον οποίο οι προγραμματιστές συλλέγουν και κοινοποιούν τα δεδομένα σας. Οι πρακτικές απορρήτου και ασφάλειας δεδομένων μπορεί να διαφέρουν ανάλογα με τη χρήση, την περιοχή και την ηλικία σας. Αυτές οι πληροφορίες παρέχονται από τον προγραμματιστή και ενδέχεται να ενημερωθούν με την πάροδο του χρόνου.
Δεν κοινοποιούνται δεδομένα σε τρίτα μέρη
Μάθετε περισσότερα σχετικά με τον τρόπο δήλωσης κοινοποίησης από τους προγραμματιστές
Δεν συλλέχθηκαν δεδομένα
Μάθετε περισσότερα σχετικά με τον τρόπο δήλωσης συλλογής από τους προγραμματιστές
Τι νέο υπάρχει
Minor bug fixes
Υποστήριξη εφαρμογής
Σχετικά με τον προγραμματιστή
Wallace A Murphree
wmurphree@gmail.com
274 Co Rd 804
Wedowee, AL 36278-6286
United States
undefined