Category:Logical graphs
Jump to navigation
Jump to search
diagram of graphical syntax | |||||
Upload media | |||||
| |||||
Subcategories
This category has the following 3 subcategories, out of 3 total.
D
- Double negation (12 F)
P
- Peirce's law (30 F)
- Praeclarum theorema (17 F)
Media in category "Logical graphs"
The following 66 files are in this category, out of 66 total.
-
Dominant Form 1.0 Banner Title.png 578 × 50; 85 KB
-
Dominant Form 1.0 Splash Page.png 578 × 290; 492 KB
-
Dominant Form 1.0 Storyboard 1.png 578 × 146; 248 KB
-
Dominant Form 1.0 Storyboard 2.png 578 × 146; 248 KB
-
Dominant Form 1.0 Storyboard 3.png 578 × 146; 248 KB
-
Dominant Form 2.0 Animation.gif 500 × 125; 2 KB
-
Dominant Form 2.0 Frame 1.png 432 × 108; 2 KB
-
Dominant Form 2.0 Frame 2.png 432 × 108; 2 KB
-
Dominant Form 2.0 Frame 3.png 432 × 108; 2 KB
-
Equational Inference C1 Reflect a(b).png 578 × 50; 85 KB
-
Equational Inference C1 Reflect a, b.png 578 × 50; 85 KB
-
Equational Inference C2 Regenerate a.png 578 × 50; 85 KB
-
Equational Inference Cancel (( )).png 580 × 31; 53 KB
-
Equational Inference Collect ab, ac, bc.png 580 × 31; 53 KB
-
Equational Inference Delete a, b, c.png 580 × 31; 53 KB
-
Equational Inference Distribute (abc).png 580 × 31; 53 KB
-
Equational Inference I2 Cancel (( )).png 578 × 50; 85 KB
-
Equational Inference I2 Elicit (( )).png 578 × 50; 85 KB
-
Equational Inference J1 Delete ((a)).png 578 × 50; 85 KB
-
Equational Inference J1 Delete (a).png 578 × 50; 85 KB
-
Equational Inference J1 Delete a.png 578 × 50; 85 KB
-
Equational Inference J1 Insert (a).png 578 × 50; 85 KB
-
Equational Inference J1 Insert a.png 578 × 50; 85 KB
-
Equational Inference J2 Collect a.png 578 × 50; 85 KB
-
Equational Inference J2 Distribute ((a)).png 578 × 50; 85 KB
-
Equational Inference QED.jpg 579 × 51; 18 KB
-
Equational Inference Quit (a), (b), (c).png 580 × 31; 53 KB
-
Equational Inference Reflect ab, ac, bc.png 580 × 31; 53 KB
-
Equational Inference Weed ab, ac, bc.png 580 × 31; 53 KB
-
Generation Theorem 1.0 Splash Page.png 578 × 290; 492 KB
-
Generation Theorem 1.0 Storyboard 1.png 578 × 146; 248 KB
-
Generation Theorem 1.0 Storyboard 2.png 578 × 242; 410 KB
-
Generation Theorem 1.0 Storyboard 3.png 578 × 242; 410 KB
-
Generation Theorem 1.0 Storyboard 4.png 578 × 242; 410 KB
-
Generation Theorem 1.0 Storyboard 5.png 578 × 242; 410 KB
-
Generation Theorem 1.0 Storyboard 6.png 578 × 146; 248 KB
-
Generation Theorem 2.0 Animation.gif 500 × 250; 5 KB
-
Inverter-1.png 526 × 217; 11 KB
-
Logical Graph Figure 1 Visible Frame.jpg 578 × 194; 21 KB
-
Logical Graph Figure 10 Visible Frame.jpg 578 × 290; 22 KB
-
Logical Graph Figure 11 Visible Frame.jpg 578 × 194; 15 KB
-
Logical Graph Figure 12 Visible Frame.jpg 578 × 290; 22 KB
-
Logical Graph Figure 13 Visible Frame.jpg 578 × 194; 14 KB
-
Logical Graph Figure 16.jpg 580 × 772; 38 KB
-
Logical Graph Figure 17.jpg 580 × 292; 15 KB
-
Logical Graph Figure 2 Visible Frame.jpg 578 × 194; 16 KB
-
Logical Graph Figure 21.jpg 578 × 290; 30 KB
-
Logical Graph Figure 22.jpg 578 × 242; 30 KB
-
Logical Graph Figure 23.jpg 578 × 314; 43 KB
-
Logical Graph Figure 24.jpg 578 × 362; 50 KB
-
Logical Graph Figure 25.jpg 578 × 1,250; 118 KB
-
Logical Graph Figure 26.jpg 578 × 1,298; 120 KB
-
Logical Graph Figure 27.jpg 578 × 290; 50 KB
-
Logical Graph Figure 28.jpg 578 × 1,346; 114 KB
-
Logical Graph Figure 29.jpg 578 × 290; 46 KB
-
Logical Graph Figure 3 Visible Frame.jpg 578 × 194; 16 KB
-
Logical Graph Figure 30.jpg 578 × 530; 59 KB
-
Logical Graph Figure 31.jpg 578 × 338; 35 KB
-
Logical Graph Figure 33.jpg 578 × 386; 47 KB
-
Logical Graph Figure 34.jpg 578 × 1,346; 132 KB
-
Logical Graph Figure 4 Visible Frame.jpg 578 × 242; 19 KB
-
Logical Graph Figure 5 Visible Frame.jpg 578 × 194; 9 KB
-
Logical Graph Figure 6 Visible Frame.jpg 578 × 290; 15 KB
-
Logical Graph Figure 7 Visible Frame.jpg 578 × 194; 21 KB
-
Logical Graph Figure 8 Visible Frame.jpg 578 × 242; 28 KB
-
Logical Graph Figure 9 Visible Frame.jpg 578 × 194; 13 KB