<?xml version="1.0" encoding="UTF-8"?>
<urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9"
xmlns:xhtml="http://www.w3.org/1999/xhtml">

	<url>
		<loc>https://formallogic.eu/</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/" />
		<changefreq>weekly</changefreq>
		<priority>1.00</priority>
	</url>

	<url>
		<loc>https://formallogic.eu/EN/0.0.Contents.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/EN/0.0.Contents.html" />
		<changefreq>weekly</changefreq>
		<priority>1.00</priority>
	</url>

	<url>
		<loc>https://formallogic.eu/0.1.Introduction.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/0.1.Introduction.html" />
		<changefreq>weekly</changefreq>
		<priority>0.64</priority>
	</url>

	<url>
		<loc>https://formallogic.eu/EN/0.1.Introduction.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/EN/0.1.Introduction.html" />
		<changefreq>weekly</changefreq>
		<priority>0.64</priority>
	</url>

	<url>
		<loc>https://formallogic.eu/1.1.PropositionalLogic.Conjunction.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/1.1.PropositionalLogic.Conjunction.html" />
		<changefreq>weekly</changefreq>
		<priority>0.64</priority>
	</url>

	<url>
		<loc>https://formallogic.eu/EN/1.1.PropositionalLogic.Conjunction.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/EN/1.1.PropositionalLogic.Conjunction.html" />
		<changefreq>weekly</changefreq>
		<priority>0.64</priority>
	</url>

	<url>
		<loc>https://formallogic.eu/1.2.ImplicationAndEquivalence.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/1.2.ImplicationAndEquivalence.html" />
		<changefreq>weekly</changefreq>
		<priority>0.64</priority>
	</url>

	<url>
		<loc>https://formallogic.eu/EN/1.2.ImplicationAndEquivalence.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/EN/1.2.ImplicationAndEquivalence.html" />
		<changefreq>weekly</changefreq>
		<priority>0.64</priority>
	</url>

	<url>
		<loc>https://formallogic.eu/1.3.TruthTables.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/1.3.TruthTables.html" />
		<changefreq>weekly</changefreq>
		<priority>0.64</priority>
	</url>

	<url>
		<loc>https://formallogic.eu/EN/1.3.TruthTables.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/EN/1.3.TruthTables.html" />
		<changefreq>weekly</changefreq>
		<priority>0.64</priority>
	</url>

	<url>
		<loc>https://formallogic.eu/1.4.IndirectProof.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/1.4.IndirectProof.html" />
		<changefreq>weekly</changefreq>
		<priority>0.64</priority>
	</url>

	<url>
		<loc>https://formallogic.eu/EN/1.4.IndirectProof.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/EN/1.4.IndirectProof.html" />
		<changefreq>weekly</changefreq>
		<priority>0.64</priority>
	</url>

	<url>
		<loc>https://formallogic.eu/1.5.TruthFunctionalAnalysis.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/1.5.TruthFunctionalAnalysis.html" />
		<changefreq>weekly</changefreq>
		<priority>0.64</priority>
	</url>

	<url>
		<loc>https://formallogic.eu/EN/1.5.TruthFunctionalAnalysis.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/EN/1.5.TruthFunctionalAnalysis.html" />
		<changefreq>weekly</changefreq>
		<priority>0.64</priority>
	</url>

	<url>
		<loc>https://formallogic.eu/1.6.LogicalInferenceAndEquivalence.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/1.6.LogicalInferenceAndEquivalence.html" />
		<changefreq>weekly</changefreq>
		<priority>0.64</priority>
	</url>

	<url>
		<loc>https://formallogic.eu/EN/1.6.LogicalInferenceAndEquivalence.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/EN/1.6.LogicalInferenceAndEquivalence.html" />
		<changefreq>weekly</changefreq>
		<priority>0.64</priority>
	</url>
	
	<url>
		<loc>https://formallogic.eu/1.7.QuickCheck.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/1.7.QuickCheck.html" />
		<changefreq>weekly</changefreq>
		<priority>0.64</priority>
	</url>

	<url>
		<loc>https://formallogic.eu/EN/1.7.QuickCheck.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/EN/1.7.QuickCheck.html" />
		<changefreq>weekly</changefreq>
		<priority>0.64</priority>
	</url>

	<url>
		<loc>https://formallogic.eu/1.8.NaturalDeduction.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/1.8.NaturalDeduction.html" />
		<changefreq>weekly</changefreq>
		<priority>0.64</priority>
	</url>

	<url>
		<loc>https://formallogic.eu/EN/1.8.NaturalDeduction.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/EN/1.8.NaturalDeduction.html" />
		<changefreq>weekly</changefreq>
		<priority>0.64</priority>
	</url>

	<url>
		<loc>https://formallogic.eu/1.9.LogicalTransformations.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/1.9.LogicalTransformations.html" />
		<changefreq>weekly</changefreq>
		<priority>0.64</priority>
	</url>

	<url>
		<loc>https://formallogic.eu/EN/1.9.LogicalTransformations.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/EN/1.9.LogicalTransformations.html" />
		<changefreq>weekly</changefreq>
		<priority>0.64</priority>
	</url>

	<url>
		<loc>https://formallogic.eu/2.1.CategoricalStatements.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/2.1.CategoricalStatements.html" />
		<changefreq>weekly</changefreq>
		<priority>0.64</priority>
	</url>

	<url>
		<loc>https://formallogic.eu/EN/2.1.CategoricalStatements.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/EN/2.1.CategoricalStatements.html" />
		<changefreq>weekly</changefreq>
		<priority>0.64</priority>
	</url>

	<url>
		<loc>https://formallogic.eu/2.2.SquareOfOpposition.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/2.2.SquareOfOpposition.html" />
		<changefreq>weekly</changefreq>
		<priority>0.64</priority>
	</url>

	<url>
		<loc>https://formallogic.eu/EN/2.2.SquareOfOpposition.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/EN/2.2.SquareOfOpposition.html" />
		<changefreq>weekly</changefreq>
		<priority>0.64</priority>
	</url>

	<url>
		<loc>https://formallogic.eu/2.3.ImmediateInferences.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/2.3.ImmediateInferences.html" />
		<changefreq>weekly</changefreq>
		<priority>0.64</priority>
	</url>

	<url>
		<loc>https://formallogic.eu/EN/2.3.ImmediateInferences.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/EN/2.3.ImmediateInferences.html" />
		<changefreq>weekly</changefreq>
		<priority>0.64</priority>
	</url>

	<url>
		<loc>https://formallogic.eu/2.4.Syllogisms.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/2.4.Syllogisms.html" />
		<changefreq>weekly</changefreq>
		<priority>0.64</priority>
	</url>

	<url>
		<loc>https://formallogic.eu/EN/2.4.Syllogisms.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/EN/2.4.Syllogisms.html" />
		<changefreq>weekly</changefreq>
		<priority>0.64</priority>
	</url>

	<url>
		<loc>https://formallogic.eu/2.5.RulesForSyllogisms.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/2.5.RulesForSyllogisms.html" />
		<changefreq>weekly</changefreq>
		<priority>0.64</priority>
	</url>

	<url>
		<loc>https://formallogic.eu/EN/2.5.RulesForSyllogisms.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/EN/2.5.RulesForSyllogisms.html" />
		<changefreq>weekly</changefreq>
		<priority>0.64</priority>
	</url>
	
	<url>
		<loc>https://formallogic.eu/2.6.VennsDiagrams.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/2.6.VennsDiagrams.html" />
		<changefreq>weekly</changefreq>
		<priority>0.64</priority>
	</url>

	<url>
		<loc>https://formallogic.eu/EN/2.6.VennsDiagrams.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/EN/2.6.VennsDiagrams.html" />
		<changefreq>weekly</changefreq>
		<priority>0.64</priority>
	</url>

	<url>
		<loc>https://formallogic.eu/3.1.GeneralAndSingularTerms.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/3.1.GeneralAndSingularTerms.html" />
		<changefreq>weekly</changefreq>
		<priority>0.64</priority>
	</url>

	<url>
		<loc>https://formallogic.eu/EN/3.1.GeneralAndSingularTerms.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/EN/3.1.GeneralAndSingularTerms.html" />
		<changefreq>weekly</changefreq>
		<priority>0.64</priority>
	</url>

	<url>
		<loc>https://formallogic.eu/3.2.QuantifiersAndVariables.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/3.2.QuantifiersAndVariables.html" />
		<changefreq>weekly</changefreq>
		<priority>0.64</priority>
	</url>

	<url>
		<loc>https://formallogic.eu/EN/3.2.QuantifiersAndVariables.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/EN/3.2.QuantifiersAndVariables.html" />
		<changefreq>weekly</changefreq>
		<priority>0.64</priority>
	</url>

	<url>
		<loc>https://formallogic.eu/3.3.TheResourcesOfTheLanguage.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/3.3.TheResourcesOfTheLanguage.html" />
		<changefreq>weekly</changefreq>
		<priority>0.64</priority>
	</url>

	<url>
		<loc>https://formallogic.eu/EN/3.3.TheResourcesOfTheLanguage.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/EN/3.3.TheResourcesOfTheLanguage.html" />
		<changefreq>weekly</changefreq>
		<priority>0.64</priority>
	</url>

	<url>
		<loc>https://formallogic.eu/3.4.SyntaxAndSemanticsOfPredicateLogic.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/3.4.SyntaxAndSemanticsOfPredicateLogic.html" />
		<changefreq>weekly</changefreq>
		<priority>0.64</priority>
	</url>

	<url>
		<loc>https://formallogic.eu/EN/3.4.SyntaxAndSemanticsOfPredicateLogic.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/EN/3.4.SyntaxAndSemanticsOfPredicateLogic.html" />
		<changefreq>weekly</changefreq>
		<priority>0.64</priority>
	</url>

	<url>
		<loc>https://formallogic.eu/3.5.ProofProcedure.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/3.5.ProofProcedure.html" />
		<changefreq>weekly</changefreq>
		<priority>0.64</priority>
	</url>

	<url>
		<loc>https://formallogic.eu/EN/3.5.ProofProcedure.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/EN/3.5.ProofProcedure.html" />
		<changefreq>weekly</changefreq>
		<priority>0.64</priority>
	</url>
	
	<url>
		<loc>https://formallogic.eu/3.6.Identity.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/3.6.Identity.html" />
		<changefreq>weekly</changefreq>
		<priority>0.64</priority>
	</url>

	<url>
		<loc>https://formallogic.eu/EN/3.6.Identity.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/EN/3.6.Identity.html" />
		<changefreq>weekly</changefreq>
		<priority>0.64</priority>
	</url>
	
	<url>
		<loc>https://formallogic.eu/3.7.LogicalTransformationInPL.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/3.7.LogicalTransformationInPL.html" />
		<changefreq>weekly</changefreq>
		<priority>0.64</priority>
	</url>

	<url>
		<loc>https://formallogic.eu/EN/3.7.LogicalTransformationInPL.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/EN/3.7.LogicalTransformationInPL.html" />
		<changefreq>weekly</changefreq>
		<priority>0.64</priority>
	</url>

	<url>
		<loc>https://formallogic.eu/4.1.ModalLogics.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/4.1.ModalLogics.html" />
		<changefreq>weekly</changefreq>
		<priority>0.64</priority>
	</url>

	<url>
		<loc>https://formallogic.eu/EN/4.1.ModalLogics.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/EN/4.1.ModalLogics.html" />
		<changefreq>weekly</changefreq>
		<priority>0.64</priority>
	</url>

	<url>
		<loc>https://formallogic.eu/4.2.ThreeValuedLogic.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/4.2.ThreeValuedLogic.html" />
		<changefreq>weekly</changefreq>
		<priority>0.64</priority>
	</url>

	<url>
		<loc>https://formallogic.eu/EN/4.2.ThreeValuedLogic.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/EN/4.2.ThreeValuedLogic.html" />
		<changefreq>weekly</changefreq>
		<priority>0.64</priority>
	</url>

	<url>
		<loc>https://formallogic.eu/6.1.Completeness.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/6.1.Completeness.html" />
		<changefreq>weekly</changefreq>
		<priority>0.64</priority>
	</url>

	<url>
		<loc>https://formallogic.eu/EN/6.1.Completeness.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/EN/6.1.Completeness.html" />
		<changefreq>weekly</changefreq>
		<priority>0.64</priority>
	</url>

	<url>
		<loc>https://formallogic.eu/5.1.Bibliography.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/5.1.Bibliography.html" />
		<changefreq>weekly</changefreq>
		<priority>0.64</priority>
	</url>

	<url>
		<loc>https://formallogic.eu/EN/5.1.Bibliography.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/5.1.Bibliography.html" />
		<changefreq>weekly</changefreq>
		<priority>0.64</priority>
	</url>

	<url>
		<loc>https://formallogic.eu/5.2.Solutions.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/5.2.Solutions.html" />
		<changefreq>weekly</changefreq>
		<priority>0.64</priority>
	</url>

	<url>
		<loc>https://formallogic.eu/EN/5.2.Solutions.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/EN/5.2.Solutions.html" />
		<changefreq>weekly</changefreq>
		<priority>0.64</priority>
	</url>

	<url>
		<loc>https://formallogic.eu/policy.html</loc>
		<xhtml:link rel="alternate" media="only screen and (max-width: 640px)" href="https://m.formallogic.eu/policy.html" />
		<changefreq>weekly</changefreq>
		<priority>0.64</priority>
	</url>
</urlset>