LaTeX Forum

\documentclass[tikz]{standalone} 
\newcommand{\logik}[1]{\ensuremath{\mathrm{#1}}} 
\usetikzlibrary{patterns}
\begin{document} 

 \begin{tikzpicture}%[every node/.style=draw]

	
	%Epistemische Systeme Kreise rationale Welt
	
	%System s4
	\draw[](0,2.5)circle(55pt);
	
	%Sytem s5
	\draw[](0,-1.5)circle(55pt);	
	
	%Epistemische Systeme Kreise nicht rationale Welt
	\draw[](-5,-1.5)circle(55pt);	
	
	
	%Rationalitätslinie V1
	\draw (-2.5,-4)  -- (-2.5,4);
	\draw (-2.6,-4)  -- (-2.6,4);
	

	
	%Glaubensätze von S4
	\node (S4P1) at (-1.5,2.5) {\logik{\neg p_1}}; 
	\node (S4P2) at (0,4) {\logik{p_2}}; 
	\node (S4P3) at (0,1) {\logik{p_3}}; 
	\node (S4P4) at (1.5,2.5) {\logik{p_4}}; 
		
	%Linien für Verbindung der Glaubensätze S4
	\draw [thick, <<->>] (S4P1) -- (S4P2); 
	\draw [thick, <<->>] (S4P1) -- (S4P3); 
	\draw [thick, <<->>] (S4P1) -- (S4P4); 
	\draw [thick, <<->>] (S4P2) -- (S4P3); 	
	\draw [thick, <<->>] (S4P2) -- (S4P4); 
	\draw [thick, <<->>] (S4P3) -- (S4P4);
	
	%Glaubensätze von S5
	\node (S5P1) at (-1.5,-1.5) {\logik {p_1}}; 
		\node (S5P11) at (-0.5,-2) {\logik {p_{1_1}}}; 
		\node (S5P12) at (-0.5,-1) {\logik {p_{1_2}}}; 
	\node (S5P2) at (0,0) {\logik{p_2}}; 
	\node (S5P3) at (0,-3) {\logik{p_3}}; 
	\node (S5P4) at (1.5,-1.5) {\logik{p_4}};
	\node (S5P5) at (-3.5,-1.5) {\logik{p_5}};  
	
	
	%Linien für Verbindung der Glaubensätze S5
	
	
	\draw [thick, <<->>] (S5P1) -- (S5P11);
		\draw [thick,  <<->>] (S5P1) -- (S5P12);
		\draw [thick,  <<->>] (S5P11) -- (S5P12);
			\draw [thick] (S5P11) -- (S5P2);
			\draw [thick] (S5P11) -- (S5P3);
			\draw [thick] (S5P11) -- (S5P4);
			\draw [thick] (S5P12) -- (S5P2);
			\draw [thick] (S5P12) -- (S5P3);
			\draw [thick] (S5P12) -- (S5P4);
		
	\draw [thick,  <<->>] (S5P2) -- (S5P3); 
	\draw [thick,  <<->>] (S5P2) -- (S5P4); 
	\draw [thick,  <<->>] (S5P3) -- (S5P4);
	
	\draw [thick] (S5P1) -- (S5P2);
	\draw [thick] (S5P1) -- (S5P3);
	\draw [thick] (S5P1) -- (S5P4);
	

	
	
	%Punkte für Verbindung beiden EMS S5
	\node (R5) at (-1.9,-1.5) {};
	\node (IR5) at (-3.1,-1.5) {};
	
	%Linie für EMS Verbindung S5
	\draw [thick] (IR5) -- (R5);

	%Subjekte
	\node (S4) at (2.2,2.5) {\logik{s_4}}; 
	\node (S5) at (2.2,-1.5) {\logik{s_5}}; 
	
	%Welt	
	\draw[fill=black] (4.0,3.5) rectangle (5,-2.5);
	\node (W) at (3.9,0.5) {};
	\node[text=white] (WP1) at (4.5,0.5) {\logik{\neg p_1}};
				\node[text=white] (WP1) at (4.5,-1.5) {\logik{p_{1_1}}};
				\node[text=white] (WP1) at (4.5,-2.0) {\logik{ p_{1_1}}};
	\node[text=white] (WP1) at (4.5,1.5) {\logik{ p_2}};
	\node[text=white] (WP1) at (4.5,-0.5) {\logik{ p_3}};
	\node[text=white] (WP1) at (4.5,2.5) {\logik{ p_4}};

	
	

	%Pfeile zwischen Subjekten und Welt 
	\draw [thick, <->] (S4) -> (S5); 
	\draw [thick, <->] (S4) -> (W); 
	\draw [thick, <->] (S5) -> (W); 
	
    \end{tikzpicture} 


\end{document} 
 

\documentclass[tikz, border=2pt]{standalone}

\newcommand{\logik}[1]{\ensuremath{\mathrm{#1}}} 

\begin{document} 
 \begin{tikzpicture}
   %Subjekte
   \node (S4) at (2.2,2.5) {\logik{s_4}}; 
   \node (S5) at (2.2,-1.5) {\logik{s_5}}; 
   
   %Welt   
   \fill (4.0,3.5) rectangle (5,-2.5);
   \begin{scope}[text=white]
   \node (WP1) at (4.5,0.5)  {\logik{\neg p_1}};
   \node       at (4.5,-1.5) {\logik{p_{1_1}}};
   \node       at (4.5,-2.0) {\logik{p_{1_1}}};
   \node       at (4.5,1.5)  {\logik{p_2}};
   \node       at (4.5,-0.5) {\logik{p_3}};
   \node       at (4.5,2.5)  {\logik{p_4}};
   \end{scope}

   %Pfeile zwischen Subjekten und Welt 
   \draw [thick, <->] (S4) -> (S5); 
   \draw [thick, shorten >= 3pt, <->] (S4) -> ([xshift=-3mm]WP1.west); 
   \draw [thick, shorten >= 3pt, <->] (S5) -> ([xshift=-3mm]WP1.west); 
 \end{tikzpicture} 
\end{document}