<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="cs">
	<id>https://wikisofia.cz/w/index.php?action=history&amp;feed=atom&amp;title=Port%C3%A1l%3ALogika%2FKlasick%C3%A1_logika</id>
	<title>Portál:Logika/Klasická logika - Historie editací</title>
	<link rel="self" type="application/atom+xml" href="https://wikisofia.cz/w/index.php?action=history&amp;feed=atom&amp;title=Port%C3%A1l%3ALogika%2FKlasick%C3%A1_logika"/>
	<link rel="alternate" type="text/html" href="https://wikisofia.cz/w/index.php?title=Port%C3%A1l:Logika/Klasick%C3%A1_logika&amp;action=history"/>
	<updated>2026-04-27T20:09:42Z</updated>
	<subtitle>Historie editací této stránky</subtitle>
	<generator>MediaWiki 1.33.0</generator>
	<entry>
		<id>https://wikisofia.cz/w/index.php?title=Port%C3%A1l:Logika/Klasick%C3%A1_logika&amp;diff=11927&amp;oldid=prev</id>
		<title>Veronika.Kovrzkova: Založena nová stránka s textem „* Tautologie | Substituce * Hilbertovský kalkul | Gentzenovský sekventový kalkul | Kalkul přirozené dedukce * [[Věta o úplnosti]…“</title>
		<link rel="alternate" type="text/html" href="https://wikisofia.cz/w/index.php?title=Port%C3%A1l:Logika/Klasick%C3%A1_logika&amp;diff=11927&amp;oldid=prev"/>
		<updated>2014-12-09T20:58:43Z</updated>

		<summary type="html">&lt;p&gt;Založena nová stránka s textem „* &lt;a href=&quot;/w/index.php?title=Tautologie&amp;amp;action=edit&amp;amp;redlink=1&quot; class=&quot;new&quot; title=&quot;Tautologie (stránka neexistuje)&quot;&gt;Tautologie&lt;/a&gt; | &lt;a href=&quot;/w/index.php?title=Substituce&amp;amp;action=edit&amp;amp;redlink=1&quot; class=&quot;new&quot; title=&quot;Substituce (stránka neexistuje)&quot;&gt;Substituce&lt;/a&gt; * &lt;a href=&quot;/wiki/Hilbertovsk%C3%BD_kalkul&quot; title=&quot;Hilbertovský kalkul&quot;&gt;Hilbertovský kalkul&lt;/a&gt; | &lt;a href=&quot;/w/index.php?title=Gentzenovsk%C3%BD_sekventov%C3%BD_kalkul&amp;amp;action=edit&amp;amp;redlink=1&quot; class=&quot;new&quot; title=&quot;Gentzenovský sekventový kalkul (stránka neexistuje)&quot;&gt;Gentzenovský sekventový kalkul&lt;/a&gt; | &lt;a href=&quot;/w/index.php?title=Kalkul_p%C5%99irozen%C3%A9_dedukce&amp;amp;action=edit&amp;amp;redlink=1&quot; class=&quot;new&quot; title=&quot;Kalkul přirozené dedukce (stránka neexistuje)&quot;&gt;Kalkul přirozené dedukce&lt;/a&gt; * [[Věta o úplnosti]…“&lt;/p&gt;
&lt;p&gt;&lt;b&gt;Nová stránka&lt;/b&gt;&lt;/p&gt;&lt;div&gt;* [[Tautologie]] | [[Substituce]]&lt;br /&gt;
* [[Hilbertovský kalkul]] | [[Gentzenovský sekventový kalkul]] | [[Kalkul přirozené dedukce]]&lt;br /&gt;
* [[Věta o úplnosti]] | [[Věta o dedukci]] | [[Věta o kompaktnosti]]&lt;br /&gt;
* [[Normální formy formule]] | [[Eliminace kvantifikátorů]]&lt;br /&gt;
* [[Lindenbaumovo lemma]]&lt;br /&gt;
* [[Lemma o konstantách]]&lt;br /&gt;
* [[Axiomatická teorie]] | [[Henkinovská teorie]]&lt;br /&gt;
* [[Schéma specifikace]]&lt;br /&gt;
* [[Robinsonova aritmetika]] | [[Peanova aritmetika]]&lt;br /&gt;
* [[Rosserova věta]] | [[První Gödelova věta]] a [[Druhá Gödelova věta]]&lt;/div&gt;</summary>
		<author><name>Veronika.Kovrzkova</name></author>
		
	</entry>
</feed>