Besonderhede van voorbeeld: -6119185906553376198

Greek

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

English

Logical formulas are discrete structures, as are proofs, which form finite trees or, more generally, directed acyclic graph structures (with each inference step combining one or more premise branches to give a single conclusion).