Barbara is the first and most fundamental of the valid categorical syllogisms identified by Aristotle. It belongs to the first figure and uses universal affirmative (A) propositions in all three positions. The name 'Barbara' comes from medieval mnemonic devices where the three 'a' vowels indicate that all three propositions are universal affirmatives.

All M are P, All S are M ⊢ All S are P

All mammals are animals. All dogs are mammals. Therefore, all dogs are animals.
All squares are rectangles. All rectangles are polygons. Therefore, all squares are polygons.
All physicians are college graduates. All surgeons are physicians. Therefore, all surgeons are college graduates.

Πώς να το αναγνωρίζετε

Look for two premises that both use 'All' (universal affirmatives)
The middle term appears as subject in one premise and predicate in another
The conclusion links the two end terms with 'All'

Συνηθισμένα λάθη

Confusing Barbara with invalid forms like 'All A are B, All C are B, therefore All A are C' (undistributed middle)
Reversing the chain direction

Λύση βήμα προς βήμα

Όλα τα θηλαστικά είναι ζώα. Όλοι οι σκύλοι είναι θηλαστικά. Τι μπορούμε να συμπεράνουμε;

Αναγνωρίστε τις προκείμενες: 'Όλα τα θηλαστικά είναι ζώα' και 'Όλοι οι σκύλοι είναι θηλαστικά'
Βρείτε τον μέσο όρο: 'θηλαστικά'
Αλυσιδώστε: Σκύλοι → Θηλαστικά → Ζώα
Συμπεράνετε με καθολική κατάφαση: Όλοι οι σκύλοι είναι ζώα

Απάντηση: All dogs are animals

Μάθηση 2

Συλλογισμός Celarent

Ένας έγκυρος συλλογισμός με αρνητικό συμπέρασμα: Κανένα Α δεν είναι Β, Όλα τα Γ είναι Α, επομένως Κανένα Γ δεν είναι Β.

Celarent is the second of the 'perfect' syllogisms in Aristotle's first figure. It combines a universal negative (E) premise with a universal affirmative (A) premise to derive a universal negative conclusion. The name 'Celarent' uses vowels E-A-E to indicate the proposition types: universal negative, universal affirmative, universal negative.

No M are P, All S are M ⊢ No S are P

No reptiles are mammals. All snakes are reptiles. Therefore, no snakes are mammals.
No even numbers are odd. All multiples of 4 are even. Therefore, no multiples of 4 are odd.
No fish can breathe air. All salmon are fish. Therefore, no salmon can breathe air.

Πώς να το αναγνωρίζετε

One premise uses 'No' (universal negative) and one uses 'All' (universal affirmative)
The conclusion is always 'No' (universal negative)
The middle term connects the chain through negation

Συνηθισμένα λάθη

Confusing the direction: 'No A are B' is not the same as 'No B are A' in context
Missing that both terms in the conclusion inherit the negative relationship

Λύση βήμα προς βήμα

Κανένα ερπετό δεν είναι θηλαστικό. Όλα τα φίδια είναι ερπετά. Τι μπορούμε να συμπεράνουμε;

Αναγνωρίστε την αρνητική προκείμενη: 'Κανένα ερπετό δεν είναι θηλαστικό'
Αναγνωρίστε τη θετική προκείμενη: 'Όλα τα φίδια είναι ερπετά'
Τα φίδια είναι ερπετά, και τα ερπετά αποκλείονται από τα θηλαστικά...
Συμπεράνετε: Κανένα φίδι δεν είναι θηλαστικό

Απάντηση: No snakes are mammals

Μάθηση 3

Συλλογισμός Darii

Ένας έγκυρος συλλογισμός με μερικό συμπέρασμα: Όλα τα Α είναι Β, Μερικά Γ είναι Α, επομένως Μερικά Γ είναι Β.

Darii is a first-figure syllogism that derives a particular affirmative (I) conclusion from a universal affirmative (A) major premise and a particular affirmative (I) minor premise. The name 'Darii' uses vowels A-I-I. Unlike Barbara, Darii only claims that 'some' members of a category have a property, making it useful when we know partial overlap rather than complete inclusion.

All M are P, Some S are M ⊢ Some S are P

All birds can fly. Some pets are birds. Therefore, some pets can fly.
All prime numbers greater than 2 are odd. Some integers are prime numbers greater than 2. Therefore, some integers are odd.
All doctors have medical degrees. Some volunteers are doctors. Therefore, some volunteers have medical degrees.

Πώς να το αναγνωρίζετε

Major premise uses 'All' (universal affirmative)
Minor premise uses 'Some' (particular affirmative)
Conclusion uses 'Some' - you cannot conclude 'All' from partial evidence

Συνηθισμένα λάθη

Over-generalizing: concluding 'All' when only 'Some' is warranted
Confusing with invalid forms where the middle term is not distributed

Λύση βήμα προς βήμα

Όλοι οι γιατροί έχουν ιατρικά πτυχία. Μερικοί εθελοντές είναι γιατροί. Τι μπορούμε να συμπεράνουμε;

Αναγνωρίστε την καθολική προκείμενη: 'Όλοι οι γιατροί έχουν ιατρικά πτυχία'
Αναγνωρίστε τη μερική προκείμενη: 'Μερικοί εθελοντές είναι γιατροί'
Οι εθελοντές που είναι γιατροί πρέπει να έχουν ιατρικά πτυχία
Συμπεράνετε με 'Μερικοί': Μερικοί εθελοντές έχουν ιατρικά πτυχία

Απάντηση: Some volunteers have medical degrees

Μάθηση 4

Συλλογισμός Ferio

Ένας έγκυρος συλλογισμός: Κανένα Α δεν είναι Β, Μερικά Γ είναι Α, επομένως Μερικά Γ δεν είναι Β.

Ferio is the fourth 'perfect' syllogism of the first figure. It combines a universal negative (E) major premise with a particular affirmative (I) minor premise to derive a particular negative (O) conclusion. The name 'Ferio' uses vowels E-I-O to indicate proposition types. It allows us to conclude that some members of a category lack a property based on their membership in an excluded class.

No M are P, Some S are M ⊢ Some S are not P

No reptiles are warm-blooded. Some pets are reptiles. Therefore, some pets are not warm-blooded.
No vegetables contain cholesterol. Some foods I eat are vegetables. Therefore, some foods I eat do not contain cholesterol.
No beginners pass the advanced test. Some students are beginners. Therefore, some students do not pass the advanced test.

Πώς να το αναγνωρίζετε

Major premise uses 'No' (universal negative)
Minor premise uses 'Some' (particular affirmative)
Conclusion uses 'Some...not' (particular negative)

Συνηθισμένα λάθη

Concluding 'No C are B' instead of 'Some C are not B' - over-generalizing from partial evidence
Misreading 'Some C are not B' as 'Some C are B' (opposite meaning)

Λύση βήμα προς βήμα

Κανένα ερπετό δεν είναι θερμόαιμο. Μερικά κατοικίδια είναι ερπετά. Τι μπορούμε να συμπεράνουμε;

Αναγνωρίστε την καθολική άρνηση: 'Κανένα ερπετό δεν είναι θερμόαιμο'
Αναγνωρίστε τη μερική κατάφαση: 'Μερικά κατοικίδια είναι ερπετά'
Τα κατοικίδια που είναι ερπετά δεν μπορούν να είναι θερμόαιμα
Συμπεράνετε: Μερικά κατοικίδια δεν είναι θερμόαιμα

Απάντηση: Some pets are not warm-blooded

Μάθηση 5

Modus Ponens

Ο 'τρόπος επιβεβαίωσης': Αν Ρ τότε Q, το Ρ ισχύει, επομένως το Q ισχύει.

Modus Ponens (Latin for 'mode that affirms') is one of the most fundamental rules of inference in propositional logic. Given a conditional statement 'If P then Q' and the truth of the antecedent P, we can validly conclude Q. This rule is also called 'affirming the antecedent' and forms the basis of much deductive reasoning.

P → Q, P ⊢ Q

If it is raining, then the ground is wet. It is raining. Therefore, the ground is wet.
If you study hard, you will pass the exam. You study hard. Therefore, you will pass the exam.
If a number is divisible by 4, it is divisible by 2. 16 is divisible by 4. Therefore, 16 is divisible by 2.

Πώς να το αναγνωρίζετε

Look for an 'If...then...' statement (conditional)
Check if the 'if' part (antecedent) is affirmed as true
The conclusion will be the 'then' part (consequent)

Συνηθισμένα λάθη

Affirming the consequent (invalid): 'If P then Q, Q is true, therefore P is true' - this does NOT follow
Example of the fallacy: 'If it rains, the ground is wet. The ground is wet. Therefore it rained.' (Wrong! Sprinklers could cause wet ground)

Λύση βήμα προς βήμα

Αν βρέχει, το έδαφος είναι βρεγμένο. Βρέχει. Τι μπορούμε να συμπεράνουμε;

Αναγνωρίστε τον υποθετικό: 'Αν βρέχει, το έδαφος είναι βρεγμένο'
Ελέγξτε την πρόταση: 'Βρέχει' = ΝΑΙ
Εφαρμόστε Modus Ponens: P ισχύει, άρα Q πρέπει να ισχύει
Συμπεράνετε: Το έδαφος είναι βρεγμένο

Απάντηση: The ground is wet

Μάθηση 6

Modus Tollens

Ο 'τρόπος άρνησης': Αν Ρ τότε Q, το Q δεν ισχύει, επομένως το Ρ δεν ισχύει.

Modus Tollens (Latin for 'mode that denies') is a fundamental rule of inference that works by denying the consequent. Given a conditional 'If P then Q' and knowing that Q is false, we can validly conclude that P must also be false. This rule is logically equivalent to Modus Ponens applied to the contrapositive.

P → Q, ¬Q ⊢ ¬P

If it is raining, the ground is wet. The ground is not wet. Therefore, it is not raining.
If the battery is charged, the phone will turn on. The phone does not turn on. Therefore, the battery is not charged.
If a number is prime and greater than 2, it is odd. 8 is not odd. Therefore, 8 is not a prime number greater than 2.

Πώς να το αναγνωρίζετε

Look for an 'If...then...' statement (conditional)
Check if the 'then' part (consequent) is denied/negated
The conclusion negates the 'if' part (antecedent)

Συνηθισμένα λάθη

Denying the antecedent (invalid): 'If P then Q, P is false, therefore Q is false' - this does NOT follow
Example of the fallacy: 'If it rains, the ground is wet. It is not raining. Therefore the ground is not wet.' (Wrong! Sprinklers could still make it wet)

Λύση βήμα προς βήμα

Αν η μπαταρία είναι φορτισμένη, το τηλέφωνο ανοίγει. Το τηλέφωνο δεν ανοίγει. Τι συμπεραίνουμε;

Αναγνωρίστε τον υποθετικό: 'Αν μπαταρία φορτισμένη, τηλέφωνο ανοίγει'
Ελέγξτε το επόμενο: 'Τηλέφωνο δεν ανοίγει' = Q είναι ψευδές
Εφαρμόστε Modus Tollens: αν Q ψευδές, P πρέπει να είναι ψευδές
Συμπεράνετε: Η μπαταρία δεν είναι φορτισμένη

Απάντηση: The battery is not charged

Μάθηση 7

Υποθετικός Συλλογισμός

Αλυσιδωτή συλλογιστική: Αν Α τότε Β, Αν Β τότε Γ, επομένως Αν Α τότε Γ.

Hypothetical Syllogism (also called Chain Reasoning or Hypothetical Chain) allows us to link conditional statements together. If we know that A implies B, and B implies C, we can conclude that A implies C. This rule is essential for building chains of reasoning and is widely used in mathematical proofs and everyday logic.

P → Q, Q → R ⊢ P → R

If it rains, the streets get wet. If the streets get wet, traffic slows down. Therefore, if it rains, traffic slows down.
If you exercise regularly, you build stamina. If you build stamina, you can run longer. Therefore, if you exercise regularly, you can run longer.
If a shape is a square, it is a rectangle. If a shape is a rectangle, it is a quadrilateral. Therefore, if a shape is a square, it is a quadrilateral.

Πώς να το αναγνωρίζετε

Look for two 'If...then...' statements (conditionals)
The consequent of the first should match the antecedent of the second
The conclusion links the first antecedent to the last consequent

Συνηθισμένα λάθη

Reversing the chain: 'If A then B, If C then B' does NOT give 'If A then C'
The middle terms must match exactly for the chain to be valid

Λύση βήμα προς βήμα

Αν βρέχει, οι δρόμοι βρέχονται. Αν οι δρόμοι βρέχονται, η κυκλοφορία επιβραδύνεται. Τι συμπεραίνουμε;

Αναγνωρίστε τον πρώτο υποθετικό: 'Αν βροχή → δρόμοι βρεγμένοι'
Αναγνωρίστε τον δεύτερο υποθετικό: 'Αν δρόμοι βρεγμένοι → κυκλοφορία επιβραδύνεται'
Το επόμενο του πρώτου (Q) ταιριάζει με την πρόταση του δεύτερου
Συνδυάστε: Αν βρέχει, η κυκλοφορία επιβραδύνεται

Απάντηση: If it rains, traffic slows

Μάθηση 8

Διαζευκτικός Συλλογισμός

Συλλογιστική 'ή/ή': Ή Α ή Β, όχι Α, επομένως Β.

Disjunctive Syllogism is a rule of inference that eliminates alternatives. Given that 'Either A or B' is true (at least one must hold), and knowing that A is false, we can conclude that B must be true. This is also called 'process of elimination' and is fundamental to decision-making and proof by cases.

P ∨ Q, ¬P ⊢ Q

Either the package was delivered or it was lost. It was not delivered. Therefore, it was lost.
Either the answer is 42 or 56. The answer is not 42. Therefore, the answer is 56.
Either John took the bus or he walked. John did not take the bus. Therefore, John walked.

Πώς να το αναγνωρίζετε

Look for an 'Either...or...' statement (disjunction)
One of the options is ruled out (negated)
The conclusion affirms the remaining option

Συνηθισμένα λάθη

Assuming 'Either A or B' means exactly one is true (exclusive or). In logic, 'or' typically allows both to be true
Affirming one disjunct does not eliminate the other: 'Either A or B, A is true' does NOT mean B is false

Λύση βήμα προς βήμα

Η απάντηση είναι 42 ή 56. Η απάντηση δεν είναι 42. Τι συμπεραίνουμε;

Αναγνωρίστε τη διάζευξη: 'Ή 42 ή 56'
Μια επιλογή αποκλείεται: 'Όχι 42'
Εφαρμόστε Διαζευκτικό Συλλογισμό: αν P ψευδές, Q πρέπει να είναι αληθές
Συμπεράνετε: Η απάντηση είναι 56

Απάντηση: The answer is 56

Μάθηση 9

Αντιθετοαντίστροφη

Λογική ισοδυναμία: 'Αν Α τότε Β' ισοδυναμεί με 'Αν όχι Β τότε όχι Α'.

The Contrapositive is a logically equivalent form of a conditional statement. For any conditional 'If A then B', its contrapositive 'If not B then not A' has exactly the same truth value. This equivalence is fundamental in mathematics, particularly in proof by contrapositive, where proving the contrapositive is often easier than proving the original statement directly.

P → Q ≡ ¬Q → ¬P

'If it is a dog, then it is an animal' is equivalent to 'If it is not an animal, then it is not a dog'
'If n² is even, then n is even' is equivalent to 'If n is odd, then n² is odd'
'If you pass the exam, you studied' is equivalent to 'If you did not study, you did not pass the exam'

Πώς να το αναγνωρίζετε

Start with an 'If A then B' statement
Negate both parts: A becomes 'not A', B becomes 'not B'
Swap their positions: 'If not B then not A'

Συνηθισμένα λάθη

Confusing contrapositive with converse: 'If B then A' is the converse, NOT equivalent to the original
Confusing contrapositive with inverse: 'If not A then not B' is the inverse, NOT equivalent to the original
Only the contrapositive preserves logical equivalence

Λύση βήμα προς βήμα

Βρείτε την αντιθετοαντίστροφη του: 'Αν είναι σκύλος, τότε είναι ζώο'

Αναγνωρίστε το αρχικό: 'Αν σκύλος → ζώο'
Αρνηθείτε και τα δύο μέρη: 'όχι σκύλος' και 'όχι ζώο'
Αντιμεταθέστε τις θέσεις: 'Αν όχι ζώο → όχι σκύλος'
Διατυπώστε: 'Αν δεν είναι ζώο, τότε δεν είναι σκύλος'

Απάντηση: If it is not an animal, then it is not a dog

Μάθηση 10

Μεταβατική Σχέση

Αν Α > Β και Β > Γ, τότε Α > Γ. Ισχύει για σχέσεις διάταξης.

A transitive relation is one where if the relation holds between A and B, and between B and C, then it must hold between A and C. Common transitive relations include 'greater than', 'less than', 'older than', 'taller than', 'ancestor of', and 'implies'. Recognizing transitivity allows us to chain comparisons and orderings together.

R(a,b) ∧ R(b,c) → R(a,c)

Alice is taller than Bob. Bob is taller than Carol. Therefore, Alice is taller than Carol.
5 > 3 and 3 > 1, therefore 5 > 1.
New York is larger than Chicago. Chicago is larger than Houston. Therefore, New York is larger than Houston.
Iron is heavier than aluminum. Aluminum is heavier than plastic. Therefore, iron is heavier than plastic.

Πώς να το αναγνωρίζετε

Look for comparative statements using the same relation (taller than, faster than, older than, etc.)
Check if there's a 'middle' element that appears in both comparisons
The conclusion compares the 'outer' elements using the same relation

Συνηθισμένα λάθη

Not all relations are transitive. 'Is a friend of' is NOT transitive (A's friend's friend may not be A's friend)
'Is next to' is NOT transitive (if A is next to B, and B is next to C, A may not be next to C)
Applying transitivity to non-transitive relations leads to invalid conclusions

Λύση βήμα προς βήμα

Η Alice είναι ψηλότερη από τον Bob. Ο Bob είναι ψηλότερος από την Carol. Ποιος είναι ο ψηλότερος;

Αναγνωρίστε την πρώτη σύγκριση: Alice > Bob (ύψος)
Αναγνωρίστε τη δεύτερη σύγκριση: Bob > Carol (ύψος)
Βρείτε το κοινό στοιχείο: Ο Bob εμφανίζεται και στις δύο
Εφαρμόστε μεταβατικότητα: Alice > Bob > Carol, άρα Alice > Carol

Απάντηση: Alice is tallest

Μάθηση 11

Αμφισυνθήκη

'Α αν και μόνο αν Β' σημαίνει ότι τα Α και Β είναι και τα δύο αληθή ή και τα δύο ψευδή.

A biconditional statement 'A if and only if B' (often written as 'A iff B') asserts that A and B have the same truth value: they are both true or both false. This is equivalent to saying both 'If A then B' AND 'If B then A'. Biconditionals express necessary and sufficient conditions and are common in definitions and equivalences.

P ↔ Q ≡ (P → Q) ∧ (Q → P)

A triangle is equilateral if and only if all its angles are 60°. (Having equal sides is both necessary and sufficient for having 60° angles)
A number is even if and only if it is divisible by 2.
You will pass the course if and only if you score above 70%. (Scoring above 70% guarantees passing, and passing requires scoring above 70%)

Πώς να το αναγνωρίζετε

Look for 'if and only if', 'iff', 'exactly when', or 'is equivalent to'
The relationship works in both directions
Knowing either part tells you the truth of the other

Συνηθισμένα λάθη

Confusing 'if' with 'if and only if': 'If A then B' does NOT mean 'If B then A'
Biconditional requires BOTH directions to hold
'A only if B' means 'If A then B', NOT biconditional

Λύση βήμα προς βήμα

Ένας αριθμός είναι ζυγός αν και μόνο αν διαιρείται με το 2. Είναι το 8 ζυγό;

Αναγνωρίστε την αμφισυνθήκη: Ζυγό ↔ Διαιρετό με 2
Σημαίνει: Ζυγό → Διαιρετό με 2 ΚΑΙ Διαιρετό με 2 → Ζυγό
Ελέγξτε: Είναι το 8 διαιρετό με 2; Ναι (8 ÷ 2 = 4)
Διαιρετό με 2 → ζυγό, και 8 διαιρετό με 2, άρα 8 είναι ζυγό

Απάντηση: Yes, 8 is even

Μάθηση 12

Διάταξη Θέσεων

Προσδιορισμός θέσεων ατόμων σε μια σειρά βάσει ενδείξεων περιορισμών όπως γειτνίαση, σχετική σειρά και σταθερές θέσεις.

Τα παζλ διάταξης θέσεων απαιτούν τον προσδιορισμό θέσεων ατόμων σε μια γραμμική ακολουθία βάσει ενός συνόλου περιορισμών. Οι περιορισμοί μπορεί να περιλαμβάνουν σχετική τοποθέτηση, γειτνίαση, μη γειτνίαση, ακραίες θέσεις και σταθερές θέσεις. Ο στόχος είναι να βρεθεί η διάταξη που ικανοποιεί όλους τους περιορισμούς ταυτόχρονα.

Δεδομένων N στοιχείων και περιορισμών C1, C2, ..., Ck: βρες μετάθεση P που ικανοποιεί όλα τα Ci

3 άτομα κάθονται σε σειρά. Η Αλίκη κάθεται αριστερά του Βασίλη. Η Γιώτα κάθεται σε άκρη. Ποιος κάθεται στη μέση;
4 άτομα κάθονται σε σειρά. Ο Δημήτρης δεν κάθεται δίπλα στην Ελένη. Ο Φίλιππος κάθεται στη θέση 1.
5 άτομα κάθονται σε σειρά. Η Αλίκη κάθεται σε άκρη. Ο Βασίλης κάθεται αριστερά της Γιώτας. Ο Δημήτρης δεν κάθεται δίπλα στην Ελένη.

Πώς να το αναγνωρίζετε

Ξεκινήστε με τους πιο περιοριστικούς όρους (σταθερές θέσεις, ακραίες θέσεις)
Χρησιμοποιήστε αποκλεισμό για να μειώσετε τις δυνατότητες
Σχεδιάστε διάγραμμα: αριθμήστε τις θέσεις και συμπληρώστε αυτά που γνωρίζετε
Δοκιμάστε τις εναπομένουσες διατάξεις έναντι όλων των περιορισμών
Αν κολλήσετε, υποθέστε μια θέση και ελέγξτε για αντιφάσεις

Συνηθισμένα λάθη

Να ξεχνάτε ότι 'αριστερά του' σημαίνει οπουδήποτε αριστερά, όχι αναγκαστικά δίπλα
Σύγχυση μεταξύ 'δίπλα σε' και 'αριστερά/δεξιά του'
Μη έλεγχος όλων των περιορισμών στην τελική διάταξη

Λύση βήμα προς βήμα

3 άτομα κάθονται σε σειρά (θέσεις 1-3). Η Αλίκη κάθεται αριστερά του Βασίλη. Η Γιώτα κάθεται σε άκρη. Ο Βασίλης κάθεται στη θέση 2. Ποιος κάθεται στη θέση 1;

Ο Βασίλης είναι στη θέση 2 (δεδομένο)
Η Αλίκη κάθεται αριστερά του Βασίλη, άρα η Αλίκη είναι στη θέση 1
Η Γιώτα κάθεται σε άκρη. Η θέση 1 είναι κατειλημμένη, άρα η Γιώτα στη 3
Τελική διάταξη: Αλίκη (1), Βασίλης (2), Γιώτα (3)

Απάντηση: Αλίκη

Μάθηση 13

Ανάθεση σε Ομάδες

Ανάθεση στοιχείων ή ατόμων σε ομάδες υπό περιορισμούς ίδιας ομάδας, διαφορετικής ομάδας και σταθερής ομάδας.

Τα παζλ ανάθεσης ομάδων απαιτούν τη διανομή στοιχείων ή ατόμων σε σταθερό αριθμό ομάδων καθορισμένων μεγεθών. Οι περιορισμοί υπαγορεύουν ποια στοιχεία πρέπει ή δεν πρέπει να είναι μαζί. Οι κοινοί τύποι περιλαμβάνουν: ίδια ομάδα, διαφορετική ομάδα και σταθερή ομάδα.

Διαίρεση N στοιχείων σε k ομάδες μεγεθών s1, s2, ..., sk υπό περιορισμούς C1, C2, ..., Cm

Αναθέστε 4 άτομα σε 2 ομάδες των 2. Η Αλίκη και ο Βασίλης πρέπει να είναι στην ίδια ομάδα. Η Γιώτα και ο Δημήτρης δεν μπορούν να είναι μαζί.
Αναθέστε 6 άτομα σε 3 ομάδες των 2. Η Αλίκη είναι στην Ομάδα 1. Ο Βασίλης και η Γιώτα πρέπει να είναι μαζί.
Αναθέστε 6 άτομα σε 2 ομάδες των 3. Η Αλίκη και ο Βασίλης δεν μπορούν να είναι μαζί. Η Γιώτα είναι στην Ομάδα Α.

Πώς να το αναγνωρίζετε

Ξεκινήστε με περιορισμούς σταθερής ομάδας για να αγκυρώσετε γνωστές αναθέσεις
Εφαρμόστε περιορισμούς ίδιας ομάδας για να ζευγαρώσετε στοιχεία
Χρησιμοποιήστε περιορισμούς διαφορετικής ομάδας για να εξαλείψετε αδύνατα ζεύγη
Ελέγξτε τα όρια μεγέθους ομάδας μετά από κάθε ανάθεση
Χρησιμοποιήστε αποκλεισμό για τις εναπομένουσες θέσεις

Συνηθισμένα λάθη

Υπέρβαση ορίων μεγέθους ομάδας κατά την εφαρμογή περιορισμών ίδιας ομάδας
Παράλειψη ότι οι περιορισμοί διαφορετικής ομάδας είναι αμφίδρομοι
Μη εξέταση αλυσιδωτών αποτελεσμάτων

Λύση βήμα προς βήμα

Αναθέστε 4 άτομα σε 2 ομάδες των 2. Η Αλίκη και ο Βασίλης πρέπει να είναι μαζί. Η Γιώτα είναι στην Ομάδα 1. Ο Δημήτρης και η Γιώτα δεν μπορούν να είναι μαζί.

Η Γιώτα είναι στην Ομάδα 1 (δεδομένο)
Ο Δημήτρης δεν μπορεί να είναι με τη Γιώτα, άρα πάει στην Ομάδα 2
Η Αλίκη και ο Βασίλης πρέπει να είναι μαζί
Ελέγξτε τα μεγέθη ομάδων και αναθέστε αναλόγως

Απάντηση: Ομάδα 2

Μάθηση 14

Σειρά Κατάταξης

Προσδιορισμός της σειράς κατάταξης στοιχείων από ενδείξεις σύγκρισης όπως υψηλότερα από, χαμηλότερα από και περιορισμοί θέσης.

Τα παζλ σειράς κατάταξης απαιτούν τη διάταξη στοιχείων σε σειρά κατάταξης από ενδείξεις σχετικά με τις σχετικές τους θέσεις. Οι περιορισμοί περιλαμβάνουν άμεσες συγκρίσεις, αποκλεισμούς και μεταβατικές αλυσίδες. Αυτά τα παζλ ελέγχουν την ικανότητα δημιουργίας συνεπούς σειράς από μερικές πληροφορίες.

Δεδομένων N στοιχείων και περιορισμών σύγκρισης: βρες ολική διάταξη συνεπή με όλους τους περιορισμούς

3 στοιχεία κατατάσσονται 1-3. Η Αλίκη κατατάσσεται υψηλότερα από τον Βασίλη. Η Γιώτα δεν είναι πρώτη. Ποια είναι η θέση της Γιώτας;
4 στοιχεία κατατάσσονται 1-4. Η Αλίκη κατατάσσεται υψηλότερα από τον Βασίλη. Η Γιώτα κατατάσσεται χαμηλότερα από τον Δημήτρη.
5 στοιχεία κατατάσσονται 1-5. Αλίκη > Βασίλης > Γιώτα. Ο Δημήτρης δεν είναι πρώτος ούτε τελευταίος.

Πώς να το αναγνωρίζετε

Δημιουργήστε μια αλυσίδα: αν Α > Β και Β > Γ, τότε Α > Γ (μεταβατικότητα)
Χρησιμοποιήστε περιορισμούς αποκλεισμού για να εξαλείψετε αδύνατες θέσεις
Ξεκινήστε με τη μεγαλύτερη αλυσίδα συγκρίσεων
Μετρήστε πόσα στοιχεία πρέπει να είναι πάνω ή κάτω για να περιορίσετε τη θέση
Δοκιμάστε πιθανές θέσεις και ελέγξτε για αντιφάσεις

Συνηθισμένα λάθη

Παράλειψη εφαρμογής μεταβατικότητας
Υπόθεση ότι ένας περιορισμός σημαίνει αμέσως γειτονικές θέσεις
Μη εξέταση όλων των δυνατών διατάξεων όταν οι περιορισμοί επιτρέπουν πολλαπλές

Λύση βήμα προς βήμα

3 στοιχεία από 1 (υψηλότερο) έως 3 (χαμηλότερο). Η Αλίκη κατατάσσεται υψηλότερα από τον Βασίλη. Ο Βασίλης δεν είναι 3ος. Ποια είναι η θέση του Βασίλη;

Η Αλίκη είναι υψηλότερα, άρα θέση Αλίκης < θέση Βασίλη
Ο Βασίλης δεν είναι 3ος (δεδομένο)
Πιθανές θέσεις Βασίλη: 1, 2. Αλλά η Αλίκη πρέπει να είναι υψηλότερα, άρα δεν μπορεί να είναι 1ος
Ο Βασίλης είναι 2ος. Η Αλίκη είναι 1η. Το εναπομένον στοιχείο είναι 3ο

Απάντηση: 2ος

Μάθηση 15

Ενθύμημα

Ένας συλλογισμός στον οποίο μία προκείμενη (ή ενίοτε το συμπέρασμα) παραμένει άρρητη και πρέπει να συμπληρωθεί από τον αναγνώστη.

Το ενθύμημα είναι ένα κλασικό ρητορικό επιχείρημα δομημένο σαν συλλογισμός, αλλά με μία κρυφή (σιωπηρή) προκείμενη. Ο Αριστοτέλης στη Ρητορική το αποκαλούσε «σώμα της απόδειξης». Για να αξιολογήσει κανείς ένα ενθύμημα, πρέπει να αναγνωρίσει τη λείπουσα προκείμενη και να ελέγξει αν το πλήρες επιχείρημα είναι έγκυρο.

Ρητά: P1, ∴ Σ. Ανασυγκροτημένα: P1, (P2 σιωπηρή), ∴ Σ

«Ο Σωκράτης είναι θνητός, γιατί είναι άνθρωπος» — κρυφή προκείμενη: όλοι οι άνθρωποι είναι θνητοί
«Πρέπει να έχει κλειδί — η πόρτα είναι ανοιχτή» — κρυφή προκείμενη: μόνο όσοι έχουν κλειδί την ανοίγουν
«Το νόμισμα είναι αλλοιωμένο, άρα πρέπει να το ελέγξουμε»

Πώς να το αναγνωρίζετε

Μόνο μία προκείμενη αναφέρεται μαζί με το συμπέρασμα
Το επιχείρημα φαίνεται υποβλητικό παρά τυπικά πλήρες
Λέξεις-κλειδιά: «επειδή», «άρα», «συνεπώς» με μία μόνο στήριξη

Συνηθισμένα λάθη

Αποδοχή του ενθυμήματος χωρίς ανασυγκρότηση της λείπουσας προκείμενης
Συμπλήρωση προκείμενης που καθιστά το επιχείρημα τετριμμένα έγκυρο (λήψη του ζητουμένου)
Αντιμετώπιση κάθε σύντομου επιχειρήματος ως ενθυμήματος

Μάθηση 16

Σωρείτης (Αλυσιδωτός Συλλογισμός)

Ένας πολυσυλλογισμός όπου το συμπέρασμα κάθε συλλογισμού γίνεται προκείμενη του επόμενου, συνδέοντας πολλές προκείμενες με ένα τελικό συμπέρασμα.

Ο σωρείτης είναι ένα ιδιαίτερο είδος πολυσυλλογισμού: μια ακολουθία προτάσεων P1, P2, ..., Pn όπου κάθε Pi μοιράζεται έναν όρο με το Pi+1, επιτρέποντας την αλυσίδωσή τους. Το τελικό συμπέρασμα συνδέει το υποκείμενο της πρώτης προκείμενης με το κατηγόρημα της τελευταίας.

Όλα τα A είναι B· όλα τα B είναι C· όλα τα C είναι D· ... ∴ όλα τα A είναι Z

Όλοι οι σκύλοι είναι θηλαστικά· όλα τα θηλαστικά είναι σπονδυλωτά· όλα τα σπονδυλωτά είναι ζώα ∴ όλοι οι σκύλοι είναι ζώα
Όλοι οι αθλητές προπονούνται καθημερινά· όσοι προπονούνται καθημερινά είναι σε φόρμα· όσοι είναι σε φόρμα αποδίδουν ∴ όλοι οι αθλητές αποδίδουν
Όλες οι γάτες είναι αιλουροειδή· όλα τα αιλουροειδή είναι σαρκοφάγα· όλα τα σαρκοφάγα τρώνε κρέας ∴ όλες οι γάτες τρώνε κρέας

Πώς να το αναγνωρίζετε

Περισσότερες από δύο προκείμενες με αλυσίδα κοινών όρων
Το κατηγόρημα κάθε προκείμενης επανεμφανίζεται ως υποκείμενο της επόμενης
Το τελικό συμπέρασμα συνδέει το πρώτο υποκείμενο με το τελευταίο κατηγόρημα

Συνηθισμένα λάθη

Επιτρέποντας σπασμένη αλυσίδα
Εισάγοντας αλλαγή ποσοδείκτη στη μέση
Σύγχυση με ενθύμημα

Μάθηση 17

Πίνακας Αληθείας

Ένας πίνακας που απαριθμεί όλους τους πιθανούς συνδυασμούς τιμών αληθείας των εισερχόμενων προτάσεων και την προκύπτουσα τιμή αλήθειας μιας σύνθετης φόρμουλας.

Ένας πίνακας αληθείας είναι ένας μαθηματικός πίνακας που χρησιμοποιείται στην κλασική προτασιακή λογική για να δείξει πώς η τιμή αλήθειας μιας σύνθετης φόρμουλας εξαρτάται από τις τιμές των ατομικών προτάσεων. Για n μεταβλητές έχει 2^n γραμμές. Οι πίνακες αληθείας παρέχουν μια μηχανική διαδικασία απόφασης: μια φόρμουλα είναι ταυτολογία αν η τελευταία στήλη είναι πάντα αληθής, αντίφαση αν είναι πάντα ψευδής, ενδεχομενική αλλιώς.

Για n μεταβλητές: 2^n γραμμές· συνδετικά: ¬, ∧, ∨, →, ↔

Το p ∧ q είναι αληθές μόνο όταν και τα δύο είναι αληθή
Το p → q είναι ψευδές μόνο όταν p αληθές και q ψευδές
Το p ∨ ¬p είναι ταυτολογία

Πώς να το αναγνωρίζετε

Χρησιμοποιήστε πίνακα αληθείας όταν πρέπει να ελέγξετε όλους τους συνδυασμούς
Μετρήστε γραμμές: 2 μεταβλητές = 4, 3 = 8, n = 2^n
Αξιολογήστε υποτύπους στήλη-στήλη, από μέσα προς τα έξω

Συνηθισμένα λάθη

Παράλειψη γραμμής
Υπολογισμός p → q ως «αληθές όταν p αληθές»
Μεταχείριση p ↔ q ως «p και q»

Λυμένα παραδείγματα

Τα λυμένα παραδείγματα διατηρούν το αρχικό σύνολο ασκήσεων σε κάθε δυσκολία. Ανοίξτε ένα για να δείτε την εκφώνηση, τις επιλογές, τη σωστή απάντηση και την επεξήγηση.

Παράδειγμα

Επεξήγηση

Πίσω στο Λογική Συμπερασματολογία