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